织梦CMS - 轻松建站从此开始!

如何购买比特币_2020年如何购买比特币_支付宝如何购买比特币

当前位置: 主页 > 比特币怎么购买 >

Vitalik:以Rollups为中心的以太坊路线图

时间:2020-10-16 05:02来源:未知 作者:admin 点击:
广告位API接口通信错误,查看德得广告获取帮助

Optimism团队不久前发布了其测试网的第一阶段及其通向主网的路线图。除此之外Fuel也在推进测试网进程Arbitrum也已经登陆测试网。在ZK rollup领域中Loopring、Zksync以及基于Starkware技术的Deversifi已经正式在主网上线并且聚集了一定的用户。随着OMG network推出其主网bata版本plasma也有所进展。与此同时eth1链上的gas费已经达到了新高以至于非金融类dapps被迫停止运行其他应用也只能在测试网中运行。

Eth2的发展目标之一就是增强扩容性我们已经非常接近eth2前期阶段了但要为应用提供基础层扩容性我们还需要等到数年之后eth2最后一个主要阶段 (译者注:即阶段2) 的实现。讽刺的是eth2作为rollups数据可用性层的可用性在阶段1就能实现而在许久之后eth2才能真正用于“传统”的L1应用。将这些事实结合起来我们可以得出一个结论:以应对近期和中期的扩容性需求整个以太坊生态系统需要将发力点集中到rollups上 (以及plasma和通道技术)。

如果以此为前提我们就能得知以太坊中心开发和生态系统发展应该优先考虑的问题而这多多少少与当前的发展路径有所不同。那么我们应该优先考虑哪些问题呢?

在短期内这样做的一个主要结果在于:针对以太坊基础层的扩容工作将主要集中于扩大区块的数据容量而不是优化链上计算或IO操作的效率。Rollup扩容性的决定性因素在于该链能包含多少数据okex如果能够在当前约60 kB/秒的基础上有所提升rollups的扩容性则能得到进一步优化。

在基础层上以下因素需要持续重视:

EIP 2929:在当前gas情况下保证以太坊区块链能够抵御DoS攻击

EIP 1559:一是推动ETH销毁二是优化交易效率并且几乎能够确保交易被打包到下一个区块中 (rollups仍然需要等待确认)

新的椭圆曲线预编译以实现对ZK rollups编程的完全支持

无状态客户端的相关工作欧科包括从十六进制树转换为二进制树等 (无论我们如何使用以太坊区块链无状态客户端都非常有意义)

账户抽象 (account abstraction) 不太迫切因为无论L1是否支持我们都能在L2上实现。还有其他“巧妙的基础层功能”目前相对来说都没那么重要。

Eth1客户端可以被重新定义为optimistic rollup客户端。Optimistic rollups仍然需要全节点并且如果rollup的内部状态转换规则本质上仍然是以太坊式的只是进行了一些修改 (例如Optimism的目标)那么我们可以使用现有代码来运行全节点。目前eth1+eth2合并工作已经实现将共识引擎从状态转换引擎中分离出来而这项工作也有助于达成该目标。请注意这也意味着类似TurboGeth的项目仍然非常重要buy ethereum高吞吐量的rollup客户端 (而非eth1客户端) 将成为最大受益者。

目前用户的账户、ENS域名、以及应用等等都在L1上这些都需要改变。我们要将用户的主要账户、余额、资产等等都放在L2中。随之而来的是以下几个需求:

ENS needs to support names being registered and transferred on L2; seehere 54for one possible proposal of how to do this.

ENS需要对在L2上注册和转移的域名提供支持此处是一个可能的相关提案。

Layer 2协议应该被集成到钱包中而不是网页版的dapp中。目前集成了L2的dapp或是类dapp (例如集成zksync的Gitcoin) 都要求用户完全信任该dapp这导致安全性大打折扣。要维持当前的信任模型L2成为钱包本身的一部分 (metamask, status等等) 是最理想的情况。这类支持应该进行标准化因此支持zksync支付的应用也能随即兼容内置zksync的钱包。

加大跨L2转移的工作力度目标是能够即时、无缝进行跨L2链的资产转移。

对Yul或其他中间编译语言进行更加明确的标准化。以太坊的基础层EVM和Optimism rollup所使用的OVM作为编译目标稍有不同但都可以由Solidity编译而成。为了使生态系统存在不同的编译目标但同时还要接受不同的语言避免Solidity的单一化使用因此更明确地对所有高级语言都能编译的中间语言 (例如Yul) 进行标准化或许是有意义的。我们也可以考虑对形式验证友好的中间语言能够处理诸如变量之类的概念还能保证基本不变量从而使所有被编译的高级语言都更易进行形式验证。

