金色观察｜速览以太坊扩容方案StarkEx和StarkNet

CryptoEQ.io联合创始人MT 2月10日发长文总结StarkWare推出的 以太坊 Rollup扩容解决方案StarkEx和StarkNet，内容见下：

1、首先介绍Starkware产品的一些优点和缺点

优点：

• 与乐观Rollup相比，TPS增加（在Ropsten测试网上约9000+ TPS）

• 更快的提款（无挑战期），实现更好的资本效率和流动性

• Validiums （下面讨论）

2、缺点

• 开发人员的用户体验和将dApp从L1移植到L2比乐观Rollup选项更具挑战性

• Cairo语言在开发人员中不太受欢迎 = 在Starkware上建设的人才更少

• 使用Starkware的Validium选项，解决DA问题存在技术挑战。

3、StarkWare是一家ZK-rollup公司，它在2018年率先推出了基于零知识的Rollup，于2020年推出了StarkEx，最近于2021年11月发布了StarkNet alpha。有什么不同？

4、StarkEx支持智能合约，具有为交易和NFT等特定用例运行任意逻辑的能力，而StarkNet支持更一般的用例。

5、StarkEx是Starkware的“可扩展性引擎”第一个迭代，现在支持两个版本：zkRollup模式和validium模式。Validiums可以定制，为特定的dApp和用例提供卓越的性能，如deversifi、Immutable和Sorare

6、StarkNet紧随其后，是第一个在完全可组合的网络上提供通用智能合约的ZK-rollup。可组合性是指应用程序协调、构建和互连的能力——StarkEx并非为此而设计的。

7、在底层，StarkNet将数千个交易压缩成一个名为“STARKs ”（可扩展的透明知识论证）的有效性证明，由Starkware主席EliBen Sasson共同发明，并提交给 Ethereum L1主网。

8、与SNARK相比，STARK技术有两个主要优势： 它不需要初始可信设置（如在zkSync v1 中）；它们的计算速度比SNARK快约10倍。

9、因为验证STARK证明所需的计算工作量明显少于实际证明计算，所以StarkNet可以将以太坊的可扩展性提高几个数量级。

10、StarkNet的L2排序器将执行每笔交易并定期将状态更新到以太坊主网。需要注意的是，StarkNet的交易最终确定性与L1相关联，这意味着L2节点必须同时验证StarkNet和以太坊。

11、StarkNet向以太坊主网引入了一个涉及检查点的解决方案，使其能够非常快速地在rollup方面实现有效的最终确定性。因此，所有L2节点都包含一个L1全节点。

12、由于状态转换是由定序器“STARK批准”的，因此在L1以太坊上不可能接受欺诈性交易。这消除了乐观Rollup中存在的任何“挑战”期的需要。重建完整状态所需的所有数据都在链上发布。

13、Validiums：Validium的机制几乎与ZK-rollup相同，不同之处在于ZK-rollup中的DA是链上的，而Validium保持在链外。这意味着ZK在L1上发布数据，而Validium在链上发布有效性证明，但数据保留在单独的网络上

14、这使Validium能够实现比ZKRU或乐观Rollup更高的吞吐量。通过在链下而不是链上发送数据，它降低了每笔交易的成本并增加了每秒交易量 (TPS)。

15、在链下存储数据的权衡是，它需要对第三者的信任，第三者可能会阻止用户访问他们的账户。Starkware通过数据可用性委员会解决了这个问题，该委员会由8名成员组成，他们拥有自己的交易副本。

16、他们还需要通过随时提供这些数据来维护这些数据。如果运营商阻止用户访问他们的资金，委员会成员可以推翻他们确认用户的请求，如果请求有效。

17、多个项目使用Starkware的StarkEx平台启动了Validiums，包括：

• DeversiFi DEX - 2020年6月

• immutableX - 2021年4月

• dydxprotocol DEX - 2021年4月

• Sorare Fantasy Soccer - 2021年7月

  

18、路线图：StarkNet使用由Starkware团队开发的一种名为Cairo的新编程语言。它是一种实现图灵完备的STARK编程语言。

19、Cairo仅允许一个验证者使用单一证明来确认许多不同程序执行的完整性。这具有在不同的dApp之间摊销成本的效果，例如，包括DYDX交易和SoRare交易的单一证明。

20、StarkNet的推出将遵循与Optimism (OR) 类似的路径：在早期使用单个排序器和dApp白名单启动网络，以控制启动并限制任何风险。可以在此处找到在StarkNet上构建的项目列表。

21、最终，Starkware希望将生态系统发展为Starknet “宇宙”，同时去中心化网络、节点和基础设施。

22、Starkware和OKEx于2021年12月宣布建立合作伙伴关系，旨在实现StarkNet的轻松入金（约在2022年第二季度）

以太坊智能合约钱包Argent也宣布了StarkNet的第一个钱包“ArgentX”

Aave目前有一项治理提案要在StarkNet上启动

23、这样就组成了Starkware生态系统！

我们掩盖了很多内容，包括Rollup和ZK技术的基础知识。如果你需要学习，可以在此处找到所有关于L2 、 ETH 扩容、 TheMerge等更多方面的内容。