编者按:本文来自以太坊爱好者,作者:WeiTang,翻译:阿剑,Odaily星球日报经授权转载。本文为Parity开发者WeiTang写作的,关于如何增强EVM后向兼容性的文章,改进Gas机制的方案堪称大胆。如果我们有机会可以重新设计EVM、提升其后向兼容性、让它对功能升级更为友好,而且可以完全不必考虑我们现有的历史包袱,我们该怎么做呢?在这篇文章中,我会探究这个问题,并记录下由此演化出来的技术说明和设计哲学。目标
Web是没有版本区别的,而且已经存在了几十年。因此我在此假设,我们想做一个同样没有版本区别的EVM。我们同样希望保证,这种虚拟机具备良好的后向兼容性。也就是说,至少能良好兼容我们现有的合约,而且,也可以轻松加入新功能。无效操作码
观点:如果比特币基于PoS机制,单凭此因素不会让其如此有价值:黄金支持者、比特币反对人士Peter Schiff在他最近的推特中对基于区块链上验证和存储数据的比特币价值进行了抨击,称基于区块链的共识机制毫无意义。他将比特币交易数据与一名挖掘者的劳动价值进行了比较,并表示:“他将比特币交易数据与一名挖掘者的劳动价值进行了比较,并表示:“比特币的价值来自验证区块链上编码的信息所需的过去工作的想法是无稽之谈。如果我努力挖一个洞,然后用泥土填满,我的劳动会创造什么价值?没有价值的努力是毫无价值的。”比特币基金会董事会成员兼前执行董事Bruce Fenton在一定程度上同意Peter Schiff的观点,他指出了赋予比特币价值的其他因素。他向Peter Schiff解释说他所指的是PoW共识机制,与比特币不同,其他许多基于POW的货币已经完全失败。Bruce Fenton表示,如果比特币是基于PoS机制,单凭这个因素也不会让比特币变得如此有价值。(U.Today)[2020/11/21 21:35:27]
要设计一个永续的EVM,最简单可能也最重要的改动便是为合约部署添加一个验证过程。并非所有的字节序列都是有效的EVM代码,任何无效的操作码都不应该被部署到链上,因为在未来,这些代码可能会被分配以一个新的操作码,有不一样的功能。此种检查的技术详述初次成文化是在EIP-1712中。简要来说,在执行合约创建的状态转变函数之前,执行下列检查:遍历代码的字节码如果代码是一个PUSH(n)操作码,则跳过接下来n个字节如果字节码是一个有效的操作码,或者指定了无效指令,继续否则,捕捉到错误上述检查有点类似于jumpdestination检查。注意,对于例外情形,我们在这里使用的是“trap”,下文我们会详细解释。功能调查
观点:比特币可以帮助环境移民旅行和定居:比特币支持者、金融分析师Max Keiser发推称,由于全球生态系统变得越来越难以预测,有时对人类也越来越不友好,人为造成的气候变化越发严重。环境移民已经开始寻找环境更好的地方居住,而比特币可以帮助他们旅行和定居,因为比特币现在在欧洲、亚洲和美国的许多地方都被接受了。他声称,黄金也可以用于同样的目的,但比特币更容易携带和大量运输。此外,BTC不能被当局没收,也不能被强盗取走。(U.Today)[2020/8/22]
如果EVM要消弭掉版本的差别,基于EVM的代码执行应有能力调查出底层环境是否支持一种特定的功能。给定EVM所承担的角色,我们总是希望一个已经定义好的操作码的功能可以保持不变,并且还可以引入新的操作码来添加功能。而一些合约可能在引入某些特定功能之前就已经部署上去了。这些合约可以安排一个备用的子程序,在EVM不支持某功能的时候就运行子程序,而一旦硬分叉激活后就立即开始使用新功能。功能调查组件就像这里要用到的跳转器。因此,我们正式地定义一种新的操作码HAS_FEATURE。该操作码接收一个堆栈参数。它会检查该参数是否位于0到2^8之间,如果不是,就捕捉错误如果参数不受支持,就把0x0推回栈中;否则就推入0x1例外与捕捉
观点:停止为美联储提供资金并购买比特币,才能解决所有问题:比特币支持者、金融分析师Max Keiser发推称,比特币可以作为一种抗议的手段。Max Keiser在谈及目前美国经历的抗议活动时提到,最近许多人在推特上呼吁中止为警察提供资金,但这样做是毫无意义的,因为“银行家们”还可以雇雇佣兵来保护自己和他们的财富。
相反,Keiser提出了另一种出路——停止为美联储提供资金,购买比特币,摆脱“暴力支持”的美元。Keiser还表示,考虑到比特币网络生成一个新区块所需要的时间,比特币目前已经是一种比黄金更“硬”的货币。(U.Today)[2020/6/8]
在EVM的运行过程中,可能有很多因素会导致执行失败。单个交易可能因为耗尽Gas而失败;调用栈中的每一层都可能单独失败,而其错误必须被父调用框架明确处理。这些特性给了我们一定的弹性,但对于要运行在区块链上的合约来说,并不必然就是好事。这里,我们想重新定义一下,任何EVM本身发出的异常,都可以有trap行为,作为对fail的替代。也就是说,所有调用框架的所有执行过程中、消耗任意gas的时候、甚至被当前的状态函数回滚变更的时候,都可以有trap。合约接下来就被会鼓励使用返回值,在它们想跟父调用者交流非致命错误的时候。Gas消耗量
过去的经验已经证明,我们总是想调整Gas消耗量。因为我们要这样做,我们不希望合约开发者对交易的Gas消耗量甚至是任何操作码的Gas消耗量作任何假设。要实现这一点,只需将EVM内所有关于Gas消耗量的公开信息都移除。这样Gas消耗量就成了一个外在于EVM、被隐藏起来的“实现上的细节”,只需在区块层执行中妥善处理。正式地移除0x5a的Gas操作码。此外,重新定义CALL、CALLCODE和DELEGATECALL,不再使用gas栈参数,而是采取现有执行框架中所有可用的Gas。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。