Lasso

Lasso、Jolt 和Lookup Singularity，第二部分，与 Justin Thaler 对话

视频 AI 总结： 该视频是 A16Z Crypto Research Seminar 的第二部分，主要讲解了 Lasso、Jolt 以及 Lookup Singularity 的底层工作原理。核心内容是 Lasso 是一种新型的查找论证，它比以前的方法更快，因为它提交的字段元素更少，而且提交的字段元素更小。Jolt 是一种新的 ZKVM 技术，它利用了 Lasso 的特性，降低了证明者的承诺成本。Lookup Singularity 是一种愿景，旨在创建仅执行查找的电路，以提高可审计性和形式验证的正确性。 关键信息： * Lasso 是一种新型的查找论证，其证明者比以前的方法快一个数量级。 * Lasso 使用多元多项式，允许证明者无需提交表即可进行查找。 * Lasso 可以支持巨大的表，只要这些表具有一定的结构。 * Jolt 是一种新的 ZKVM 技术，它利用了 Lasso 的可分解表属性。 * Jolt 的证明者承诺成本低于以前的 ZKVM。 * Lookup Singularity 是一种愿景，旨在创建仅执行查找的电路。 * Lasso 和 Jolt 挑战了一些关于 ZKVM 设计的传统观念，例如更简单的指令集应该导致更快的 ZKVM。 * Lasso 和 Jolt 在规模上具有经济性，这意味着将事物分解成更小的部分实际上会降低性能。 * Lasso 可以被视为一种用于数据并行计算的 SNARK，其中存在大量的数据并行性。 * Lasso 使用 GKR 协议来最小化证明者的承诺成本。 * Generalized Lasso 能够处理具有较弱结构属性的表。

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

Lookup Singularity

视频 AI 总结： 本视频主要介绍了 LASSO 和 JOLT 的背景，并解释了“Lookup Singularity”这一概念，该概念由 Barry Whitehat 提出。核心思想是构建仅执行查找的电路，以提高可审计性和形式化验证 SNARK 的正确性。与目前许多项目采用的手动编写定制化 gadget 相比，查找方法更简单，更容易验证。虽然目前的查找参数速度较慢，但如果支持对大型表进行查找，并采用结构化表等技术，有望实现这一愿景。LASSO 和 JOLT 正在努力接近实现这一目标。 关键信息： * “查找奇异点”是指构建仅执行查找的电路。 * 这种方法的优势在于提高可审计性和形式化验证 SNARK 的正确性。 * 当前查找参数速度较慢，需要支持对大型表进行查找。 * LASSO 和 JOLT 正在努力实现“查找奇异点”的愿景。

Justin Thaler 讲解 Lasso

视频 AI 总结： 该视频主要介绍了 LASSO，一种新型的查找论证方法，它比以往的方法在证明者方面速度快了一个数量级。LASSO 的优势在于证明者需要提交的字段元素更少，且这些字段元素的值较小，从而加快了加密提交的速度。此外，对于许多表格，证明者无需提交表格。LASSO 能够支持巨大的表格，并利用表格的可分解性构建了 JOLT，一种新的 ZKVM 技术。 关键信息： * LASSO 是一种新型的查找论证，证明者速度更快。 * LASSO 提交的字段元素更少且值更小。 * 对于许多表格，证明者无需提交表格。 * LASSO 支持巨大的表格，并利用表格的可分解性构建了 JOLT。 * JOLT 是一种新的 ZKVM 技术，具有更低的证明者提交成本。 * JOLT 证明指令执行正确性是通过查找一个巨大的表格来实现的。

Lasso、Jolt 和Lookup Singularity，第一部分

视频 AI 总结： 该视频是 Justin Thaler 关于 Snarks、Lookup Arguments 以及 Lasso 和 Jolt 的系列讲座的第一部分。主要介绍了 Snarks 的基本概念、设计原理，以及目前 Snarks 在前端和后端设计上的一些挑战和权衡。视频重点介绍了 Lookup Arguments，并引出了 Lasso，一种新的 Lookup Argument 家族，以及基于 Lasso 构建的新的前端技术 Jolt。 关键信息： * **Snarks 概述：** Snarks 是一种密码学协议，允许证明者在不泄露 witness 本身的情况下，向验证者证明自己知道满足特定属性的 witness。Snarks 的关键特性是简洁性（succinct）、非交互性（non-interactive）和知识论证（argument of knowledge）。 * **Snarks 的设计流程：** Snarks 的设计通常分为前端和后端两个步骤。前端负责将高级语言编写的 witness 检查程序转换为低级的算术电路表示。后端则使用密码学技术，允许证明者证明自己知道满足该电路的 witness。 * **Lookup Arguments：** Lookup Arguments 是一种优化 Snarks 性能的技术，通过将计算过程中的某些操作替换为查表操作，从而减少电路的复杂性。 * **Lasso：** Lasso 是一种新的 Lookup Argument 家族，旨在提高 Snarks 的性能，尤其是在处理大型查找表时。Lasso 具有多种变体，包括 Basic Lasso、Lasso 和 Generalized Lasso，每种变体都适用于不同的场景。 * **Jolt：** Jolt 是一种新的前端技术，基于 Lasso 构建，用于优化虚拟机执行的 Snarks 性能。Jolt 通过将虚拟机指令的执行替换为查表操作，从而显著减少电路的复杂性。 * **多重指数运算（Multi-exponentiation）：** 视频中提到，当用于承诺的 field element 较小时，基于多重指数运算的承诺方案会更快。