原文：Open-Sourcing the Battle-Tested Stone Prover
翻译及校对：「Starknet 中文社区」

StarkWare 即将在 Apache 2.0 许可下开源 STARK 证明器（现更名为 Stone）。

• 正如在 2023 年 2 月所宣布的那样，我们即将在 Apache 2.0 许可下开源 StarkWare 的 STARK 证明器，现已更名为 Stone（STARK one）。

• 开源这个证明器是 Starknet 去中心化的重要步骤，将促进合作和创新，使开发者能够观察、优化以及使用证明器的代码（我们希望开发者是为了公共 Starknet 的利益来使用这些代码）。

• 此举与先前为 Starknet 技术栈开放源代码许可的举措是一致的。凭借快速增长的开发者社区的力量，Starknet 拥有最去中心化的 Rollup 技术栈，其中包括多个关键的基础设施组件，例如 Cairo、多个全节点实现、新的 Starknet 排序器，以及其他独立团队构建的开源功能。

• Stone 证明器是一个强大的引擎，我们鼓励各团队为其添加定制内容和封装，以便构建他们所需要的证明系统。

我们感到非常兴奋！如今年初所宣布的那样，按照 Starknet 初期的计划，我们将开源 STARK 证明器代码（现在更名为 Stone）。证明器的代码库将在 Apache 2.0 许可下开放，并将在 8 月 31 日的 Starknet 峰会的代码介绍会上介绍该代码。同时该代码也将在当天同步开放。

这是 StarkWare 技术在去中心化方面迈出的重要一步，社区能够在证明器的基础上独立开发，并为其发展做出贡献。

对于开发者来说，这意味作为 StarkWare 扩容成果的核心，这个经过严格实战测试的引擎，现在将对所有人开放，用于证明 Cairo 程序。我们为大家提供了一个强大的 STARK 证明器，可以使用它来帮助构建 Starknet 生态系统，并为其发展做出贡献。

STARK 证明器是 Starknet 技术栈中的重要组成部分。它负责压缩交易以及生成加密证明，在帮助扩展以太坊方面发挥着关键作用。

此证明器自 2020 年 6 月起投入生产，在证明去中心化应用程序的交易方面发挥至关重要的作用。这些去中心化应用程序由 StarkEx （如 Immutable X、Sorare、dYdX 等）以及 Starknet 驱动。该代码一直在不断优化，我们目前分享的是其最新版本（2023 年 3 月发布）。

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

开源证明器允许更多的人来审查代码并提出优化建议、提高代码质量、帮助检测错误并提供透明度。

目前，StarkWare 已经开源了 Cairo、Papyrus 全节点和所有 Starknet 版本。正在构建的新的  Starknet 排序器也将开源。Starknet 生态系统中的多个开源项目也将加入其中。

开源代码包括 C++ 版本的 Stone STARK 证明器（采用 Apache 2.0 许可）。此外，我们还将提供 C++ STARK 验证器。

开源 Stone 证明器将允许创新项目将其用作其证明系统的底层证明引擎。开发者将可以按照以下方式使用它：

1. 编写 Cairo0 程序

2. 使用 Cairo 工具获取 Cairo0 程序并将其编译为 CASM

3. 使用 cairo_run 运行 CASM 代码，并接收运行的 Cairo 执行追踪

4. 使用 Stone STARK 证明器来证明 Cairo 执行追踪

5. 接收 STARK 证明

6. 使用 C++ 验证证明器确保证明有效

Stone 证明器适用于证明 Cairo 程序。可以在其基础上构建额外的封装和定制，以满足多种不同的证明系统和需求。开发者可以利用这个开拓性的、经过严格实战测试的引擎，来构建自己的定制证明服务。例如，StarkWare 就以此证明器为基础构建了 SHARP 系统。

随着 Stone 证明器代码库在 Apache 2.0 许可下发布，StarkWare 将迎来关键时刻，开发和发布用于安全扩展以太坊的开放工具。StarkWare 相信，开源 Starknet 技术栈意味着更多的协作、更好的质量、更高的安全性、创新性和独立性。所有这些价值都能帮助 Starknet 和以太坊充分发挥其全部潜力。

未来，对于开发者操作及运行 Starknet 技术栈所需的所有内容，都计划开源，这符合一个去中心化、无需许可的 L2 网络应该具备的特点。

