这个VM中某些操作码的功能和用意很容易理解,但也有一些不太好理解,以下是一些特殊的原因:ADDMOD,MULMOD:大多数情况下,mulmod(a,b,c)=a*b%c,但在椭圆曲线算法中,使用的是32字节模数运算,直接执行a*b%c实际上是在执行((a*b)%2^256)%c,会得到完全不同的结果。在32字节的空间中执行32字节数值的a*b%c计算的共识非常困难且繁琐。SIGNEXTEND:SIGNEXTEND操作码的作用是为了方便从大的有符号整数到小的有符号整数的类型转换。小的有符号整数是很有用的,因为未来的即时编译虚拟机也许有能力检测主要处理32字节整数又长时间运行的代码块,小的有符号整数能加快处理。SHA3:在以太坊代码中,SHA3作为安全的、高强度的、不定长数据哈希映射方法,应用非常广泛。通常,在使用存储器时,需要使用Hash函数来防止恶意冲突,在验证默克尔树和类似的以太坊数据结构时也需要使用到Hash函数。重要的是,与SHA3的相似的哈希函数,如SHA256、ECRECVOR、RIPEM160,不是以操作码的形式包含在里面,而是以伪合约的形式。这样做的目的是将它们放在一个单独的类别中,如果当我们以后提出适当的“原生插件”系统时,可以添加更多这样的合约,而不需要扩展操作码。ORIGIN:ORIGIN操作码由交易的发送者提供,主要的作用是允许合约退回支付的gas。COINBASE:COINBASE的主要作用是:1)允许子货币对网络安全作出贡献;2)使矿工能够作为一个去中心化的经济体,来设置基于子共识的应用,如Schellingcoin。PREVHASH:PREVHASH可用作一个半安全的随机来源。此外,允许合约求值上一个区块的默克尔树状态证明,而不需要高度复杂的“以太坊轻客户端”递归结构。EXTCODESIZE,EXTCODECOPY:主要的作用是让合约依据模板检查其他合约的代码,甚至是在与其他合约交互前,模拟它们。见:https://lesswrong.com/lw/aq9/decision_theories_a_less_wrong_primer/JUMPDEST:当跳转目的地限制在几个索引时,JIT虚拟机实现起来更简单。于是,我们需要:1)对有效变量跳转目的地做限制;2)激励使用静态而不是动态跳转。为了达到这两个目标,我们定下了以下规则:1)紧接着push后的跳转可以跳到任何地方,而不仅是另一个jump;2)其他的jump只能跳转到JUMPDEST。对跳转的限制是必须的,这样就可通过查看代码中的前一个操作来确定当前是一个静态跳转还是动态跳转。缺乏对静态跳转的需求是激励使用它们的原因。禁止跳转进入push数据也会加快JIT虚拟机的编译和执行。LOG:LOG是事件的日志。CALLCODE:该操作码允许合约使用自己的存储项,在单独的栈空间和memory中调用其他合约的“函数”。这样可以在区块链上灵活实现标准库代码。SELFDESTRUCT:允许合约删除它自己,前提是它已经不需要存在了。SELFDESTRUCT并非立即执行,而是在交易执行完之后执行。这是因为如果允许SELFDESTRUCT在执行之后回滚,将会极大地提高缓存的复杂度,不利于高效的VM实现。PC:尽管理论上不需要PC操作码,因为所有PC操作码的实例都可以根据将push操作的索引加入实际程序计数器来代替实现,但使用PC可以创建独立代码的位置。原地址:https://eth.wiki/en/fundamentals/design-rationale作者:Vitalik翻译&校对:kim&阿剑
V神:未来10年zk-SNARKs将与区块链一样重要:5月21日消息,在黑山举办的 EDCON 2023 大会上,以太坊联合创始人 Vitalik Buterin 表示,未来 10 年,zk-SNARKs 将与区块链一样重要。
以太坊社区大会(EDCON)于 2023 年 5 月 19 日至 23 日在黑山波德戈里察举行,本次会议演讲嘉宾包括了以太坊联合创始人 Vitalik Buterin、以太坊核心开发者 Tim Beiko、以太坊基金会 Devcon 团队负责人 Skylar Weaver 与以太坊基金会研究员 Vlad Zamfir、Piper Merriam、Andy Guzman 等。EDCON 是一个非营利性的年度全球以太坊会议,每年在不同国家 / 地区举办,致力于通过促进全球以太坊社区的交流和互动来服务于以太坊生态系统。[2023/5/21 15:17:04]
V神:仍然担心比特币锚定币是否值得信赖:8月17日,V神发推称仍然担心比特币锚定币Wrapped BTC(WBTC)是否值得信赖。希望这些代币至少都能迁移到大小合适的多签名(multisig)。[2020/8/17]
以太坊社区程序员:否定V神的以太币固定供应提案:据btcmanager最新报道,V神愚人节提出的针对以太币的固定供应建议(固定供应EIP 960)引发了一场讨论,争议点在于以太币应该是有限供应还是无限供应。日前,社区知名程序员Vlad Zamfir发表了一篇评论文章,批评V神试图推动社区同意有限的以太币供应,认为它只符合投机者的利益,即商品的稀缺性将成为未来令牌的价值,并表示无限供应应该被认真考虑,这关乎以太坊平台的最终功能。V神在第二天回应Zamfir称自己根本没有表示他不愿意拥有无限的供应。[2018/4/22]
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。