摘要
递归证明为新颖的、令人惊喜的设计带来了许多可能性
引入L3概念,即在L2上递归构建的应用专用层(application-specificlayer)
L3为应用程序提供特定的服务需求,例如超高可扩展性、对技术栈和隐私更好的管理
目前作为L2解决方案为用户提供服务的StarkEx将迁移到L3
StarkNet的独立实例也将作为L3提供服务
为什么需要L3?
以太坊上昂贵的交易成本驱使其成为L2的结算层。我们(以及其他人)都认为在不久的将来,终端用户会在L2上进行大部分交易活动。因为届时L2上交易成本将大大降低,并出现越来越多支持DeFi的工具以及提供更多流动性。
L2通过降低每笔交易的gas成本来提高可扩展性,并提高了交易速率。同时,L2保留了去中心化、通用逻辑和可组合性的优点。然而,一些应用程序可能需要某些特殊定制的功能,这由一个新的和单独的层来提供服务可能会更好:L3来了!
L3与L2的关系就像L2与L1的关系一样。只要L2能够支持验证者智能合约(Verifiersmartcontract),L3就可以通过有效性证明(validityproofs)来实现。当L2也使用提交给L1的有效性证明时(如StarkNet所做的那样),这就变成了一个极其优雅的递归结构,因为L3所获得的可扩展性将等于L2交易压缩证明扩大的容量乘以L3交易压缩证明扩大的容量。换句话说,假设每一层的成本降低了1,000倍,那么L3可以在L1的基础上将成本降低1,000,000倍——同时仍然保持L1的安全性。
想象一下,用户交易只需要花费一点点gas成本!
L3的主要优点有:
1.超高可扩展性:利用递归证明的乘法效应
2.应用程序的设计者能够更好地管理技术栈
a.更具确定性的性能和成本,
b.定制的数据可用性模型(如,基于Validium的或应用专用型的链上数据压缩)
c.更快的特性和技术更新速率(如,引入尚未准备好普遍可用的新功能)。
3.隐私:比如,利用零知识证明在一个公共L2解决方案上提供隐私交易服务。
4.更便宜/更简单的L2-L3互操作性:目前在L1和L2之间进行存入/提出资金流是出了名的昂贵。相反,由于L2的成本效益,当这些资金流应用到L3时,它们会变得不仅非常有吸引力,而且十分易于实现。虽然在L2和L3之间转移资产的延迟可能比部署在同一个L2上的应用程序之间的延迟要长,但成本和吞吐量是相当的。
5.更便宜/更简单的L3-L3互操作性:各个独立的L3将通过L2而不是L1执行互操作。L2显然要比L1便宜。如果没有L3,所有方案都将作为L2运作,也就意味着必须通过昂贵得多的L1执行互操作。
6.L3作为L2的“金丝雀”网络:一些新的创新可能会先在L3上进行测试,然后再在L2或L3上向公众开放(就像Kusama为Polkadot所扮演的角色)
多个L3以及分形式多层解决方案
多个L3将构建在L2之上。此外,可能在L3之上构建额外的层(L4等),以形成分形式的多层解决方案(fractallayeringsolutions)。
图1:一个多层的生态系统
图1描述了这种生态系统模型的例子。其L3中包括:
1.使用Validium数据可用性方案的StarkNet,例如,供那些对定价极其敏感的应用程序普遍使用。
2.为实现更好的应用程序性能而定制的应用专用型StarkNet系统,如,通过使用指定的存储结构或数据可用性压缩。
3.具有Validium或Rollup数据可用性解决方案的StarkEx系统(如为dYdX、Sorare、Immutable、DeversiFi提供支持的系统),它们可以立即为StarkNet带来经过战场测试的可扩展性优势。
4.提供隐私交易服务的隐私StarkNet实例(在这个案例中也作为L4),且不需要将这些交易包含在公共StarkNets中。
L3解决方案的构成部分
图2描述了L2的典型基础架构,包括下列几个组成部分:
1.一个在L1上追踪L2状态根的智能合约(如,以太坊上的StarkNet智能合约)。
2.在一个基于有效性证明的L2中,需要一个验证者智能合约来验证状态转移证明的有效性。
3.L1上的桥接合约,用来管理L2上的存取款交易。
4.L2上的代币合约,对应于L1代币合约(如一些ERC20和ERC721代币合约)。
图2:L2的构成
图3描述了L3和它的底层L2/L1之间的关系。通过在L2上实现状态追踪和验证者智能合约,L3可以安全地运行在L2之上。
图3:L3的构成
总结与致谢
L3可以带来超高的可扩展性、更好地管理各种需求的技术堆栈、实现隐私交易等,同时又维持由以太坊(L1)提供的安全保障。它所采用的递归概念可以扩展到分形多层解决方案的附加层中。
目前作为L2解决方案运行的StarkEx将会迁移至L3。此外,StarkNet的实例将作为L3为用户可用。
感谢Polynya和AlexConnolly(Immutable)对本文的评论和校对。特别感谢PierreDuperrin(Sorare)的宝贵见解。
来源|StarkWare
作者|GidiKaempfer
撰文:NikhilBasuTrivedi,Footwork联合创始人兼普通合伙人编者按:本文系风投公司Footwork的联合创始人兼普通合伙人NikhilBasuTrivedi最近采访了50位科.
北京时间周四凌晨3点,美联储公布了12月FOMC会议纪要,除了市场已有预期的加速Taper、提前加息等内容,委员们有关缩减资产负债表的讨论令风险资产再度承压。纪要公布后,美股及加密市场普跌.
去中心化金融是一种冉冉升起的新兴加密货币创新,它打破了银行和边界的桎梏,创造了全新的互联网原生全球金融生态系统.
1月4日,去中心化稳定币应用MakerDAO的创始人RuneChristensen有点愤怒,他在社交媒体公开指责当红公链Terra支持的稳定币UST和MIM为「庞氏局」.
原标题:涉比特币合同的效力应如何认定?北京首例认定比特币“挖矿”合同无效案一审宣判比特币是一种通过特定计算机程序计算出来的虚拟货币,参与者使用专业计算机设备执行特定算法成功后.
原文标题:《TheDefiant’sDefiersof2021》近日,TheDefiant编制了一份定义DeFi和web3年度人物名单.