Lasso + Jolt：工程概览

视频 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）共享相同的底层指令实现。