Stwo证明器：下一代STARK扩展技术已到来

starkware
发布于 2024-03-01 22:49
阅读 12

StarkWare 正在开发一种名为 Stwo 的新 proving 系统，它将实现突破性的 Circle STARK，解锁高效的素数域 M31。Stwo 将从一开始就以 Apache 2.0 开源，包括公共 Starknet 和 Starknet 应用链在内的系统将受益于 Stwo。

![Stwo Prover — 开源，基于 Circle-STARKs](https://img.learnblockchain.cn/2025/05/19/1UHYC9FLH0B47vRRXTJn07A.jpeg)

## Stwo Prover: 下一代 STARK 扩容技术来了

### TL;DR （太长不看版）

- StarkWare 正在开发一种新的超快 prover：**Stwo**。
- Stwo 将实现突破性的 Circle STARK，这将解锁高效的素数域 M31。
- Stwo 将从第一天起以 Apache 2.0 协议开源。
- 随着时间的推移，受益于 Stone prover 的系统，包括公共 Starknet 和 Starknet 应用链，都将受益于 Stwo。

## 解锁 STARK 的下一阶段

下一代 STARK 证明技术来了！ 为了避免大量不请自来的信息，我们将着重于概述，并在其中穿插一些花哨的词语。 我们邀请你进行链接跳转和橱窗购物！

### 面向非数学人士的高层次概述

STARK 扩容的未来即将到来。 在理论方面，与 [Polygon Labs](https://polygon.technology/) 团队的联合研究最终产生了一项突破性的数学创新：[Circle STARK 协议](https://starkware.co/resource/circle-starks/)。 在应用方面，StarkWare 正在开发一种新的超快开源 prover：**Stwo**。 Stwo 将实现新的 Circle STARK 协议以及各种其他优化。 它将充分释放极其高效的素数域 M31 的潜力，从而使 zk-proof 和区块链领域的每个人都受益。

### 面向数学人士的深入探讨

经典的 STARK 协议需要一个代数结构来实现其组成步骤。 最重要的是，它需要一个大小为 p 的素数域，以使 p-1 可被 2 的大幂整除。 为什么？ 为了促进 STARK 协议的两个核心部分：FFT 和 FRI。 这一切都很好，但是这样的约束排除了许多尺寸较小的字段，而这些字段本来非常适合高效计算。 具体来说，它排除了非常有效的梅森素数域 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 调整为几乎所有你能想到的域的机制。

回到我们的故事。 将经典 STARK 协议调整为用于 M31 的需求促成了与 Polygon Labs 团队的富有成效的合作，最终产生了 Circle STARK：一种紧凑、优雅的协议，避免了 ECFFT 论文的繁琐机制。 简而言之：当 p+1 可被 2 的大幂整除时（M31 就是这种情况），素数域上的圆曲线提供了调整 [FFT](https://en.wikipedia.org/wiki/Cooley%E2%80%93Tukey_FFT_algorithm) 和 [FRI](https://learnblockchain.cn/article/10976) 所需的结构。 其余的细节（其中有很多）都在 [论文](https://eprint.iacr.org/2024/278.pdf) 中清晰地阐述。

## 下一代开源 Prover：Stwo

闪亮的新数学不仅仅是为了炫耀。 它还带有一个超快的开源 prover，它将利用 Circle STARK 和各种其他优化来带来前所未有的证明性能。

你问，这种神话生物的名字是什么？ 第一代是 St **one**，所以第二代只能是 S **two**！（发音为“Stoo”）。 现在，你能从中得到什么？

这取决于你是谁。

用户和构建者将受益于下一级的扩容。 zk-proof 和区块链领域将受益于拥有最先进的 STARK 技术的开源实现！ 自从第一个基于 STARK 的扩容技术（于 2020 年 6 月与 StarkEx 一起启动）实施以来，许多协议已开始开发基于 STARK 的扩容解决方案。 任何有兴趣深入研究这些引人入胜的领域（双关语）的人——无论是学习还是出于任何目的使用 STARK——都将拥有最好的工具可供使用。

那么，基于或将基于 Stone 的系统，即 Starknet 和可能围绕它启动的应用链呢？ 没问题。 开发人员将不会受到任何影响，因为高级 Cairo 将与 Stwo 完全兼容。 时机到来时，并且 Stwo 准备好推出时，Starknet 生态系统（即用户和开发人员）将受益于 Stwo 的下一级扩容，而无需做任何事情！ Stwo 将与编写合约的高级 Cairo 代码以及 [Sierra](https://docs.starknet.io/documentation/architecture_and_concepts/Smart_Contracts/cairo-and-sierra/) 兼容。 目前基于 Stone 的 Starknet prover 将使用它。 用户/构建者/dapp 将在延迟和费用方面获得好处。

## 总结

Stwo 是扩容的未来！ 它将利用让数学爱好者惊叹的数学飞跃（Circle STARK）来造福 Starknet 生态系统。

超快的开源 Stwo prover 将在各个方面为 Starknet 开发人员提供优化的证明体验。 而且，是的，这将转化为用户更快、更便宜的交易。

构建者，不要等待 - [立即开始在 Starknet 上构建](https://www.starknet.io/en/developers)，以便你可以在 Stwo 可用后从中获得超强的可扩展性。

Stwo 将从第一天起以 Apache 2.0 协议开源。 请务必[在此处](https://github.com/starkware-libs/stwo)关注其开发。

>- 原文链接： [medium.com/starkware/stw...](https://medium.com/starkware/stwo-prover-the-next-gen-of-stark-scaling-is-here-f7429e764127)
>- 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～

Stwo Prover: 下一代 STARK 扩容技术来了

TL;DR （太长不看版）

StarkWare 正在开发一种新的超快 prover：Stwo。
Stwo 将实现突破性的 Circle STARK，这将解锁高效的素数域 M31。
Stwo 将从第一天起以 Apache 2.0 协议开源。
随着时间的推移，受益于 Stone prover 的系统，包括公共 Starknet 和 Starknet 应用链，都将受益于 Stwo。

解锁 STARK 的下一阶段

下一代 STARK 证明技术来了！为了避免大量不请自来的信息，我们将着重于概述，并在其中穿插一些花哨的词语。我们邀请你进行链接跳转和橱窗购物！

面向非数学人士的高层次概述

STARK 扩容的未来即将到来。在理论方面，与 Polygon Labs 团队的联合研究最终产生了一项突破性的数学创新：Circle STARK 协议。在应用方面，StarkWare 正在开发一种新的超快开源 prover：Stwo。 Stwo 将实现新的 Circle STARK 协议以及各种其他优化。它将充分释放极其高效的素数域 M31 的潜力，从而使 zk-proof 和区块链领域的每个人都受益。

面向数学人士的深入探讨

经典的 STARK 协议需要一个代数结构来实现其组成步骤。最重要的是，它需要一个大小为 p 的素数域，以使 p-1 可被 2 的大幂整除。为什么？为了促进 STARK 协议的两个核心部分：FFT 和 FRI。这一切都很好，但是这样的约束排除了许多尺寸较小的字段，而这些字段本来非常适合高效计算。具体来说，它排除了非常有效的梅森素数域 M31（其中 p=231–1），因为 p-1=2(230–1) 甚至不能被 4 整除。因此，我们陷入了僵局：经典的 STARK 协议不与 M31 混合。

在继续之前，先做一个简短的题外话。几年前，我们偶然发现了类似的问题，尽管动机不同。我们想将 STARK 协议用于两个密码学主流曲线：secp256k1 和 secp256r1。它们每个都使用不同的素数，而这两个素数都不满足上面段落的约束。为了规避这个问题，我们提出了 ECFFT 论文，该论文使用椭圆曲线来为 FFT 和 FRI 提供另一种结构来源。这项研究详细介绍了用于将 STARK 调整为几乎所有你能想到的域的机制。

回到我们的故事。将经典 STARK 协议调整为用于 M31 的需求促成了与 Polygon Labs 团队的富有成效的合作，最终产生了 Circle STARK：一种紧凑、优雅的协议，避免了 ECFFT 论文的繁琐机制。简而言之：当 p+1 可被 2 的大幂整除时（M31 就是这种情况），素数域上的圆曲线提供了调整 FFT 和 FRI 所需的结构。其余的细节（其中有很多）都在论文中清晰地阐述。

下一代开源 Prover：Stwo

闪亮的新数学不仅仅是为了炫耀。它还带有一个超快的开源 prover，它将利用 Circle STARK 和各种其他优化来带来前所未有的证明性能。

你问，这种神话生物的名字是什么？第一代是 St one，所以第二代只能是 S two！（发音为“Stoo”）。现在，你能从中得到什么？

这取决于你是谁。

用户和构建者将受益于下一级的扩容。 zk-proof 和区块链领域将受益于拥有最先进的 STARK 技术的开源实现！自从第一个基于 STARK 的扩容技术（于 2020 年 6 月与 StarkEx 一起启动）实施以来，许多协议已开始开发基于 STARK 的扩容解决方案。任何有兴趣深入研究这些引人入胜的领域（双关语）的人——无论是学习还是出于任何目的使用 STARK——都将拥有最好的工具可供使用。

那么，基于或将基于 Stone 的系统，即 Starknet 和可能围绕它启动的应用链呢？没问题。开发人员将不会受到任何影响，因为高级 Cairo 将与 Stwo 完全兼容。时机到来时，并且 Stwo 准备好推出时，Starknet 生态系统（即用户和开发人员）将受益于 Stwo 的下一级扩容，而无需做任何事情！ Stwo 将与编写合约的高级 Cairo 代码以及 Sierra 兼容。目前基于 Stone 的 Starknet prover 将使用它。用户/构建者/dapp 将在延迟和费用方面获得好处。