大多数钱包与应用从少数几家RPC供应商拉数据,数据错了、漏了,用户无从察觉。EIP-7919 是一份元提案:把改造区块、交易与收据数据结构的若干改进捆在一起,目标是让RPC响应能附带正确性与完整性证明。本文拆解它点名的三个问题面与捆绑逻辑。
汇总与「以太坊」相关的文章,帮助你系统了解该主题。
大多数钱包与应用从少数几家RPC供应商拉数据,数据错了、漏了,用户无从察觉。EIP-7919 是一份元提案:把改造区块、交易与收据数据结构的若干改进捆在一起,目标是让RPC响应能附带正确性与完整性证明。本文拆解它点名的三个问题面与捆绑逻辑。
ZK Rollup 把许多交易折成一个证明,但逐笔验证的思路没有利用交易之间的关系。EIP-7911 提出用感知机树把多笔交易压缩成统一证明:树节点分类交易、路径长度度量相似度,相似度够高的交易搭同一张证明。本文按提案原文拆它的构造、验证路径,以及为什么它至今只是智慧合约层级的草案。
合约字节码尾部常混着构造参数、常量与编译器元数据,分析工具却得逐字节猜测哪里是指令哪里是数据。EIP-2327 提议增加一条 BEGINDATA 操作码:它出现之后的一切字节都声明为数据,跳转器不许跳进去,静态分析器不必再猜。本文讲清这条分界线的规则、与子程序提案的渊源和被乐观汇总验证的旁支需求。
2016年,以太坊在主网区块一百一十五万处执行了第一次计划内硬分叉,代号家园。EIP-2 列出了这次升级的行为改动:合约创建交易涨价、高 s 值签名作废、创建失败不再留下空合约、难度公式换算法。本文逐条讲清这四处改动各堵住了什么洞,以及为什么第一块补丁选择从交易签名和创建成本下手。
两个版本不同的以太坊节点该怎样互相信任地交换消息?EIP-8 在2015年底给 devp2p 协议定了三条互相兼容的规矩:忽略打招呼包里的版本号、忽略消息尾部多出来的字段、未知类型的发现包静默丢弃。这套按网络工程老规矩写的向前兼容要求,让节点网络在协议演进中不必一刀两断。本文讲清它改了什么、为什么这样设计。
以太坊的 EXP 指令按指数的字节数收费,但2016年实测发现它被低估了四到八倍,攻击者能用低代价的交易让全网节点算得筋疲力尽。EIP-160 在 Spurious Dragon 分叉里把每字节的附加费从十 Gas 提到五十 Gas。本文借这条冷门提案讲清:虚拟机指令的定价为什么是一份需要重估的账,以及算术型拒绝服务攻击的算盘是怎么打的。
2015年,Vitalik 写过一份比以太坊本身更早一步的提案:EIP-101 想把以太从账户字段里拿出来,放进零号地址的一个合约,让余额、签名算法、防重放计数全部变成可编程对象。这份 Serenity 货币与密码抽象提案停在 Stagnant,但它预设的很多问题——账户抽象、可替换签名、代币同质化——正是后来 ERC-4337 时代的主线。本文按提案原文讲清这个激进设计长什么样。
以太坊地址零号到七号住着一批协议预置的预编译合约,0x08号就是EIP-197在2017年拜占庭升级里放进来的配对检验函数:给它若干组曲线点,它回答这些点是否满足一个配对等式。这条等式正是SNARK验证的收尾一步。本文按提案原文讲清这个预编译输入输出的样子、为什么验一条证明需要配对、以及它和负责点运算的EIP-196怎么分工。
以太坊给带转账的合约调用留了一小笔保底燃料2300 Gas,让收币方的fallback代码至少能跑几行。对2018年已大量铺开的代理合约来说,这笔零头不够记账和转发。EIP-1285提议把它抬到3500,最终停在Stagnant。本文讲清2300保底的由来、它为什么刻意这么小、加高为什么有阻力,以及这场零头预算之争折射的防御哲学。
2021年3月,一份提案想给以太坊的挖矿算法打一小针疫苗:把ethash里到处使用的FNV哈希常数一拆五,让已出货的ASIC矿机瞬间算错。EIP-3372是2017年EIP-969路线的复活版,最终停在Stagnant,几个月后合并终结了整场算法军备竞赛。本文讲清五个素数各替换了哪一步、为什么改常数就能废掉专用芯片,以及这条抗ASIC路线的真实战绩。