a16z Crypto 推出了两项与 SNARK 相关的技术：Lasso 和 Jolt。它们解决了三个关键问题：效能、开发人员体验和可稽核性。本文源自 a16z Researcher Justin Thaler 所着文章《Boosting Lasso+Jolt through faster commitments – with far-reaching consequences》 （前情提要：a16z：如何用一场魔术理解「零知识证明(ZKP)」是什么？ ） （背景补充：V神谈Layer2扩容全文：Rollup与Validiums（有效性验证）两者间权衡 ）
本文目录
- 通过 Lasso 实现更好的 Circuit-SAT SNARK
- 更快速的小值多项式承诺方案
- 戏剧性改进的hash SNARKs
- 影响
- 重新审视 SNARK 友好 hash 的观点
- 更快的小域求和检查证明程式
- 在 SNARK 设计中互动的作用
- 新发展概要
- 加密学术文章对 SNARK 生态系统的影响
其中 Lasso 是一种新的查询引数，可以显着提高证明者成本；Jolt（Just One Lookup Table）是一个专为与以太坊虚拟机器相容的 Rollups 设计的框架，一种利用 Lasso 构建 SNARK VM 的新颖方法。Lasso 和 Jolt 可以显着加快 Web3 中的扩容和构建应用程式，它们共同代表了一种全新的 SNARK 设计方法，可将广泛部署的工具链的效能提高一个数量级甚至更多级。