解释 NEAR 的 Doomslug 如何在单轮通信内给区块实用最终性、最终性组件如何在第二轮补上完整 BFT 最终性:背书消息、跳过提议与跳过高度、被罚没才可调转的安全条件,以及它与出块人轮值和不依赖网络快慢的安全性保证。
解释 NEAR 的 Doomslug 如何在单轮通信内给区块实用最终性、最终性组件如何在第二轮补上完整 BFT 最终性:背书消息、跳过提议与跳过高度、被罚没才可调转的安全条件,以及它与出块人轮值和不依赖网络快慢的安全性保证。
从创世 JSON 的 chainId 与 alloc 预分配,到关闭节点发现、用 enode 手工互联,Geth 私有测试链的隔离由创世哈希与链编号两道闸门共同完成。本文按官方私有网络文档拆解两道闸的分工,并给出同链编号私有网之间交易重放的自查动作。
以太坊验证者的一份签名并不直接签消息,而是先绑定用途前缀、分叉版本与创世验证者根三段上下文。本文按共识规范拆解签名根的结构,说明跨网络、跨职权重放与跨分叉重放各由哪一段字节拦截,以及域值防不住的场景。
Turbine 用按质押加权洗牌的层级树广播区块碎片,并且每传一个 shred 就用新种子重排一次树结构。本文对照 Agave 文档与官方 P2P 规范,拆解根节点逐片轮换、Reed-Solomon 纠删组的报废条件,以及修复协议在丢包连锁后的兜底路径。
CometBFT 的内存池默认按到达顺序把交易递给提案者,合法性判断被收拢到应用层的 CheckTx,区块提交后再用复查清掉因状态变化失效的条目。本文对照以太坊按费用排序的本地策略,拆解这套分层设计的排队规则、容量闸门与用户体感差异。
Solana 的 Gossip 服务是集群控制面的大门:身份、账本高度与投票靠签名加时间戳的记录在节点间收敛。本文按 Agave 官方文档拆解推送的扇出与轮换、拉取的布隆过滤器补齐,以及修剪消息如何把低权重直连让给高质押路径。
CometBFT 的 ABCI++ 把 ExtendVote 与 VerifyVoteExtension 挂到预提交消息上:验证者可在票里夹带应用定义的数据,代价是校验必须确定性、只依赖已提交状态。本文拆解扩展的触发时点、验算规矩,以及它回到下一块提案时必须补的一次验算。
OP Stack 的挑战期不是安静的等待:一条状态断言会开出一局故障争议对局,双方沿位置树逐层二分,先折输出根、再折执行轨迹,直到分歧落到相邻两步指令。本文对照 FaultDisputeGame 合约源码拆解棋盘结构、棋钟与阶梯保证金。
Avalanche 家族靠反复随机采样收口:每轮询问 k 个质押加权验证者,α 决定何时改偏好、何时加置信,β 决定连续多少轮一致才下结论。本文对照 avalanchego 源码的默认参数与校验规则,讲清这三个字母的职责与取舍。
Solana 的协议变更不押统一升级日,而由一枚枚功能开关随纪元切换逐项激活。本文对照 Agave 源码的 feature-set 清单与 SIMD 流程,解释 feature 账户的形态、投票门控的路径,以及核验一枚开关状态时该看哪些字段。