编者注：在本系列中，我们将分享两项新的创新，它们可以显着加快 web3 中的扩展和构建应用程序：Lasso 和 Jolt。它们共同代表了一种全新的 SNARK 设计方法，可将广泛部署的工具链的性能提高一个数量级或更多；提供更好、更方便的开发者体验；并使审计变得更加容易。

有关 SNARK 为何如此重要、其当前设计状态、需要理解的关键概念以及开发人员和工程师的实现细节的更多信息，请阅读《Building on Lasso and Jolt》（其中还包括一个开源实现）。研究论文可以在这里找到（Lasso，Jolt）。您还可以在此YouTube 播放列表中观看解释 Lasso 和 Jolt、查找奇点以及思考 SNARK 设计的新方法的完整或简短视频。 

SNARK （简洁的非交互式AR知识）是一种加密协议，任何人都可以向不信任的验证者证明它知道满足某些属性的“证人” 。web3 中的一个突出应用是第 2 层 (L2) 汇总，向第 1 层 (L1) 区块链证明它们知道授权一系列交易的数字签名，因此签名本身不必由网络存储和验证。 L1，从而有助于可扩展性。 

区块链之外的应用程序包括快速但不受信任的 硬件 设备，证明它们产生的所有输出的有效性，确保用户可以信任它们。个人可以以零知识的方式证明 ，受信任的当局已向他们颁发了凭证，证明他们的年龄足以访问有年龄限制的内容，而无需透露其出生日期。任何通过网络发送加密数据的人 都可以向管理员证明该数据符合 网络策略，而无需透露更多细节。

虽然许多 SNARK 对验证者来说具有有吸引力的成本，但 SNARK 通常仍会在证明者计算中引入约六个数量级的开销。证明者所承受的额外工作是高度并行化的，但数百万倍的 因子开销严重限制了 SNARK 的应用范围。（有关更多详细信息，请参阅我之前关于 SNARK证明器性能、安全性和开发历史的帖子，以及对这种强大但复杂的技术的常见误解。） 

更具性能的 SNARK 将加速 L2，还可以允许构建者解锁尚未设想的应用程序。这就是为什么我们要引入两项新的相关技术：Lasso ，一种新的查找参数，可以显着提高证明者成本；Jolt ，它使用 Lasso 提供了一个新的框架，用于为所谓的 zkVM 和更广泛的前端设计设计 SNARK。它们共同提高了 SNARK 设计的性能、开发人员体验和可审核性，进而提高了 web3 中的构建。

我们对 Lasso 的初步实现已经证明，与流行的 SNARK 工具链 halo2 中的查找参数相比，速度提高了 10 倍以上。当 Lasso 代码库完全优化后，我们预计速度会提高约 40 倍。Jolt 包含 Lasso 之上的其他创新，我们预计它能够实现与现有 zkVM 类似或更好的加速。