lambdaworks - 回顾与更新路线图

介绍

自从我们推出用于零知识（ZK）证明的密码学库 lambdaworks 以来，已经过去了一年半多的时间。我们在构建它时，专注于性能、易用性、对硬件加速的支持以及教导他人如何开发和理解 ZK。

去年 ZK 的几项进展为之前的方案带来了令人难以置信的性能提升。例如，circle STARKs 已经允许在消费级硬件上每秒证明超过 62 万个 Poseidon2 哈希。Binius 使我们能够利用二进制域的力量。通过使用专用硬件，它们的性能可以大大提高。我们已经看到新的查找参数仅取决于使用的查找次数。我们还有更高效的哈希函数。去年，我们还看到了通用证明 zk 虚拟机（zkvm）的开发和发布。这些虚拟机允许我们编写普通代码（例如，用 Rust 编写），在虚拟机上执行它，并生成执行证明。这简化了可验证应用程序的开发，使开发人员从 ZK 的底层细节中抽象出来。随着 Aligned 的引入，我们预计证明验证成本将持续下降，从而能够构建在以太坊之上的新的可验证应用程序。我们可以预测，ZK 在未来几年将变得越来越重要，因此，我们的库中必须拥有许多必要的工具。

在展望未来之前，让我们回顾一下 lambdaworks 的一些特性和数字：

• 合并了 493 个 pull requests。
• 73 位贡献者。
• 14 个版本。
• 超过 18.5 万次下载。
• 4 个证明系统（STARKs、Cairo、Groth16、Plonk）和两个额外的示例实现（Pinocchio 和 BabySNARK）。
• 举办了两届密码学 Sparkling Water Bootcamp，有来自不同国家的 30 名训练营学员。
• 使用 Montgomery 算法的 有限域后端，以及用于具有更简单归约公式的域的专用后端。
• 椭圆曲线运算后端，具有不同的坐标系。
• 单变量多项式后端 和快速傅里叶变换（FFT）。
• 几个密码学工具，例如哈希函数（Poseidon 和 Pedersen）、Merkle 树、KZG 承诺和 Fiat-Shamir 变换。
• 示例和练习。

考虑到所有最近的进展和趋势，以及我们从用户和朋友那里获得的经验，我们将根据以下路线图纳入新功能并改进现有功能。

路线图

以下是我们希望纳入 lambdaworks 的功能和更新列表。我们可能会根据 ZK 技术的最新发展更改一些或包括新的功能：

• 使用汇编改进域后端。
• 改进域扩展后端。
• 为梅森素数提供新的后端实现。
• 整合二进制域。
• 改进并添加多线性多项式和多元多项式的特性。
• 提高 BLS12-381 和 BLS12-377 配对的性能。
• 添加新的哈希函数：Rescue，XHash8 和 XHash12，Poseidon 2。
• 添加 带有 GKR 的 logUp。
• 添加 Binius。
• 添加 Circle STARKs。
• 提供高效证明递归的工具。
• 提供更多文档、示例、用例等。
• 为库添加更多理论背景。
• 完成与 Icicle 的集成。
• 添加 Python 和其他编程语言的绑定。

总结

在过去的一年半中，我们看到了 ZK 的许多新发展，提高了证明系统的性能，同时大大简化了可验证应用程序的开发。ZK 验证层的引入将导致更低的验证成本和新的应用程序。

lambdaworks 已经整合了许多证明系统和不同的密码学原语，以帮助开发人员构建应用程序并了解底层的工作原理。我们提出了该库的新路线图，希望整合新的证明系统，例如 Circle STARKS 和 Binius，同时保持简单性并提供清晰明了的文档。通过这种方式，我们希望将 ZK 带给全球的开发人员，帮助他们采用这种变革性技术并使其对所有人可用。

• 原文链接： blog.lambdaclass.com/lam...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～