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

据a16z crypto称，Jolt是a16z crypto开发的最先进的零知识虚拟机（zkVM），自4月份首次发布以来，在性能和可用性方面已经有了显着改进。这些增强功能是 Jolt 团队和开源贡献者共同努力的结果。

性能增强

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

此外，Jolt 验证器的速度预计将提高三倍。这一改进归功于最近对和检查协议的优化以及更好地利用了约束系统的统一性质。

整合与支持

Jolt 与 Rust 标准库的集成由工程合作伙伴 Noah Citron 领导，通过允许使用更多现有的 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 位蒙哥马利算术的 AVX-512 库有望在兼容硬件上加速 Jolt 和其他基于椭圆曲线的 SNARK 中的场算术。由 Quang Dao 和 Carl Kwan 领导的正式验证工作已经发现了一些小错误并进行了优化，从而提高了 Jolt 实施的可靠性。

展望未来，a16z crypto 正在与各个团队合作，进一步增强 Jolt。计划的改进包括求和检查证明器优化、进一步减少证明大小和验证器成本、GPU 集成以及 Jolt 与 Nova 的集成以通过折叠进行延续。

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

图片来源：Shutterstock