详解 Circle STARK 和 Stwo：证明器性能提升百倍

摘要： 自以太坊推出 STARK 以来，上个月发表的研究成果是令人兴奋的扩容技术突破之一。这项研究的数学原理很复杂，但使用了经典的圆形 circle，将 STARK 的证明能力提高了100...

来源：Starknet 中文

引言

本文中间三段（如下）解释 Circle STARK 数学原理及公式，未翻译，详情请阅读原文：

• STARK 效率意味着小数字

  (WEEX交易所官网：www.weex.com)

• 效率意味着优化乘法结构

• 走出思维定势（域）

Circle STARK 和 Stwo 为什么令人振奋？

自以太坊推出 STARK 以来，上个月发表的研究成果是***令人兴奋的扩容技术突破之一。这项研究的数学原理很复杂，但使用了经典的圆形 circle（见图 1），将 STARK 的证明能力提高了 100 倍甚***更多。

该研究是由 Polygon Labs 的 Ulrich Haböck 以及 StarkWare 的 David Levit 和 Shahar Papini 合作完成，并将被广泛应用。StarkWare 也很荣幸能通过构建和开源 Stwo 证明器，迅速将其投入实际应用。在本文中，我将尽我所能地以***简单的方式来解释其中的数学原理及其重要性。

STARK 的可扩展性与透明性

我在 2017 年的斯坦福区块链会议上***介绍了 STARK 一词。STARK 定义了一套确保计算完整性的协议，特别强调了可扩展性和透明性 — 分别对应 STARK 中的 S 和 T。可扩展性包括快速、低成本地生成和验证计算完整性证明，使公共使用无需依赖大量或昂贵的流程。这一特性对于在不同实体间应用完整性检查***关重要，并推动了 StarkWare 在区块链计算方面的改进。

STARK 的透明性意味着消除「可信设置」；所有程序都基于公开随机性，从而减少了信任假设。这对于维护计算的完整性***关重要，尤其针对那些可能利用系统参数的有影响力的实体。

可扩展性和透明性共同定义了 STARK 技术的核心，提供了安全、可扩展、透明且公开的验证方法。确保证明系统遵循这些原则对于维持有效、可靠的运行***关重要。无论你称呼你的系统为 STARK 还是其他名称，都请留意「可扩展性」和「透明性」双管齐下带来的显著优势，并询问你的本地证明提供者，其证明系统是否同时具备这两个特性。

从 Circle STARK 到 Stwo？

Stwo（即 STARK Two）是 Starknet 新一代证明器，旨在增强、加速，并***终取代当前的证明器 — Stone（即 STARK One）。Stwo 的效率预计将是 Stone 的 100 倍，将会使用基于 M31 的 Circle STARK 技术（如上所述）以及更多其他技术。其他的创新还包括 log-up 和总求和检查协议（如 Haböck 和 Papini 的***新研究成果）、同时处理多个不同次数的多项式（「混合次数」）以及用于编码电路和虚拟机的新基础设施。因此，除了预期 STARK 证明规模将提升*** Stone 的 100 倍之外，我们还能期待 Stwo 带来的更多其他优势，如更灵活地采用新编译器和虚拟机，从而提高开发速度。点击了解有关 Stwo 的更多信息。

网络成本大幅降低的计划蓝图涉及降低交易费用的机制，其中部分机制将立即生效。该计划包含多个步骤，其中部分步骤正同步推进中，将从多个方面解决交易费用昂贵的问题。

KZG 承诺与基于配对的 SNARK？

KZG 承诺是 Stone、Stwo 以及其他 STARK 使用的 FRI 协议的主要竞争对手，也是许多基于配对的 SNARK 的数学基础。其主要优势在于***终证明的***简洁性，仅需要约 200 字节（而 FRI 和当前的 STARK 则需要好千字节）。其另一个优势是，通过针对特定 KZG 参数设置的预编译形式，在以太坊上获得优化支持，并通过 DankSharding 集成到核心以太坊协议中。这些优化支持解释了为什么许多 STARK 系统（如 Polygon、RiscZero 和 ZKsync 所使用的）***终会被封装在一个 SNARK 内部 — 目的是为了利用以太坊特定的预编译优化支持。只要对某些证明系统存在特定的优化支持，团队就会考虑将他们的 STARK 封装在 SNARK 内部，可以预期会有更多类似的情况发生。但是，与 KZG 安全素数相比（当前***佳实践要求这种素数超过 380 字节！），M31 的乘法运算速度要比其快 100 倍甚***更多，因此 KZG 和基于配对的系统在规模和吞吐量方面不太可能像 Stwo 那样高效。虽然椭圆曲线数学领域和基于配对的 SNARK 的创新范围之美令人叹为观止，但我们应该记住，这种 SNARK 不仅效率低下，而且需要可信设置，容易受到量子计算机的攻击。换句话说，就效率、安全性以及对未来的适应性方面，基于小型有限域的 STARK 是更好的选择。

***后的一些感想

Circle STARK 标志着 STARK 技术领域取得了激动人心的进步，已从理论走向实践。Circle STARK 也是日益复杂的 STARK 证明不断发展的***新里程碑。随着我们向前发展，这些证明将面临新的挑战，并将开启我们所未曾设想的应用领域。

看到深奥且魅力十足的数学被应用于系统中，为区块链的扩容带来指数级的增长，真是令人感到格外兴奋。区块链领域中的 ZK 技术不止一次地采用了前沿的「月亮数学」，并以此打造出创新产品。例如，Zcash 部署了***为通用电路部署的 ZK-SNARK 系统，可在区块链上提供金融隐私；STARK 是以太坊上***种***高效的未来证明扩容技术；Cairo 是用于编写可证明代码的新一代智能合约语言。因此，对于见证 Circle STARK 和 Stwo 还将解锁出哪些超出预期的奇妙应用和新颖数学，我感到非常期待！

WEEX唯客是一家安全易用的加密货币交易所，由新加坡***区块链投资机构斥资1亿美元打造，注册用户超百万，日均交易额超15亿美元，已获得美国MSB、加拿大MSB、SVGFSA金融牌照。

WEEX唯客平台所有数据皆于海外数据库严格保存，服务器多地部署和备份，并采用满足银行级安全需求的亚马逊AWS及高速高稳定性的香港CDN，为全球用户提供***安全、***专业、***具隐私性的交易服务。

WEEX唯客是全球交易深度***好的合约交易所之一，位居CMC交易所流动性排名前五，订单厚度、价差领先同行，微秒级撮合，零滑点、零插针，***大程度降低交易成本及流动性风险，让用户面对极端行情也能丝滑成交。

在WEEX唯客，用户不仅能享受行业***低的交易手续费（Taker 0手续费，Maker 0.06%），还可零门槛一键跟随专业交易员操作，复制高手的交易策略，平台严格甄选数5,000多名***交易员供用户挑选。

为保障用户资金安全，WEEX唯客设立了1,000 BTC投资者保护基金，以在非用户自身原因的情况下有效补偿用户资金出现的意外损失，并公示资金池热钱包地址，让用户交易安心无忧。

WEEX官网：weex.com

你也可以在 CMC｜Coingecko｜非小号｜X (Twitter)｜中文 X (Twitter)｜Youtube｜Facebook｜Linkedin｜微博 上关注我们，***时间获取更多投资资讯和空投福利。

在线咨询：

WEEX华语社群：https://t.me/weex_group

WEEX英文社群：https://t.me/Weex_Global