听V神讲述,那些以太坊没有走的路_NGC:ENT

原文标题:《Theroadsnottaken》

原文作者:VitalikButerin

原文来源:VitalikButerin官网

原文编译:Kxp,律动BlockBeats

Ethereum协议开发社区在Ethereum的早期阶段做出了很多决定,对项目的发展轨迹产生了重大影响。在有些情况下,Ethereum开发者做出了理智的决定,解决了Bitcoin遇到的一些问题。而在其它一些情况中,我们也在创造全新的东西,利用诸多选择填补过往的空白。还有些时候,我们需要在复杂与简易之间做出权衡,因为二者分别适用于不同的情景。

本篇文章我将介绍一些分叉功能,其中很多都在核心开发者的圈子当中认真讨论过;但剩下没有讨论的功能此时此刻也应该被提上日程。同时,我们也期待看到一个不同的Ethereum,并从中学到新的东西。

我们是否应该采用一个简易版的权益证明

Ethereum很快将合并到的?Gasper?权益证明系统虽然复杂,但却功能强大,具有以下特性:

强大的单区块确认——一旦交易被纳入区块,通常在几秒钟内,该区块就会被固化。除非有很大一部分节点诚信度低,或者存在极端的网络延迟,否则它无法被逆转。?

经济确定性——一旦区块最终确定下来,在攻击者没有损失数百万ETH的情况下,它也不可逆转。?

可预测性高的回报——验证者在每个周期都能获得可靠奖励,减少了对资金池的激励。?

支持较多数量验证者——与其他大多数具有上述特性的链不同,Ethereum信标链支持数十万的验证者。

但制作一个具有这些特性的系统相当困难,需要进行多年的研究,经历无数次的失败,并花费大量的精力,而且最终结果也会非常复杂。

投资者仍未收到YouTube网红承诺的1000枚ETH退款:金色财经报道,YouTube网红LoganPaul在2023年1月对于NFT游戏CryptoZoo的1000枚ETH退款承诺仍未完成,投资者仍未收到任何退款。[2023/8/21 18:11:51]

如果我们的研究人员不需要太考虑共识,并且有足够多的精力的话,那么也许rollup在2016年就已经被发明出来了。这就让我们不禁反思:我们的权益证明真的应该有这么高的标准吗,因为即使是一个简单弱化版本的权益证明就会比我们目前的工作证明要好得多。

很多人都存在一个误解,认为权益证明本身就相当复杂,但实际上有很多权益证明算法几乎和NakamotoPoW一样简单。NXT的权益证明在2013年就出现了,是一个天然的候选方案;虽然它也有问题,但这些问题很容易被修补,而且我们本可以从2017年,甚至从一开始就有一个运作良好的权益证明。Gasper之所以比这些算法更复杂,只是因为它尝试完成的任务比它们多得多。但是,如果我们在一开始就加以谨慎,我们本可以先集中精力实现一些更可能完成的目标。

在我看来,从一开始就采用权益证明并不是一个正确的做法;PoW有助于扩大最初的发行分布,改善Ethereum的可访问性,并促进业余爱好者社区的发展。但在2017年,甚至2020年,改用更简单的权益证明却可以更好的保护环境,同时也能让研究人员更好地专注于扩展问题。我们最终还是需要耗费大量资源来制作一个更好的权益证明,从目前情况来看这会是一个必然结果。

分片的去复杂化

自2014年开始研究Ethereum分片以来,我们一直在着手解决去复杂化的问题。之前的复杂分片具有内置执行和跨分片交易功能,而之后我们简化了协议,将更多的责任转移到用户身上。然后,我们转向了以rollup为中心的路线图,从协议的角度来看,分片只是数据的集合体。最后,通过danksharding,我们可以将分片收费市场合二为一。这样一来,最终设计虽然看起来像是一个非分片链,但其背后进行的数据可用性采样却能使分片验证成为现实。

