【编者按】a16z Crypto 推出了两项与 SNARK 相关的技术：Lasso 和 Jolt。它们解决了三个关键问题：性能、开发人员体验和可审核性。其中 Lasso 是一种新的查找参数，可以显著提高证明者成本；Jolt（Just One Lookup Table）是一个专为与以太坊虚拟机兼容的 Rollups 设计的框架，一种利用 Lasso 构建 SNARK VM 的新颖方法。Lasso 和 Jolt 可以显著加快 Web3 中的扩展和构建应用程序，它们共同代表了一种全新的 SNARK 设计方法，可将广泛部署的工具链的性能提高一个数量级甚至更多级。
a16z 的研究合伙人、乔治城大学计算机科学系的副教授 Justin Thaler 深入探讨了最新的 SNARK 技术发展，强调了通过改变现有部署的各个组件，包括多项关键技术，以获取具有高性能证明者的 SNARKs 的必要性。Justin 建议使用基于求和检查的多项式 IOPs 和结合更快的证明者、更大证明的方案，如 Ligero/Brakedown，再加上递归，以实现更高效的 SNARK 系统。此外，他强调了对于更简单、易于开发的 SNARK 系统的迫切需求，以提高可审计性和安全性。
