立达推出用于增强 ZKP 生成的 Valida zkVM 和 Valida C 编译器工具链

据前瞻新闻报道，零知识应用程序 Lita 推出了 Valida zkVM 和 Valida C 编译器工具链。这项开发旨在促进更快、更便宜、更高效地生成零知识证明（ZKP）。Lita背后的团队解释说，Valida与LLVM的兼容性为许多传统编程语言打开了大门，帮助开发人员顺利过渡。 对 Lita 的 Valida 性能进行的基准测试表明，单核 Valida 证明的速度是多核 RISC 零证明的 1.19 到 54 倍。效率也大幅提高，从 19 到 1600 倍不等，减少了证明计算所消耗的 CPU 时间和能源。