开源经过实战检验的 Stone Prover

开源经过实战检验的 Stone Prover

StarkWare 将以 Apache 2.0 许可证开源 STARK Prover，现已命名为 Stone。

代码审查会议将于 8 月 31 日在 Starknet Summit 期间进行。届时，Stone prover 的代码将提供给社区。

简而言之

• 正如2023 年 2 月宣布的那样，我们即将以 Apache 2.0 许可证开源 StarkWare 的 STARK Prover，现已命名为 Stone (STARK one)。
• 开源 prover 是 Starknet 去中心化的一个重大进步。它将促进协作和创新，并使开发者能够观察、优化和使用 prover 的代码，最好是为了公共 Starknet 的利益。
• 这一步与之前为 Starknet Stack 开源许可一致。凭借增长最快的开发者社区，Starknet 拥有最去中心化的 Rollup Stack，包括多个关键基础设施组件，例如 Cairo、多个全节点实现、Starknet 的新 Sequencer 以及由独立团队构建的其他开源功能。
• Stone Prover 是一个强大的引擎，我们鼓励团队围绕它添加自定义和包装，以便构建他们需要的证明系统。

大新闻

我们很兴奋！正如今年早些时候宣布的那样，并且正如 Starknet 的早期阶段计划的那样，我们将开源 STARK Prover 代码，现已命名为 Stone。Prover 的代码库将在 Apache 2.0 许可证 下提供。代码介绍会议将于 8 月 31 日在 Starknet Summit 期间举行，这一天将提供代码。

这是 StarkWare 技术去中心化的一个重大进步，使社区能够独立地构建 Prover 的开发并为其做出贡献。

对于开发者而言，这意味着 StarkWare 扩展成就核心的、经过实战检验的引擎可供所有人用来证明 Cairo 程序。我们为你提供了一个强大的 STARK-prover，你可以使用它来帮助构建 Starknet 的生态系统并为其做出贡献。

开源 Stone STARK Prover

STARK Prover 是 Starknet 技术栈中的一个重要组成部分。它负责压缩交易和生成加密证明，并在帮助扩展 Ethereum 方面发挥着关键作用。

自 2020 年 6 月以来，此 Prover 一直在生产中，在证明由 StarkEx（例如 Immutable X、Sorare、dYdX 等）和 Starknet 驱动的去中心化应用程序的交易中发挥着关键作用。代码已经过不断优化，我们正在分享其最新更新的版本（于 2023 年 3 月发布）。

自推出以来，以该 Prover 为基础构建的 STARK 技术扩展解决方案（包括 StarkEx 和 Starknet）已压缩并证明了累计 1 万亿美元的交易量、5 亿笔交易和超过 1 亿次 NFT 铸造。当然，无论是由 StarkWare，还是由选择获取代码并将其用于自己计划的开发者，都可以进行进一步的创新和优化。

开源 Prover 允许更多人审查代码并提供优化、提高其质量、帮助检测错误并提供透明度。

目前，StarkWare 已经开源了 Cairo、Papyrus Full Node 和所有 Starknet 版本。正在构建的新 Starknet Sequencer 也将开源。这些项目与 Starknet 生态系统中的几个开源项目一起加入。

开源了什么，开发者如何使用它？

开源代码包括 C++ 中的 Stone STARK Prover（在 Apache 2.0 许可证下）。此外，还将提供 C++ STARK Verifier。

开源 Stone Prover 将允许创新计划，这些计划能够将其用作其证明系统的底层证明引擎。开发者可以使用它，如下所示：

1. 编写 Cairo0 程序
2. 使用 Cairo 工具 获取 Cairo0 程序并将其编译为 CASM
3. 使用 cairo_run 运行 CASM 代码，并接收该运行的 Cairo 追踪
4. 使用 Stone STARK Prover 证明 Cairo 追踪
5. 接收 STARK Proof
6. 使用 C++ Verifier 以确保证明有效

Stone Prover 适用于证明 Cairo 程序。可以在其之上构建额外的包装和自定义，以便将其用于多个和各种证明系统和需求。开发者可以采用这种开创性的、经过实战检验的引擎，并构建他们自己的定制证明服务。例如，StarkWare 以此 Prover 为基础构建了 SHARP 系统。

总结

随着 Stone Prover 代码库在 Apache 2.0 许可证下发布，StarkWare 标志着为安全扩展 Ethereum 开发和发布开放工具的关键时刻。StarkWare 认为，开源 Starknet 技术栈意味着更多的协作、更好的质量、更高的安全性、创新和独立性。所有这些价值观都有助于 Starknet 和 Ethereum 充分发挥其潜力。

未来，开发者运行 Starknet Stack 所需的一切都计划开源，这对于去中心化、无需许可的 Layer 2 网络来说是合适的。

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