比特币核心仓库内置了一整套模糊测试脚手架:用 libFuzzer 向网络处理等入口灌畸形字节,靠覆盖率反馈进化种子,一旦触发崩溃就固化进语料库。本文拆解它的运行方式、输出日志怎么读,以及模糊测试在协议安全里替谁站岗。
比特币核心仓库内置了一整套模糊测试脚手架:用 libFuzzer 向网络处理等入口灌畸形字节,靠覆盖率反馈进化种子,一旦触发崩溃就固化进语料库。本文拆解它的运行方式、输出日志怎么读,以及模糊测试在协议安全里替谁站岗。
Helium 用硬件热点铺无线覆盖网,再按覆盖付币,于是必须回答:怎么证明一台热点物理上在它声称的地方、确实在收发包?覆盖证明用互相听音的挑战、随机路由的见证与预言机核算来回答。本文拆解这套验证回路和它公认的攻防点。
EIP-7840 要求以太坊执行层客户端在配置文件里放一张按分叉排列的 blobSchedule 表,逐轮记录每次升级的 Blob 目标数与上限。本文拆解这张表的字段、它如何解决历史参数无法追溯的问题,以及节点运维怎么用它核对网络参数。
以太坊信标链对验证者的两条可罚没投票规则——同一目标投两票,或者两票在时间上互相包夹——写死在共识规范的几行代码里。本文拆解环绕投票的定义、它为什么比双花投票更致命,以及举报机制如何运行。
Tornado Cash 用固定面额池、承诺登记和零知识证明,让一笔提款在密码学上无法对应到任何一笔存款。它的机制简单,命运却复杂:合约开源、前端被查封、创始人受审,是隐私工具法律边界最刺眼的样本。本文只讲机制与合规事实。
EIP-7938 设想让以太坊客户端按一条指数时间表默认投票上调 Gas 上限:大约每两年翻十倍、四年累计一百倍,到期再议。本文解释它想解决的投票协调问题、时间表怎么算、为什么至今只是未采纳的提案,以及它与现行出块者投票机制的关系。
每条以太坊网络的起点都是一份创世文件,但各家客户端长期以来各自扩张格式。EIP-7949 给 genesis.json 定了统一的结构与字段表。本文拆解它的顶层字段、为什么以 Geth 的事实格式为基准,以及新链搭建者、测试网运维能从中得到什么。
EIP-7932 提议给以太坊建一个统一的签名算法注册表加一个验签预编译:账户地址不再只对应 secp256k1 一种签名路线,后量子算法等未来算法可以按编号接入。本文讲清注册表的动机、预编译的角色、与地址生成的关系,以及它目前的草案状态。
eth_getLogs 是应用最常用的事件查询接口,但它的回复来自 RPC 节点,本身不带可验证性。EIP-7792 提议让每条日志按地址、主题等维度累积进一个专用合约的存储,使查询结果可以被密码学证明。本文拆解其存储布局思路、与 EIP-6466 的依赖,以及为什么现在还停在搁置状态。
EIP-7557 提议把区块级的存储预热从每笔交易各付一次冷访问费,改成整块只付一次、再按访问次数摊回折扣。本文解释冷访问与热访问的价差从哪来、区块级预热为什么能省 Gas、它带来的攻击面与争议,以及这份提案目前的搁置状态。