Lasso

文章介绍了Jolt，一个新的SNARK设计方法，其在性能和可扩展性上优于现有zkVM，速度提升可达2倍。Jolt通过采用sum-check协议和多变量多项式来解决当前zkVM设计的复杂性和低效问题，旨在提升SNARK的开发体验，降低错误概率，并简化扩展工作。本文阐述了Jolt的架构、初步性能比较以及未来的优化方向。

本文介绍了两项新技术——Lasso和Jolt，它们通过改善SNARK设计，提高了开发者体验和审计能力，显著提升了计算性能。Lasso通过承诺更少更小的值来降低证明成本，而Jolt则为zkVMs提供了一种新框架，从而推动Web3应用的构建与扩展。

本文介绍了Ben Diamond和Jim Posen的研究团队在多项承诺方案Ligero/Brakedown方面的进展，并探讨了将其应用于基于sum-check的SNARK（如Lasso和Jolt）中的效益。讨论了D&P承诺方案的性能优势、所采用的哈希函数以及对小值承诺的改进，同时分析了不同承诺方案在SNARKs性能中的应用场景。

本文介绍了Lasso和Jolt的创新，它们能显著提升SNARK的性能，并更易于构建和审核。结合D&P的Binius方案，这些发展改变了我们对SNARK设计的基本理解，提出了新的思路以优化电路求解和多项式承诺方案，从而提高加密运算的效率，特别是在哈希函数应用中。

本文介绍了两项新技术——Lasso和Jolt，它们为SNARK设计带来了根本性的新方法，显著提升了性能并改善了开发者体验。Lasso提供了更快的查找论证，支持大型表格的高效查找，而Jolt则为零知识虚拟机（zkVM）设计带来了简化，使开发者可以更容易地编写高效的SNARK应用。文章深入探讨了这些技术的背景、实现及其在区块链开发中的潜在影响。

文章详细介绍了Lasso和Jolt这两种新型零知识虚拟机（zkVM）的核心原理和实现，特别强调了sum-check协议在Jolt中的重要性，以及与Binius承诺方案的结合。作者探讨了Jolt在性能与简化方面的优势，讨论了椭圆曲线与哈希之间的比较，并解构了EVM中的预编译和zkVM基准测试的概念。

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