比特币核心把共识校验逻辑从网络、存储、钱包服务中抽离成独立内核库,v24.0 源码树中对应 src/kernel 目录与演示程序 bitcoin-chainstate。本文说明这个实验性重构解决什么、它处于哪个阶段,以及它与操作系统内核的区别。
汇总与「协议机制」相关的文章,帮助你系统了解该主题。
比特币核心把共识校验逻辑从网络、存储、钱包服务中抽离成独立内核库,v24.0 源码树中对应 src/kernel 目录与演示程序 bitcoin-chainstate。本文说明这个实验性重构解决什么、它处于哪个阶段,以及它与操作系统内核的区别。
以太坊把 ECDSA 签名恢复做成了一枚常驻地址的预编译合约:给它一段哈希和 r、s、奇偶值,它吐出签名者的公钥。本文拆解这枚车间的输入输出契约、失败时返回零的行为、高位 s 被禁的来历,以及它在合约验签里的典型用法与坑。
Fedimint 让一群人共同托管比特币、向成员发行隐私电子现金,并把闪电网络接进来对外收付。本文拆解其核心零件——守护者的多签与门限盲签、eCash 本票的签发与赎回、闪电网关的换币经济学,以及“守护者知道什么、不知道什么”的隐私边界。
EIP-4844 的 blob 基准费从 1 起步,靠超额惩罚上调、空闲下调。EIP-7762 认为这条从地板价爬升的机制让价格发现太慢,提议把 MIN_BASE_FEE_PER_BLOB_GAS 从 1 抬到 2 的 25 次方并在分叉点把超额气清零。本文拆解 blob 定价公式的爬升逻辑、从 1 起步的设计代价,以及这条提案停在哪。
跨链与结算类签名消息常把关键参数塞进一个 bytes 字段,签名器只能显示一串十六进制。EIP-7713 提议引入 box 类型:外面看不见、钱包却能把里面按结构完整还原。本文拆解类型擦除造成的失明、box 的封装与可验证还原,以及这条提案的现状。
信标链验证者的投票曾必须在固定三十二个时隙内被打包进区块,网络拥塞时会整批作废。EIP-7045 把包含窗口从滚动三十二格改为被投票所在纪元之后的下一个纪元末尾,随 Deneb 分叉于 2024 年 3 月生效。本文拆解旧窗口的失效模式、新窗口的确切边界与它对安全性论证的意义。
以太坊给合约代码设的 24576 字节上限从 2016 年沿用至今,把无数合约推进代理与切片的迷宫。EIP-7907 提议把上限抬高一档、给超额代码按字收燃气费。本文按提案正文拆解 64KB 数字的来历、每 32 字节 2 气的动态计价、initcode 同步翻倍的理由,以及它为何停在草案状态。
比特币脚本里的数字不是无限大整数:多数算术操作码要求操作数不超过四字节,序列化上最少只用所需字节。本文拆解脚本数字的最小化编码规则、四字节上限与十一字节序列化的张力、超出后的报错行为,以及从 OP_0 到 OP_PUSHNUM16 这段省字节的捷径设计。
Interledger 让分属不同账本的付款方与收款方直接成交,靠的不是跨链桥而是两条普通支付通道加一场“先预扣、后确认或退款”的握手。本文按 ILP 条件支付与 PREPARE、FULFILL、REJECT、COMMIT 四类报文拆解这次握手的原子性与超时纪律,并澄清它与链桥的边界。
HTTP 状态码 402 Payment Required 预留近三十年没有标准语义,L402 把它与闪电网络发票、macaroon 令牌拼成一套“付一次款、拿一张票”的协议。本文拆解 402 挑战、支付凭证回填、免查库验证与令牌收窄这四层机制,并对比它与 x402 的关系。