21co研究总监:Uniswap暗示他们将很快推出v4:金色财经报道。21Shares母公司21.co研究总监elindinga表示,Uniswap暗示他们将很快推出v4,与第三方解决方案相比,在DEX层集成此功能更有意义。[2023/6/11 21:30:18]

但如果我们选择了一条与之相反的路径呢?实际上Ethereum的研究人员曾花大量时间探索了一个更复杂的分片系统:分片将成为链,在分叉选择规则中子链依赖于主链,跨分片消息会被协议路由,验证者会在分片之间轮换,甚至应用程序也会在分片之间自动完成负载平衡。

这种方法的问题在于:这类形式的分片基本还只是一些想法和数学模型,而Danksharding则是一个完整且可供实施的规范。因此,鉴于Ethereum的种种限制因素,在我看来,分片的简化和去歧义化绝对是正确之举。尽管如此,我们还是应该投入更多精力开展研究,因为它可以帮我们确定有前景的研究方向。一般来说,即使是非常复杂的想法也其简易的版本,且依然能为我们带来很多帮助,同时还很有可能在未来几年内左右Ethereum的协议发展方向。

我们应增加还是减少EVM中的功能

除了安全审计功能之外,EVM的规范在2014年中之前就可以推出。不过,在之后的几个月里,我们一直在积极探索对去中心化应用区块链有用的新功能,具体如下:

1.我们之前想增加一个POST操作码,但后来还是决定放弃了。POST操作码会进行异步调用,而该调用在交易完成后才会执行。

2.我们之前还想添加一个ALARM操作码,但后来也放弃了。ALARM的功能类似于POST,只是它能在在未来的某个区块中执行异步调用,让合约能提前规划操作。?

3.我们添加了日志,它可以让合约输出不涉及状态,但可以被DApp接口和钱包读取的记录。不过,我们也考虑过让ETH转账发出日志,但还是放弃了,因为我们觉得「反正人们很快就会转到智能合约钱包」。?

Chainge Finance发起提议收购Celsius资产与负债并将其立即去中心化以解决其流动性问题:据官方消息,跨链流动性协议Chainge Finance已于昨日向Celsius正式发起对其资产与负债的收购邀约,计划在交易达成后通过Chainge向该协议注入流动性,并利用Chainge应用将所有用户资产立即分配到用户自己的地址,以解决目前所有Celsius用户无法提币的困局。[2022/6/22 4:44:37]

4.我们考虑过扩大SSTORE以支持字节数组,但后来由于担心其复杂性过高和安全性不足而选择了放弃。

5.我们增加了预编译合约,它们可以用比EVM更低的Gas费,用原生方式执行特定的Crypto操作。

6.在发布后的几个月里,我们反复考虑了状态租用问题,但囿于它的复杂程度我们并未把它包括在内。如今,人们正在积极探索更好的状态过期方案,尽管无状态验证和提议者/构建者分离比它重要的多。

今天来看,我们基本上都做出了正确的决定,我们也确实不需要增加POST操作码,也很难保证ALARM操作码的安全性字节数组SSTORE的安全性也很难实现,而且会扩大最坏情况下的见证规模。

状态租用问题更具挑战性:如果我们从第一天起就真正实现了某种状态租用,那么我们就会有任何能够围绕持续状态的规范化假设进行演化的智能合约生态系统。Ethereum会变得更难构建,虽然它可能会更具扩展性和可持续性。同时,我们当时的状态过期计划确实比我们现在的要差得多。有时候,好的想法就是要花上几年的时间才能达成,并无捷径可言。

LOG的替代路径

LOG可以用两种不同的方式来完成:

1.我们可以让ETH转账自动发出一个LOG。这将为交易所和许多其他用户节省大量的时间,并减少和软件错误的发生。人们将更加依赖LOG,同时智能合约钱包也会得到更大规模的使用。?

