Ligero 是什么？

Ligero 开发了一系列工具，旨在简化零知识证明（ZK）系统的开发、部署和扩展，同时确保安全性与合规性。他们的主要产品 Ligetron 是一个零知识虚拟机（zkVM），专为在浏览器和高级硬件上提供高性能而设计。