感谢 @EF_ESP 和 @ethereumfndn 对 LLZK 的持续支持 🙏 我们将继续加强 LLZK，作为 ZK 编译器生态系统的开源、验证导向基础设施。更好的工具、跨 DSL 的互操作性，以及更强的正确性保证。