cLabs收购Summa以增强Celo加密互操作性:金色财经报道,初创公司cLabs刚刚收购了去中心化金融(DeFi)初创公司Summa。此次收购增强了cLabs多方面的工程团队。除了Celo软件项目外,该团队还专门从事比特币、Zcash和Cosmos项目。cLabs CTO Marek Olszewski表示,此次收购将帮助Celo社区“执行平台的互操作性愿景”。[2020/8/14]

2.我们完全可以不用LOG操作码,而把它变成一个ERC:会有一个配置submitLog函数的标准合约,它可以使用Ethereum存款合约技术来计算该区块中所有日志的Merkle根。无论是EIP-2929还是区块上的存储都将降低它的成本。

我们曾认真考虑过第一种方式,但最后还是没有采用,主要原因还是它的简易性不足:使用LOG操作码直接生成日志会更为便捷。我们还做了错误的估计,认为大多数用户会迅速迁移到智能合约钱包,并使用操作码来记录转账。

我们之前没有好好考虑过第二种方法,但现在回想起来,它其实也很不错。它的主要缺点在于,它缺乏一个快速扫描日志的Bloom过滤器机制。但事实证明,Bloom过滤器机制速度太慢,对DApp并不友好,所以现在越来越多的人开始使用?TheGraph?来进行查询。

总的来说,采用任何一个方法都会使情况变得更好。将LOG保留在协议之外会使事情变得更简单,但如果它在协议之内,它自动记录所有ETH转移的功能也非常实用。

时至今日,我会赞成取消EVM中的LOG操作码。

如果EVM完全与众不同呢

EVM可以选择两条截然不同的路径:

1.让EVM成为一种更高级的语言,有内置的变量、if语句、循环等结构。

?2.让EVM成为某些现有虚拟机的副本。

我们从未好好考虑过第一条路径,而它的优势在于,它可以简化编译器,并允许更多的开发者直接在EVM中编码。同时,它还可以使ZK-EVM的结构更加简单。不过,这条路径的弱点是,它会使EVM代码在结构上更加复杂:它不再是一排简单的操作码列表,而是一个更复杂的数据结构,必须以某种特定方式进行存储。也就是说,我们错过了一个两全其美的机会:在保持EVM基本结构不变的同时,对其做出一些改变可以给我们带来很多好处,包括禁用动态跳转、增加一些旨在支持子程序的操作码、只允许在32字节的词汇边界上访问存储器,等等。

第二条路径好坏参半,支持的人认为它可以让程序从现有语言编译到EVM中,而反对的人则认为,鉴于Ethereum特殊的限制因素,它实际上不会提供任何好处:

1.现有的高级语言编译器往往不关心总的代码大小,而区块链代码必须大量优化以减少每一个字节的代码大小。

2.我们需要实现虚拟机的多项功能,并严格要求两个功能不能以不同方式处理相同的代码,但这也会给在不是我们写的代码上进行安全审计和验证造成困难。?

3.如果虚拟机规范发生变化,Ethereum将不得不一直随着它进行更新,否则将很难同步。

因此,尽管当初一些细节得到改善可能会产出更好的结果,但和现在情况不同的是,EVM在以前可能还是从来没有过一个可行的路径。

ETH供应是否应该以不同的方式进行分配

我们可以从下面这张来自?Etherscan?的图表看到目前ETH的供应量:

今天大约一半的ETH是在公开的Ethereum销售中售出的,任何人都可以向一个标准化的Bitcoin地址发送BTC,而最初的ETH供应分布是由一个开源脚本计算得出的,该脚本通过扫描Bitcoin区块链上的交易获得地址。其余的ETH基本都是靠挖矿得到的,其中标有「其他」的1200万ETH,是「预挖矿」的部分——即在Ethereum基金会和约100个Ethereum协议的早期贡献者之间分配的部分。

人们对该过程提出了两点批评意见:

