Jolt zkVM：性能和可用性的增强

Jolt 是由 a16z crypto 开发的一种最先进的零知识虚拟机（zkVM），根据 a16z crypto 的说法，自其 4 月份首次发布以来，Jolt 在性能和可用性上取得了显著的改进。这些提升源于 Jolt 团队和开源贡献者的共同努力。

性能增强

关键的关注点是降低验证者的成本。最初，证明的大小以兆字节计算；然而，现在已减少到约 200 千字节，未来可能减少到 25 千字节。这种减少有助于提高有效的折叠方案，可以通过保持证明者空间仅为几千兆字节来管理，实现零知识，并提供链上证明。

此外，预计 Jolt 证明器的速度将增加三倍。这一改进得益于求和检验协议的最近优化和对约束系统统一性质的更好利用。

集成和支持

在工程合作伙伴 Noah Citron 的领导下，Jolt 与 Rust 标准库的集成扩展了其能力，使更多现有的 Rust crate 可以使用。由于贡献者 Mihir Wadekar 和 Ethan Lee 的努力，支持 RISC-V 标准 “M” 扩展，提升了对于乘法或除法操作密集的程序的性能。

承诺方案和证明减少

Jolt 起初使用 Hyrax 多项式承诺方案，但贡献者 Pat Stiles 和 Ethan Lee 集成了 Zeromorph 和 HyperKZG 方案。这些新方案在保持性能的同时减少了证明大小。通过实现基于求和检查的协议，进一步将多个开放证明减少为一个，从而优化了证明大小和证明时间。

未来发展

在链上验证方面取得了进展，贡献者 Alpeh_v 和 Matteo Mer 在开发 Jolt 验证器的 Solidity 实现方面迈出了重要一步。一旦完成，这将使 Jolt 证明可以在任何 EVM 区块链上进行验证。

与 Dag Arne Osvik 合作开发的256位Montgomery 算术的 AVX-512 库，承诺加速在支持硬件上的 Jolt 和其他椭圆曲线SNARKs 中的域运算。Quang Dao 和 Carl Kwan 领导的形式化验证工作，已识别出一些小错误和优化，提高了 Jolt 实现的可靠性。

展望未来，a16z crypto 正与多个团队合作，进一步提升 Jolt。计划的改进包括求和校验证明器优化，进一步减少证明大小和验证者成本，GPU 集成，以及通过折叠与 Nova 的集成进行连续。

有关更详细的见解，请访问 a16z crypto 的官方更新。