原文：Open-Sourcing the Battle-Tested Stone Prover
翻译及校对：「Starknet 中文社区」

StarkWare 即将在 Apache 2.0 许可下开源 STARK 证明器（现更名为 Stone）。

• 正如在 2023 年 2 月所宣布的那样，我们即将在 Apache 2.0 许可下开源 StarkWare 的 STARK 证明器，现已更名为 Stone（STARK one）。

• 开源这个证明器是 Starknet 去中心化的重要步骤，将促进合作和创新，使开发者能够观察、优化以及使用证明器的代码（我们希望开发者是为了公共 Starknet 的利益来使用这些代码）。

• 此举与先前为 Starknet 技术栈开放源代码许可的举措是一致的。凭借快速增长的开发者社区的力量，Starknet 拥有最去中心化的 Rollup 技术栈，其中包括多个关键的基础设施组件，例如 Cairo、多个全节点实现、新的 Starknet 排序器，以及其他独立团队构建的开源功能。

• Stone 证明器是一个强大的引擎，我们鼓励各团队为其添加定制内容和封装，以便构建他们所需要的证明系统。

我们感到非常兴奋！如今年初所宣布的那样，按照 Starknet 初期的计划，我们将开源 STARK 证明器代码（现在更名为 Stone）。证明器的代码库将在 Apache 2.0 许可下开放，并将在 8 月 31 日的 Starknet 峰会的代码介绍会上介绍该代码。同时该代码也将在当天同步开放。

这是 StarkWare 技术在去中心化方面迈出的重要一步，社区能够在证明器的基础上独立开发，并为其发展做出贡献。

对于开发者来说，这意味作为 StarkWare 扩容成果的核心，这个经过严格实战测试的引擎，现在将对所有人开放，用于证明 Cairo 程序。我们为大家提供了一个强大的 STARK 证明器，可以使用它来帮助构建 Starknet 生态系统，并为其发展做出贡献。

STARK 证明器是 Starknet 技术栈中的重要组成部分。它负责压缩交易以及生成加密证明，在帮助扩展以太坊方面发挥着关键作用。

此证明器自 2020 年 6 月起投入生产，在证明去中心化应用程序的交易方面发挥至关重要的作用。这些去中心化应用程序由 StarkEx （如 Immutable X、Sorare、dYdX 等）以及 Starknet 驱动。该代码一直在不断优化，我们目前分享的是其最新版本（2023 年 3 月发布）。

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

开源证明器允许更多的人来审查代码并提出优化建议、提高代码质量、帮助检测错误并提供透明度。

目前，StarkWare 已经开源了 Cairo、Papyrus 全节点和所有 Starknet 版本。正在构建的新的  Starknet 排序器也将开源。Starknet 生态系统中的多个开源项目也将加入其中。

开源代码包括 C++ 版本的 Stone STARK 证明器（采用 Apache 2.0 许可）。此外，我们还将提供 C++ STARK 验证器。

开源 Stone 证明器将允许创新项目将其用作其证明系统的底层证明引擎。开发者将可以按照以下方式使用它：

1. 编写 Cairo0 程序

2. 使用 Cairo 工具获取 Cairo0 程序并将其编译为 CASM

3. 使用 cairo_run 运行 CASM 代码，并接收运行的 Cairo 执行追踪

4. 使用 Stone STARK 证明器来证明 Cairo 执行追踪

5. 接收 STARK 证明

6. 使用 C++ 验证证明器确保证明有效

Stone 证明器适用于证明 Cairo 程序。可以在其基础上构建额外的封装和定制，以满足多种不同的证明系统和需求。开发者可以利用这个开拓性的、经过严格实战测试的引擎，来构建自己的定制证明服务。例如，StarkWare 就以此证明器为基础构建了 SHARP 系统。

随着 Stone 证明器代码库在 Apache 2.0 许可下发布，StarkWare 将迎来关键时刻，开发和发布用于安全扩展以太坊的开放工具。StarkWare 相信，开源 Starknet 技术栈意味着更多的协作、更好的质量、更高的安全性、创新性和独立性。所有这些价值都能帮助 Starknet 和以太坊充分发挥其全部潜力。

未来，对于开发者操作及运行 Starknet 技术栈所需的所有内容，都计划开源，这符合一个去中心化、无需许可的 L2 网络应该具备的特点。