原文:What is StarkEx and How Does it Work?
翻译及校对:「StarkNet 中文」社区
同大部分一层区块链一样,以太坊长期以来面临着可扩展性难题,导致吞吐量低、交易时间长以及 Gas 费无法预测。对于需要处理数亿笔交易的去中心化应用程序,可扩展性带来的挑战阻碍了其用户使用基于以太坊的应用。
为解决可扩展性问题,StarkWare 开发了 StarkEx,这是建立在以太坊上的二层可扩展性引擎,专为应用程序设计。
StarkEx 旨在不影响安全性、隐私性、自托管的情况下,大幅度提升以太坊的可扩展性,提供闪电般快速和低 gas 费用的交易。 为了实现该目标,StarkEx 使用了一种先进的密码学系统,即 STARK 有效性证明 (Validity Proof)。
有效性证明能够在链下完成批量交易处理,同时在以太坊主网的智能合约验证交易的合法性。除增加吞吐量外,通过在同一批次的交易均摊 gas 费用,大大降低了使用 StarkEx 的应用程序 gas 费。
StarkEx 的亮点在于可扩展性引擎中的两个关键组件分工合作,即链下 STARK 证明器和链上验证器。验证器计算量相较于证明计算量呈多对数(译者注:即验证所需的计算量增长远低于证明计算量),这就保证 StarkEx 能够同时提供扩展性和计算完整性 (Computational Integrity)。
但它的底层到底是如何运行的?该过程包含四个步骤:
批量处理
验证和更新
生成证明
链上验证
下面我们来逐一分析。
运营商(例如交易所)将多个交易打包到同一个「批次」中,交由 StarkEx 服务处理。然后,将同一批次打包成单个压缩状态更新到链上,并提交一个证明。这样处理效率更高,且减少了必须在链上处理的交易总数。
整个系统交易状态以哈希形式压缩更新。
当批量交易处理完成后,StarkEx 会生成一个 STRAK 证明用于确认交易的有效性。然后将证明和更新发送到链上验证器智能合约来确保交易完整性。
STARK 证明完成验证后,状态更新提交至以太坊,并在以太坊主网上完成结算确认。
所有的交易都是在链下处理和验证,但完整性证明都是在链上进行验证。此外,所有的交易都是私密的,受到后量子安全密码学 (Post-Quantum Secure Cryptography) 的保护。这意味着 StarkEx 的完整性能够抵抗量子计算机 (Quantum Computer) 的攻击。量子计算机不久将有能力打破传统加密算法。
StarkEx 的业绩让人十分惊喜,自 2020 年在以太坊主网上线以来,StarkEx 经过实战测试,达到生产级别,已完成交易量超 2.94 亿笔,累计交易量超 7780 亿美元,铸造超 9000 万个 NFT。所有 StarkEx 平台上已锁定超 5.48 亿美元价值的资产,这也证明了其可靠性、安全性和信任度。
相比于统计数据,更惊人的是 StarkEx 的灵活可变性。
StarkEx 通过 REST API 部署和集成即时可用,只需几周时间即可在主网上发布生产级别应用程序。而 StarkWare 开发富有表现力的零知识证明编程语言 Cairo 更是提升灵活性,让 StarkEx 可以针对特定逻辑定制各种功能。
StarkEx 已承载丰富多样的应用,可以完美说明这一点。
Sorare 是基于以太坊的梦幻体育链游,玩家可以收集、交易 NFT 球员卡,管理虚拟球队。
Sorare 的区块链架构师 Pierre Duperrin 称,Sorare 与 StarkEx 的整合让 Sorare 进入到主流赛道,并为每周公司节省近 100 万美元。
他说「我们希望把资产出售成本控制在 10 或 5 美元,但是高昂的 gas 成本令人望而却步,而如今通过与 StarkEx 的整合,我们已经实现了几乎零 gas 交易」。
自 2021 年 7 月上线以来,StarkEx 已经为 Sorare 平台上近 1600 万笔交易提供支持,促成超 7.9 亿美元的交易量。
Immutable 是以太坊链上专为 NFT 打造的二层解决方案。其使命是为下一代 Web3 游戏提供动力,Immutable 利用 StarkEx 为玩家提供无缝的游戏体验、零 gas 费、完全碳中和的 NFT 铸造及交易。
迄今为止,StarkEx 已经为整个 Immutable 生态系统处理 NFT 交易 1.55 亿笔,总交易量超 3.61 亿美元,其中包括 Gods Unchained、Guild of Guardians、GameStop 等 Web3 游戏和交易市场。
dYdX 是一个非托管型的去中心化金融 (DeFi) 交易所,为超 35 种加密货币提供永续合约交易。为了给用户提供最好的交易体验,dYdX 移植到了 StarkEx 架构上,进一步降低交易费用、交易最低限制、全仓保证金交易、即时交易结算,以及最重要的资产自托管。
「有效性证明 Rollup 在链上提交交易,降低每笔交易所需的 gas 费用。因此我们能够全面降低交易费用,并将节省下的费用转还给交易用户。」dYdX 创始人兼 CEO Antonio Juliano 说道。
所有这些还仅仅只是开始。
随着分片技术逐步提升以太坊的效率和性能,StarkEx 也将继续优化,进而提升合作伙伴生态系统中的开发者和用户体验。同时,StarkEx 团队将始终秉持创新、跟进最新技术进展、一丝不苟地构建最优秀的产品。