登录 后可观看高清视频

Lasso + Jolt:工程概览

a16z Crypto a16z Crypto
17次播放
17小时前

视频 AI 总结: 该视频介绍了 A16Z Crypto 团队开发的 LASSO 和 JOLT 技术,它们旨在提升零知识虚拟机(ZKVM)的效率和可访问性。LASSO 是一种更快的查找论证证明器,适用于大规模表格的查找,而 JOLT 则基于 LASSO,为构建 ZKVM 提供了一种新范式,可应用于 RISC-V、WASM 或 EVM 等指令集。核心目标是降低证明成本,简化开发体验,并提高可审计性。

关键信息:

  • LASSO 是一种快速的查找论证证明器,适用于大规模表格(例如 2 的 128 次方个条目)的查找,其成本与查找次数成正比,而不是表格大小。
  • JOLT 基于 LASSO,为构建 ZKVM 提供了一种新范式,可应用于整个指令集(如 RISC-V、WASM、EVM)。
  • JOLT 具有更快的证明器,更易于开发和审计。
  • 视频详细解释了多线性扩展(MLE)在 LASSO 和 JOLT 中的应用,并展示了如何使用 Rust 实现 Jolt VM 的指令和子表。
  • Jolt 通过将复杂操作分解为更小的子表查找,显著降低了计算复杂度。
  • Jolt 的目标是创建一个共享的审计服务,并允许不同的虚拟机(如 EVM 和 Wasm)共享相同的底层指令实现。
零知识虚拟机  Lasso  Jolt  证明器  多线性扩展  指令集