1.预挖矿,以及Ethereum基金会收到销售资金的事实,并不是可信的中立。一些收件人地址是在闭环中人工挑选出来的,而且我们必须相信Ethereum基金不会通过贷款将销售中收到的资金重新放到销售环节当中来为自己提供更多的ETH。?

2.预挖矿过度地奖励了早期的贡献者,这让后来的贡献者只能分得较少的奖励。75%的预挖矿用于奖励贡献者在启动前的工作,而启动后,Ethereum基金会只剩下300万ETH。在之后的半年时间内,由于财务上的需要,该数字又下降到约100万ETH。

在某种程度上,这些问题是相互关联的:人们为了最大限度地减少中心化,缩小了预挖矿的规模,而这也会让它更快耗尽。

Zcash采取了另一种不同的方法:协议中一组硬编码的接收地址将收到恒定的20%区块奖励,并这一名单每4年就会重新协商一次。虽然这种方法具有更高的可持续性,但也会因为中心化而受到更多的批评。

我们可以采用如今在一些defi项目中流行的「DAOfromday1」作为替代路线,草案提议如下:

1.我们同意在2年内,拿出每个区块2个ETH的奖励放入开发基金当中。?

2.任何在Ethereum销售中购买ETH的人都可以指定投票给他们青睐的发展基金,以进行ETH分配

3.得到投票的接受者从开发基金中获得的份额将等于每个人投票的中位数,并将按按比例进行计算,从而保证其总数等于每个区块2个ETH。

这一销售可以由法律实体运作完成,该实体承诺将销售期间收到的Bitcoin按照与ETH开发基金相同的比例进行分配。这可能会导致Ethereum基金会和其他团体在不破坏可信中立性的情况下得到大量的资金,加快生态系统去中心化的进程。当然,这一做法的缺点在于,投币投票真的很糟糕,但务实地说,2014年仍然是一个较早和理想化的阶段,投币投票最严重的缺点在销售结束很久以后才会开始显现。

这也许会是一个更好的想法,并树立一个更好的先例。尽管从现实的角度来看,即使开发基金是完全可信中立的,今天那些对Ethereum矿工感到不满的人,很可能会将矛头转向DAO分叉。

启发

总的来说,有时我觉得Ethereum最大的挑战在于保持两个愿景之间的平衡——一个重视安全性和简洁性,纯粹简单的区块链,以及一个用于构建先进应用程序的高性能平台。上面的诸多例子只是这个问题的一个方面:我们是减少功能数量从而更类似Bitcoin,还是创造更多功能以方便开发者?我们应该担心让开发资金更加可信中立会使其更像Bitcoin,还是应该先关心如何确保开发者得到足够的奖励,从而让Ethereum变得更好?

在我个人看来,我们可以同时实现这两个愿景——一个规格逐渐缩小的基础层,以及一个以Layer2协议为中心,功能强大的开发者友好型高级应用生态系统。即便如此,要达到这样一个理想的状态还是需要很长的时间。所以说,我们只有一步步地考虑如何制定路线图,才能取得一定的成果。

虽然我们现在已经无法改变很多事情,但也并不是全部,而且我们依然可以着手提高功能性和简易性。不过,在这个过程中我们有时也会遇到一些困难:为了提高分片上Layer2的可扩展性,我们需要先增加一些复杂性以实现分片。但即便如此,复杂性的降低也是可能的,Ethereum的历史已经证明了这一点:

1.EIP-150使得调用堆栈深度限制不再适用,从而减少了合约开发者对于安全性的担忧。?

2.EIP-161让「空账户」不再与字段为零的账户区分开。?

3.EIP-3529删除了部分退款机制,使得GasToken不再可行。

有了Verkle树等还在酝酿中的想法以后,我们甚至可以进一步降低复杂性。但如何在未来更好地平衡这两种愿景,是我们应该开始好好思考的问题。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:15ms0-3:339ms