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 能够处理具有较弱结构属性的表。