金色观察|速览以太坊扩容方案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等更多方面的内容。