StarkWare：欲构建ZK“宇宙”

StarkWare是一家ZK公司，专注于为以太坊规模化构建基于ZK的rollup解决方案。他们的第一款产品StarkEx于2020年推出，并于2021年11月发布了具有更多功能的StarkNet。

StarkEx是一个独立的ZK-rollup SaaS产品，通过智能合约为某些应用提供特定的用例，如交易(dYdX)、NFT (ImmutableX, Sorare)和DeFi (DiversiFi)。StarkNet是下一个迭代，是一个无需权限、去中心化和完全可组合的网络。可组合性指的是应用程序相互连接、协调和构建在彼此之上的能力。

StarkWare构建了一个新技术，将数千笔交易压缩成一个名为STARK的单一有效性证明，并提交给以太坊L1。与SNARK相比，STARK主要有两个优势：

乌克兰数字转型部部长：埃隆·马斯克的Starlink在乌克兰获得运营商执照:6月9日消息，乌克兰数字转型部部长表示，埃隆·马斯克的Starlink在乌克兰获得运营商执照。（金十）[2022/6/9 23:02:49]

它不需要初始信任设置。

有比SNARK更快的计算时间。由于所需的计算量更少，它可以将以太坊的可扩展性提高几个数量级。

StarkWare堆栈主要由共享证明者(SHARP)和验证者(存在于L1上)组成。SHARP捆绑了来自不同dapp的多个交易，并生成一个证明。然后它与L1上的验证者共享证明。这节省了成本，因为计算是在不同的应用程序之间共享的。验证者检查SHARP证明是否有效。如果是有效，那么它们将在Fact Registry 共享。该应用程序可以与StarkEx接口或直接与SHARP (StarkNet应用程序)连接。

Stablecoin供应量月内下降300亿美元，创历史最大单月降幅:金色财经报道，6月2日消息，Stablecoin的总供应量在过去一个月减少了300亿美元，这是加密市场历史上此类货币的最大降幅。包括Tether(USDT)、USDCoin(USDC)、BinanceUSD(BUSD)、DAI、UST、Paxos(PAX)等在内的Stablecoin的供应量在5月份下降了16%，降至1600亿美元。一个月前，Stablecoin总供应量仍处在1900亿美元的关口。（CryptoRank）[2022/6/3 3:59:29]

StarkNet的L2节点(序列器)将执行每一笔交易，并定期向以太坊主网更新状态。需要注意的是，StarkNet的交易最终性与L1绑定，这意味着L2节点必须同时验证StarkNet和以太坊。StarkNet引入了一个涉及到以太坊主网检查点的解决方案，使其能够非常快速地在rollup端实现有效的终结。因此，所有L2节点都包含一个L1完整节点。

LayerZero旗下跨链桥Stargate Finance曾出现漏洞，目前已修复:3月29日消息，区块链互操作性协议LayerZero联合创始人兼CTO/img/202281323857/3.jpg" />

新技术带来新要求。Cairo是专门为STARK构建的一种图灵完备的编程语言。它在性能和可扩展性方面更好，但这是非常新的。许多开发人员不熟悉它，这使得现有的应用程序很难迁移到StarkNet上。由Nethermind开发的Warp是Cairo transpiler的EVM。Warp允许将Solidity合约无缝转换为Cairo。

Cairo语言的一个突破在于，它只允许一个验证者使用一个证明来确认许多不同程序执行的完整性。

与OR的7天等待时间相比，StarkNet不仅有更快的提款窗口，而且底层架构也有所不同。StarkNet使用的是“无状态”，你只需要在L1上存储整个状态的状态根，用户需要提供Merkle证明来访问特定的状态项。OR遵循一个“有状态”的解决方案，其中每个状态项都被记录在链上。这将导致更大的状态膨胀，并可能在未来被采用时会被证明不能很好地扩展。

就从可扩展性的角度来看，ZK - rollup比OR的性能更高，因为它们更有效地压缩数据，这意味着提交给L1时，它们的“批次大小”更小。OR的每笔交易都将数据发布到以太坊L1上， StarkEx只发布到以太坊L1以反映每个账户余额。由于这种方法，dYdX与L1的交互仅为Optimism的20%，相当于大约减少了90%的费用。

StarkWare生态系统正在成长。随着在StarkNet上部署无需许可，许多开发者都表现出了兴趣。StarkEx的开放生态系统和丰富的文档使开发人员很容易实现它。在StarkNet上进行DeFi Pooling是可能的。它允许用户在L2上存在，而DeFI仍然在它诞生的L1上，许多令人兴奋的东西正在被构建。StarkNet上已经出现了许多游戏和NFT游戏项目。

StarkNet将遵循与Optimism类似的路线：用一个序列器和有限的dapp白名单尽早启动网络，以控制启动和限制风险。最终，StarkWare希望将生态系统发展成一个StarkNet“宇宙”，同时还将网络、节点和基础设施去中心化。多个L3会在L2之上。此外，额外的层(L4等)可以建立在L3上的分形分层解决方案。

StarkNet似乎解决了区块链的三难困境：可扩展性、去中心化和安全；三者可同时发生。它展示了使用ZK -rollup扩展以太坊的前景。以太坊已经拥抱了一个以rollup为中心的未来，用户在L2上交易，L1作为结算层。EIP-4488将进一步降低rollup的交易成本。拥有大量支持的StarkNet似乎是一个强大的L2未来竞争者，由于Cairo是一种不太受开发者欢迎的新语言，StarkWare能吸引多少人才还有待观察。对于Validium，我们必须信任L2的数据可用性。尽管存在这些挑战，StarkWare已经展示了如何使用STARK提供有效的解决方案来扩展以太坊。这是一个值得期待的项目。

Source：https://medium.com/coinmonks/starkware-building-zero-knowledge-scaling-solution-c0b930faab6a

标签：STASTARARKSTARKStarMon TokenSTARPARKWen MarketingStarkMeta

中币交易所热门资讯