加密货币项目必须具备经济上的可持续性这是无法回避的事实比特币区块链浏览器在2020年这意味着数百万甚至数千万的融资金额。其中的一部分能够由公共物品募资平台提供 (如Gitcoin Grants或以太坊基金会)但这些机制的规模不足以覆盖这个等级的融资。但是Layer 2项目能够通过发布自己的代币来解决这个问题前提是其代币具备真正的经济价值即未来L2所捕获到的价值。

如果路线图以rollup为中心随之而来的另一个好处是为L2协议留出了开阔的空间这些L2协议有能力通过收费或是MEV形式来获取发展资金无论是直接还是间接地 (即代币发行)。

以太坊

基础层非常需要保持中立这就使得在协议内进行公共物品募资 (publicgoodfunding) 变得十分困难但L2具备自己的公共物品募资机制这样一来争议就会大大减少。因此在这个方面留出空间对于整个以太坊长期的经济可持续性来说可能是一个不错的战略举措。

除了募资问题具有创造力的研发人员通常都倾向于在他们自己的领域中拥有影响力而不是针对以太坊的整体协议进行无足轻重的争辩。此外有许多现有的项目正在尝试创建各种平台。以rollup为中心的路线图使得所有这些项目有机会成为以太坊生态系统的一部分同时仍能保留高度的经济和技术自主权。

除了上文提到的短期考虑外路线图以rollup为中心还可能意味着我们要重新构想eth2的长远未来:每个人都可以进行处理的强安全性单一执行分片以及可扩容的数据可用性层。

要理解为什么是这样需考虑以下因素:

当前以太坊的TPS约为15

如果大家都迁移到rollups上TPS很快可以达到3000

一旦阶段1到来rollups的数据存储迁移到eth2分片链上理论上TPS最高能达到10万左右

最后阶段2实现之后为eth2分片链提供本地计算TPS达到……1000-5000

这意味着eth2的“phase 1.5 and done”道路精简基础层并且工作有所侧重即共识和数据可用性。

实际上这对于eth2来说是更好的发展方向因为分片数据可用性相对分片EVM计算要安全得多。虽然分片EVM计算的不诚实多数证明 (dishonest-majority-proof) 验证需要欺诈证明这需要有潜在风险且严格的2 epoch同步假设但在异步情况下数据可用性采样 (如果使用ZKP或多项式承诺) 是安全的。

这将有助于以太坊拥有比其他分片型L2链更强壮的安全模型而这些分片型L2链都朝着某种形式的分片执行方向发展;eth2将是功能强大的基础层强大到足以提供功能逃逸速度(functionality escape velocity) 就足够了。

将不同分片的出块时间错开从而保证每几百毫秒内都会有某个分片提议区块。这使得在多个分片上运行的rollups拥有极低的延迟性而链本身没有超低延迟的风险

优化并巩固共识算法

对EVM进行改动使其对欺诈证明验证更加友好 (例如这可能意味着某种“框架”功能可防止代码脱离沙盒或允许将SLOAD / SSTORE重新映射使其能够使用除账户存储之外的其他数据源)

对一切进行ZK-SNARK

如果你并没有被说服接受“phase 1.5 and done”这个发展方向也有自然的折衷方案:使用少量分片作为执行层 (例如4-8个)其他的分片则作为数据层。目标是使执行分片的数量足够低以至于在特殊情况下常规计算机将能够对所有分片进行完全验证但是与当前的基础层相比其空间仍然要大得多。

基础层空间不能被最小化太多因为用户和应用程序仍然有需求例如:在rollups之间切换、提交欺诈证明、在ZKrollups中提交零知识证明、发布ERC20代币根合约 (确保大多数用户将在rollups中活动但基础合约必须有安放之处)。如果每笔交易的成本为140美元则大大破坏了用户体验。因此如果有必要的话使用4-8个执行分片可以显著减轻负担。一台计算机设备仍然可以验证所有分片。如今验证每13秒产生的eth1区块大约需要200-500毫秒因此在短时间内验证这种执行的八个线程是完全可行的。我们可以想象客户端采取这些规则:如果网络延迟很低或者委员会人数> 80%则可以依靠欺诈证明和委员会而在特殊情况下直接验证所有分片。

参考资料:

Vitalik Buterin在ETHOnline上的相关演讲

okex (责任编辑:admin)
织梦二维码生成器
顶一下
(0)
0%
踩一下
(0)
0%
------分隔线----------------------------
发表评论
请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
评价:
表情:
用户名: 验证码:点击我更换图片
广告位API接口通信错误,查看德得广告获取帮助