这个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神:使用开放的多个ZK-EVM将面临延迟和数据效率低下两大挑战:金色财经报道,V神在其最新博客文章中建议采取开放的多个ZK-EVM创建一个“多客户端”生态系统,但同时他指出这种解决方案将面临延迟和数据效率低下两大挑战,恶意攻击者可能会延迟发布一个区块,以及对一个客户端有效的证明,如果时间足够长可能会创建一个临时分叉并中断几个插槽的链。此外,如果希望能够为一个区块生成多种类型的证明,则需要实际发布原始签名,继而造成数据效率低下。[2023/4/2 13:40:22]
V神:EIP-4844是大规模降低L2费用的关键一步:11月24日,以太坊联合创始人 Vitalik Buterin 发文表示,EIP-4844(Proto-Danksharding)是大规模降低 Layer2 费用的至关重要的第一步,有助于使大量用户直接使用链上应用而不是依靠 CeFi 中间方。
此前报道,OP Labs 首席执行官 Liam Horne 发文表示,以太坊核心开发人员将于周四召开电话会议,讨论将 EIP-4844 纳入考虑范围,这并不意味着包含在下一个硬分叉中,但似乎有充分的理由为上海升级进行考虑纳入。[2022/11/24 8:05:19]
V神抨击比特币开发者攻击PoS共识机制:7月4日消息,以太坊创始 Vitalik Buterin站出来为权益证明(PoS) 机制辩护,因别人指控该协议没有提供去中心化共识。对PoS的攻击是由比特币开发人员Jimmy Song发起的,他指出该协议没有解决拜占庭将军的问题。
在7月3日的一条推文中,Butrerin抨击Song指出他对PoS的攻击是“愚蠢的”,因为由于定义,他是基于技术性的。(finbold)[2022/7/5 1:50:39]
作者|秦晓峰编辑|Mandy出品|Odaily星球日报 以去年兴盛的DeFi运动为分界线,加密市场交易支付载体的话语权开始逐渐转移.
1900/1/1 0:00:00纵观NFT的发展历程:从2012年的一篇博文讨论“coloredcoin”开始到2017年CryptoKitties游戏的出现,将NFT应用到游戏上推向了主流市场.
1900/1/1 0:00:00头条美联储与耶鲁大学研究人员为稳定币制定两个监管框架美联储正在进行的关于央行数字货币的研究,已经扩大到包括稳定币以及它们是否能得到有效监管的问题.
1900/1/1 0:00:00总结上周期权市场的数据,我们发现:现货价格不大,期权成交低迷;短期隐含波动率逐渐走向稳态,看涨期权正在重新修复溢价;比特币与以太坊在本周没有走出独立行情.
1900/1/1 0:00:00NFT可以说是近期加密世界最大的风口,尤其是一款款带有“财富效应”的游戏,让大量玩家趋之若鹜。与圈内上一个风口DeFi类似,第一批受到关注的NFT游戏主要部署在以太坊公链上,而后向BSC等竞争链.
1900/1/1 0:00:00随着近期加密社区热切的讨论《美国基础设施法案》新增对加密货币领域的税务征收,无论此基建法案通过与否,对加密交易征税,本身就已在某种程度上宣布了这项技术或资产的合法性.
1900/1/1 0:00:00