2026年10月19日周一

标签:EVM

汇总与「EVM」相关的文章,帮助你系统了解该主题。

链上代码先过静态审查:EIP-8337 的 Validated EVM Code
加密货币百科
链上代码先过静态审查:EIP-8337 的 Validated EVM Code

EIP-8337 提议给字节码加一个 MAGIC 前缀:带前缀的代码在部署时做静态验证,保证控制流完全静态、每个返回都有对应调用、数据栈深度可静态证明不会下溢。本文解释这套静态合约与 EOF 的关系和实际意义。

失败原因能写进日志吗?EIP-7889 的回退记录
加密货币百科
失败原因能写进日志吗?EIP-7889 的回退记录

交易在链上失败后,普通 RPC 拿不到回退原因,节点要整笔重放才能从追踪里抠出那几十字节。EIP-7889 让每次带数据的 REVERT 自动发一条日志,标准接口即可查询失败原因。本文解释现状成本与该方案的设计边界。

返回值必须先进内存吗?EIP-7877 的四种 RETURN
加密货币百科
返回值必须先进内存吗?EIP-7877 的四种 RETURN

现在的 RETURN 只会从内存里取要返回的数据,数据若存在存储或瞬态存储里,得先花 Gas 搬进内存。EIP-7877 提出 SRETURN、TRETURN、RRETURN 三条新指令,把 RETURN 改名为 MRETURN,让数据从哪来回哪去。本文讲清现状浪费在哪与方案边界。

给字节码集装箱加一栏「类型」:EIP-7960 扩展 EOF 类型段
加密货币百科
给字节码集装箱加一栏「类型」:EIP-7960 扩展 EOF 类型段

EOF 把智能合约字节码装进带清单的集装箱,EIP-7960 想在清单里再加一个字节:代码段类型。它让同一个容器里的不同函数段声明自己是 EVM 还是其他指令集(如 EVM64 甚至未来的 RISC-V)。本文讲类型段的设计、它服务的 64 位 EVM 设想,以及为什么版本号被改成 0x02。

栈顶十六格之外碰不到?EIP-663 的 SWAPN、DUPN 与 EXCHANGE
加密货币百科
栈顶十六格之外碰不到?EIP-663 的 SWAPN、DUPN 与 EXCHANGE

EVM 的栈有 1024 格深,但 SWAP 和 DUP 指令只够得着顶部 16 个位置。EIP-663 提议三条新指令 SWAPN、DUPN、EXCHANGE,用操作数直接访问任意深度。本文讲这条限制怎么来的、三条指令怎么设计、为什么它必须等 EOF 一起上线。

交易失败却烧掉 Gas:REVERT 指令(EIP-140)改变了什么
加密货币百科
交易失败却烧掉 Gas:REVERT 指令(EIP-140)改变了什么

EIP-140 引入 REVERT 指令,让智能合约在失败时退回状态改动并返还剩余 Gas,还能带回一段错误数据。本文讲 REVERT 与 out of gas 的区别、返回数据的编码习惯,以及为什么钱包能弹出可读的失败原因。

EVM 里怎么移位数?EIP-145 的 SHL、SHR 与 SAR 三条指令
加密货币百科
EVM 里怎么移位数?EIP-145 的 SHL、SHR 与 SAR 三条指令

EIP-145 给 EVM 增加了 SHL、SHR、SAR 三条位移指令,让左移、逻辑右移和算术右移不再需要用乘除法绕路。本文讲清三条指令各自移什么、符号位怎么处理、Gas 怎么收,以及为什么打包多个小整数时会用到移位。

EVM要开64位模式?EIP-7937的多字节指令设计
加密货币百科
EVM要开64位模式?EIP-7937的多字节指令设计

EIP-7937 提议给 EVM 增加一套以 C0 为前缀的 64 位模式指令:只用 64 位宽度做算术、比较和位运算,省掉 256 位引擎的空转。本文解释为什么大量合约计算用不满 256 位、多字节前缀指令怎么避免挤占指令空间,以及它的 little endian 姊妹提案 7958。

让EVM直接算正弦和自然对数:EIP-7543的小数运算设想
加密货币百科
让EVM直接算正弦和自然对数:EIP-7543的小数运算设想

EIP-7543 提议给 EVM 加一组任意精度十进制浮点指令:DECADD、DECMUL、DECEXP、DECLN、DECSIN 等,用系数加指数精确表示小数,把科学计算器级别的初等函数变成一条指令。本文解释为什么二进制存不下0.1、合约里的幂运算为什么贵,以及这份提案停摆的原因。

把身份预编译搬回字节码:EIP-7666想让0x04地址变成普通合约
加密货币百科
把身份预编译搬回字节码:EIP-7666想让0x04地址变成普通合约

以太坊地址0x04的恒等预编译原样返回输入,只为按长度收gas。EIP-7666提议在激活块开头把一段等价的EVM字节码写进该地址,从此它只是一个合约而非特殊路径。本文解释动机、机制与未决的兼容问题。