Jolt 是与 a16z crypto 合作开发的零知识虚拟机,已实现 6 倍加速,并将证明大小减少到约 50 KB,从而提高了区块链扩展的效率。
执行摘要
Jolt 是与 a16z crypto 合作开发的零知识虚拟机(zkVM),已展示出显著的性能提升,实现了处理能力上的 6 倍加速。这一进展主要归因于 Twist and Shout 内存检查参数的全面集成,使 zkVM 能够在 32 核 CPU 上每秒处理超过 100 万个 RISC-V 周期,在 MacBook 上每秒处理超过 50 万个周期。同时,证明大小已大幅减少至约 50 KB,比其他 zkVM 小一个数量级,标志着迈向更高效、可扩展的可验证计算的关键一步。
事件详情
Jolt 的性能飞跃是集成 Twist and Shout 内存检查参数的直接结果。这种集成通过在证明过程中引入规模经济,优化了 zkVM 的吞吐量,尤其是在较长的执行轨迹下。随着 RISC-V 周期数量的增加,每个周期的证明成本会降低,使得 Jolt 对于 以太坊 区块处理等大规模工作负载更加高效。Jolt 的证明器工作开销现在低于每个 RISC-V 周期 100,000 个 CPU 周期,这显著低于其他项目中通常看到的约 100 万个 CPU 周期,将 Jolt 定位在 zkVM 进展的 速度阶段 1。
Jolt 设计的关键在于它避免了复杂的递归和其他传统的 zkVM 机制。相反,它利用了 稀疏多项式、椭圆曲线承诺 和 和检验协议。这种基本的架构差异,包括“无商多项式、无字节分解、无大积、无置换检查”等特性,简化了系统并有助于其效率。大约 50 KB 的小证明大小与 zk-STARKs 等解决方案形成鲜明对比,后者通常产生的证明比 zk-SNARKs 和 PLONK 大一个数量级。
市场影响
Jolt 的进步对更广泛的 Web3 生态系统具有重要意义。速度的提升和证明大小的减小对于增强 以太坊 和其他区块链的可扩展性至关重要,特别是通过 ZK-rollups。这一发展使更复杂的应用程序成为可能,并通过使零知识证明更高效、更便宜、更节省资源来促进更广泛的采用。由 Twist and Shout 实现的“流式证明器”能力允许任意长时间的执行,且内存占用极低,具体低于 2 GB,这对于在移动电话和其他边缘设备等资源受限设备上实现可验证计算至关重要。
专家评论
行业观察家指出,Jolt 的新颖设计范式有助于提高可扩展性和可审计性,与现有 zkVM 相比,可能带来更高的安全性。其源于以查找为中心的架构所带来的原生稀疏性优势,与需要改装查找参数的系统形成对比。这使得 Jolt 成为对效率和安全性至关重要的环境中的强大解决方案,特别是在 零知识机器学习 (zkML) 等领域。
更广阔的背景
这一发展凸显了零知识证明技术在实际应用中日益优化的趋势。在不通过向第三方发送数据而损害隐私的情况下,在手机等设备上执行本地可验证计算的能力代表着一种变革性转变。Jolt 的方法解决了证明过程中内存使用的一个关键挑战,为 ZKPs 在从嵌入式系统到去中心化金融的各个领域的更广泛集成铺平了道路,从而扩展了加密证明的实用性和可访问性。市场总体情绪看好利用 ZK-rollups 和可验证计算的项目,预计将对数字资产领域的扩展基础设施产生积极影响。
