摘要
递归证明为新颖的、令人惊喜的设计带来了许多可能性
引入L3概念,即在L2上递归构建的应用专用层(application-specificlayer)
L3为应用程序提供特定的服务需求,例如超高可扩展性、对技术栈和隐私更好的管理
目前作为L2解决方案为用户提供服务的StarkEx将迁移到L3
StarkNet的独立实例也将作为L3提供服务
为什么需要L3?
以太坊上昂贵的交易成本驱使其成为L2的结算层。我们(以及其他人)都认为在不久的将来,终端用户会在L2上进行大部分交易活动。因为届时L2上交易成本将大大降低,并出现越来越多支持DeFi的工具以及提供更多流动性。
Andre Cronje:多重签名治理是支撑而不是特色:yearn.finance创始人Andre Cronje发推表示:看到很多项目正在推进“多重签名治理”,就像这是一种特色一样。这是适当治理的权宜之计,但是适当治理需要时间来规划。多重签名不是特色,而是一种支撑。如果团队作为特点宣传这个请三思。[2020/9/8]
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的安全性。
Yam Finance:迁移到YAMv2需要24位小数 而不是18位:数据科学家Svanevik在推特上指出,YAMv2使用的是24位小数,很少有代币会这样(据我所知只有11个)。大多数代币使用18位小数。 对此Yam Finance表示,由于要通过balanceOfUnderlying进行迁移,在无尘转换的过程中需要24位小数。Etherscan目前预测我们使用18位小数,这将会导致在他们的网站上面出现UI错误。 Yam Finance团队正在积极解决这个问题,迁移合约正在正常运行当中。[2020/8/20]
想象一下,用户交易只需要花费一点点gas成本!
L3的主要优点有:
1.超高可扩展性:利用递归证明的乘法效应
2.应用程序的设计者能够更好地管理技术栈
西安市金融风险系列宣传:区块链不是“取款链”:西安晚报今日刊文《区块链≠虚拟货币 虚拟货币≠数字货币 小心被忽悠: 区块链不是“取款链”》,文章指出,随着数字经济的飞速发展,区块链概念受关注度与日俱增,不法分子的贪婪目光也“与时俱进”盯向这一领域,借区块链之名大肆行。陕西省经济发展战略研究会区块链研究中心首席专家郭建琼受访时提示广大市民群众尤其是投资达人,在面对形形色色的区块链概念时,应谨记两大基本概念:首先,不可简单地将区块链概念等同于虚拟货币或数字货币;其次,虚拟货币也不等于是数字货币。搞懂、记牢这两点关键概念,有助于避开大多数的局。(西安晚报)[2020/6/11]
a.更具确定性的性能和成本,
b.定制的数据可用性模型(如,基于Validium的或应用专用型的链上数据压缩)
声音 | OKEX CEO:比特币不是货币,不可能替代货币的社会功能:OKEx CEO Jay Hao刚刚在微博表示,比特币不是货币,它不可能替代货币的社会功能,虽然作为一种数字资产它有发行和流通,但这跟货币是两回事,比特币能解决的是如何更加符合通缩模型的发行,而更加精准的社会流通是货币发行按劳分配的问题。本质上来说,这不是比特币发行机制的问题。[2019/12/11]
c.更快的特性和技术更新速率(如,引入尚未准备好普遍可用的新功能)。
3.隐私:比如,利用零知识证明在一个公共L2解决方案上提供隐私交易服务。
4.更便宜/更简单的L2-L3互操作性:目前在L1和L2之间进行存入/提出资金流是出了名的昂贵。相反,由于L2的成本效益,当这些资金流应用到L3时,它们会变得不仅非常有吸引力,而且十分易于实现。虽然在L2和L3之间转移资产的延迟可能比部署在同一个L2上的应用程序之间的延迟要长,但成本和吞吐量是相当的。
声音 | 刘昌用:成熟的稳定币是公链争夺的对象,公链的一个战场是稳定币,而不是反过来:本体CEO李俊日前表示,随着公链生态的发展,公链的DEFI(去中心化金融)、质押托管等都需要稳定币来进行计价、法币入金。继交易所之后,稳定币的下一主战场将是公链。知密大学发起人刘昌用则认为,公链只是稳定币的载体,公链是开放的,稳定币不需要争夺公链;相反,公链需要争夺能够带来巨大流量的成功的稳定币。“成熟的稳定币是公链争夺的对象,公链的一个战场是稳定币,而不是反过来。”[2019/5/11]
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
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。