# Stwo Prover：STARK 扩容的新一代技术来了！

By [Starknet 中文](https://paragraph.com/@starknet-zh) · 2024-03-02

---

> 原文：[Stwo Prover: the next-gen of STARK scaling is here](https://starkware.co/resource/stwo-prover-the-next-gen-of-stark-scaling-is-here/)
> 
> _翻译及校对：_[_「Starknet 中文社区」_](https://twitter.com/StarkNet_ZH)
> 
> _📑 转载请注明出处_ _🕹️_

精选速览：
=====

*   StarkWare 正在开发一种全新的极速证明器：Stwo。
    
*   Stwo 将实现开创性的 Circle STARK 技术，解锁高效素数域 M31。
    
*   Stwo 将基于 Apache 2.0 许可协议实现完全开源。
    
*   届时，包括 Starknet 及其应用链在内，所有受益于 Stone 证明器的系统都将享受到 Stwo 带来的好处。
    

开启 STARK 的新篇章
=============

新一代 STARK 证明来了！为了给大家带来最直接、有效的信息，我们将为您概括要点，并使用一些精彩的措辞来描述这一技术。同时，我们也诚邀大家浏览相关链接和信息，了解更多内容！

### 面向非数学专业人士：简要介绍

STARK 扩容的未来已悄然来临。在理论层面，我们与 [Polygon Labs](https://polygon.technology/) 团队的合作研究最终取得了突破性的数学创新成果：[Circle STARK 协议](https://starkware.co/resource/circle-starks/)。在应用层面，StarkWare 正在开发一款全新的、极速的开源证明器：Stwo。Stwo 将实现创新 Circle STARK 协议，并带来各种其他优化，释放极其高效的素数域 M31 的全部潜力，惠及零知识证明和区块链领域的每个人。

### 面向数学专业人士：深度探讨

传统的 STARK 协议要求其组成步骤具备代数结构。主要来说，其需要一个大小为 p 的素数域，使 p-1 能被一个较大的 2 的次方数整除。这主要是为了方便 STARK 协议的两个核心部分，即 FFT（快速傅里叶变换）和 FRI（低秩多项式检验）。这一切听起来都很不错，但这样的限制排除了许多规模较小但在其他方面都非常适合高效计算的域。具体来说，其排除了非常高效的 Mersenne 素数域 M31（其中 p=231-1），因为 p-1=2(230-1) 甚至不能被 4 整除。因此，我们面临了一个难题：传统的 STARK 协议与 M31 不兼容。

在我们继续讨论之前，先说点题外话。几年前，我们遇到了一个类似的挑战，尽管动机出发点不同。我们想让 STARK 协议适用于两种加密主流椭圆曲线：secp256k1 和 secp256r1。这两种曲线各自使用不同的素数，这些素数均不满足上述的约束条件。为了解决这个问题，我们提出了 [ECFFT 研究](https://arxiv.org/abs/2107.08473)，利用椭圆曲线为 FFT 和 FRI 提供另一种结构来源。这项研究详细介绍了将 STARK 适配到几乎任何你能想到的域的机制。

回到我们的话题。为 M31 适配传统 STARK 协议的愿望促使了我们与 Polygon Labs 团队展开了富有成效的合作，最终推出了 Circle STARK：一个简洁、优雅的协议，避免了 ECFFT 研究中的复杂机制。简而言之：当 p+1 能被一个较大的 2 的次方数整除时，正如 M31 的情况一样，素数域上的圆曲线提供了适配 [FFT](https://en.wikipedia.org/wiki/Cooley%E2%80%93Tukey_FFT_algorithm) 和 [FRI](https://vitalik.eth.limo/general/2017/11/22/starks_part_2.html) 所需的结构。[这篇 Circle STARKs 的研究文献](https://eprint.iacr.org/2024/278.pdf)中还详细阐释了其他许多细节。

下一代开源证明器：Stwo
=============

这些闪亮的数学创新成果并非只是摆设，随之而来的是一个极速开源证明器的诞生，将利用 Circle STARK 和其他优化技术，带来前所未有的证明性能。

你要问这个神秘生物叫什么名字？第一代叫 St**one**，所以第二代只能叫 S**two**了！(发音为「Stoo」）。那么，你能从中获得什么呢？

这取决于你是谁。

用户和开发者将受益于进阶的扩容技术。零知识证明和区块链领域将受益于最先进的 STARK技术的开源实施！自从 2020 年 6 月通过 StarkEx 首次实现基于 STARK 的扩容技术以来，许多协议已经转向开发基于 STARK 的扩容解决方案。对这些迷人领域感兴趣的所有人，无论是出于学习目的还是任何其他原因想要使用 STARK 技术的人，都将获得最优质的使用工具。

对于那些基于 Stone 的系统，即 Starknet 以及围绕 Starknet 技术推出的应用链来说，会有什么影响呢？请放心！开发者们不会受到任何影响，因为高级 Cairo 语言将与 Stwo 完美兼容。一旦 Stwo 准备就绪，Starknet 生态系统（即用户和开发者们）将无需采取任何额外的措施，就能受益于 Stwo 带来的进阶扩容技术。Stwo 将与编写合约的高级 Cairo 代码以及 [Sierra](https://docs.starknet.io/documentation/architecture_and_concepts/Smart_Contracts/cairo-and-sierra/) 兼容。目前基于 Stone 的 Starknet 验证器也会升级至 Stwo。用户、建设者们和 DApp 将因交易速度提升和手续费降低受益。

总结
==

Stwo 是扩容技术的未来！它将利用让数学爱好者大开眼界的数学突破 — Circle STARK — 造福 Starknet 生态系统。

这款极速、开源的 Stwo 证明器将为 Starknet 开发人员提供全方位的优化证明体验。当然，这也将为用户带来更快、更便宜的交易体验。

建设者们，现在[就来 Starknet 参与建设吧](https://www.starknet.io/en/developers)，以便在 Stwo 推出之时，即刻享受到它带来的扩容益处。

Stwo 将基于 Apache 2.0 许可协议实现完全开源。请在 [GitHub](https://github.com/starkware-libs/stwo) 关注其后续开发进展。

---

*Originally published on [Starknet 中文](https://paragraph.com/@starknet-zh/stwo-prover-stark)*