原文：Why I’m excited by Circle STARK and Stwo 翻译及校对：「Starknet 中文社区」 📑 转载请注明出处 🕹️
本文中间三段（如下）解释 Circle STARK 数学原理及公式，未翻译，详情请 阅读原文
Circle STARK 和 Stwo 为什么令人振奋？
自以太坊推出 STARK 以来，上个月发表的研究成果是最令人兴奋的扩容技术突破之一。这项研究的数学原理很复杂，但使用了经典的圆形 circle（见图 1），将 STARK 的证明能力提高了 100 倍甚至更多。
该研究是由 Polygon Labs 的 Ulrich Haböck 以及 StarkWare 的 David Levit 和 Shahar Papini 合作完成，并将被广泛应用。StarkWare 也很荣幸能通过构建和开源 Stwo 证明器，迅速将其投入实际应用。在本文中，我将尽我所能地以最简单的方式来解释其中的数学原理及其重要性。
图 1
我在 2017 年的斯坦福区块链会议上首次介绍了 STARK 一词。STARK 定义了一套确保计算完整性的协议，特别强调了可扩展性和透明性 — 分别对应 STARK 中的 S 和 T。可扩展性包括快速、低成本地生成和验证计算完整性证明，使公共使用无需依赖大量或昂贵的流程。这一特性对于在不同实体间应用完整性检查至关重要，并推动了 StarkWare 在区块链计算方面的改进。
STARK 的透明性意味着消除「可信设置」；所有程序都基于公开随机性，从而减少了信任假设。这对于维护计算的完整性至关重要，尤其针对那些可能利用系统参数的有影响力的实体。