Jolt 开发路线图更新

视频 AI 总结： 该视频介绍了 Jolt 项目在过去六个月的进展和未来计划。Jolt 是一种 RISC-V ZKVM，旨在提供快速的零知识证明。视频重点介绍了 Jolt 在支持 Rust 标准库和 RISC-V M 扩展后，主要解决了验证成本高和证明者空间使用大的问题。通过改进多项式承诺方案和批量处理，Jolt 的证明大小已从兆字节级别降至 200KB 以下，并有望进一步降低。未来，Jolt 将致力于通过折叠方案降低证明者空间使用，并探索基于哈希的承诺方案以进一步提高速度。此外，团队还将投入大量精力进行形式化验证，以确保 Jolt 实现的正确性。

关键信息：

• Jolt 在过去六个月主要解决了验证成本高和证明者空间使用大的问题。
• 通过改进多项式承诺方案和批量处理，Jolt 的证明大小显著降低。
• 未来计划包括通过折叠方案降低证明者空间使用，探索基于哈希的承诺方案以提高速度，以及进行形式化验证。
• Jolt 旨在成为在资源受限环境中进行证明的理想 ZKVM，同时保持领先的证明速度。
• 将会有两个版本的Jolt，一个使用椭圆曲线，另一个使用哈希。