原文标题：《Unleashing the power of the Stone Prover》
编译：「Starknet 中文社区」
StarkWare 将开发开源证明器 Stwo，那 Stone 将会停滞不前吗？
2023 年 8 月，StarkWare发布了经过实际验证的 Stone 证明器 — STark ONE，这是Starknet 二层技术栈的核心组件，在以太坊扩容领域起着关键作用，为基于 Starknet 的 dApp 提供了交易证明的基础。发布 Stone 开源代表了Starknet 技术向去中心化的重要进展，也为开发者社区提供了使用 Stone 独立构建应用的能力。
2024 年 2 月，StarkWare 宣布他们正在研发 STARK 扩容技术的下一代产品：Stwo（Stark TWO）。Stwo 将是一款高效的开源证明器，通过利用 Circle STARK 和其他优化方案，将带来前所未有的性能提升。
Stone公司从不停滞不前，他们刚刚推出了两项备受期待的新功能，这将为用户带来更多便利和惊喜。更多关于这些新功能的详细信息将很快公布，让我们一起期待吧。
StarkWare已经与Starknet生态系统中的顶尖团队合作，共同开发额外的组件，以支持开发者利用Stone实现其可扩展性目标。这一举措进一步促进了Starknet的去中心化进程，并扩大了社区对STARK技术解决方案的获取渠道。
本文将为大家介绍所有致力于释放 Stone 潜能的项目。
也许你已有所耳闻，StarkWare 一直在与 Herodotus 合作，在 Starknet 上开发与 Stone 兼容的 Cairo 验证器。正如 Starknet 在以太坊上证明其执行并对其进行验证一样，Cairo 验证器使那些希望在 Starknet 上构建三层（L3）的开发者能够在自己的应用层上证明其执行情况并在 Starknet 上对其进行验证。
如果你仍偏爱在 L1 进行验证，zkSecurity 正在开发 STARK-EVM 适配器。该适配器可分割 Stone 生成的证明，使其与以太坊上现有的 Cairo 验证器兼容。STARK-EVM 适配器使开发者能够在以太坊上验证 Stone 生成的证明，成为释放由 Stone 驱动的 L2 应用链中缺失的一块拼图。
无论您喜欢 L2 还是 L3，Moonsong Labs 构建了一个 Stone 封装器，目的是便于在 Madara 中无缝调用 Stone。Madara 是一款高性能 Starknet 排序器，为创建可定制的高效应用链提供了强大的功能。通过这一集成，开发人员可以灵活、轻松地创建即插即用的应用，无论是在 L2 还是 L3。
在开发 Madara 的同时，Moonsong Labs 还将这些功能集成到了用户友好的一键式 Stone 命令行运行界面（CLI） 中。该 CLI 允许开发人员输入编译后的程序以及进行程序输入，并依次处理 Cario 虚拟机的执行，管理 Stone 的输入，设置最优的 Stone 配置，并返回生成的证明。
如果说 Moongsong Labs 的 CLI 能让每个人都能轻松地使用 Stone，那么 Ingonyama 则致力于为 Stone 添加 GPU 支持，使得通过 Stone 来完成的所有事情都变得更加简单。硬件加速带来的性能提升和延迟改善使生成证明不再需要繁琐的设备，甚至可以在网页浏览器中使用 Stone。
最后，也是很重要的一点，Starknet 开发者 Thor Kampefner（@cryptograthor）启动了 Pebble，一个正在开发的「Stone 与 Rust 兼容」项目。Pebble 的设计非常灵活，其目标是支持扩容目前在 Stone 上不可用的新功能，例如轻松编译到 WebAssembly 和支持完全零知识证明。
通过与社区内的项目合作，构建支持开源 Stone 证明器的重要组件，同时致力于开发下一代开源 Stwo 证明器，我们在扩大 STARK 技术解决方案的使用范围以及推动 Starknet 实现更大程度的去中心化方面取得了重大进展。
以上是速览Starknet开源证明器Stone新规划：构建应用链，降低使用成本的详细内容。更多信息请关注PHP中文网其他相关文章！
