比特币默克尔树对奇数个叶子复制末位哈希,这个先天设计曾让攻击者复制交易就能改变区块哈希(CVE-2012-2459)。对照 Bitcoin Core v31.0 源码拆解 ComputeMerkleRoot 的 mutated 标志、bad-txns-duplicate 拒绝、IsBlockMutated 隔离与 segwit 见证变异检查这四道补丁如何把老洞封死。
汇总与「共识」相关的文章,帮助你系统了解该主题。
比特币默克尔树对奇数个叶子复制末位哈希,这个先天设计曾让攻击者复制交易就能改变区块哈希(CVE-2012-2459)。对照 Bitcoin Core v31.0 源码拆解 ComputeMerkleRoot 的 mutated 标志、bad-txns-duplicate 拒绝、IsBlockMutated 隔离与 segwit 见证变异检查这四道补丁如何把老洞封死。
Algorand 把共识投票权拆成独立于账户私钥的参与密钥。本文按官方文档拆解 partkey 的按轮次密钥结构、密钥稀释参数、轮次区间上限与 320 轮生效延迟,以及离线注册为什么是网络义务。
AptosBFT 用两种机制压缩出块延迟。本文按 aptos-core 共识文档拆解乐观提议如何不等父块 QC 就抢先提议、order vote 如何把排序压到部分同步下 BFT 的理论最小三跳、没有 order vote 时的两链提交回退,以及 3f+1 容错与部分同步前提。
EIP-3143 在 2020 年 12 月提出把以太坊工作量证明的出块奖励从 2 个以太重新上调到 5 个,叔块与侄块奖励按同一比例调整。提案的真实算盘不在补贴矿工,而是让矿工在过渡期攒够质押本金、自愿转向信标链验证者,并用通胀率与费率波动两本账为 5 这个数字辩护。这份如今状态 Stagnant 的提案,是理解 PoW 到 PoS 迁移激励设计的罕见标本。
比特币节点默认按累计工作量选链,工作量相同的平局则由到达顺序决定。preciousblock 把指定块标记为视同更早收到,从而在本轮运行里改变这台节点的平局裁决。本文按 v31.0 源码核对该命令的三条语义承诺、与 invalidateblock 的分野,以及它为什么不能跨重启。
Cosmos 系链空块照样推进高度、照样跑 BeginBlock 与 EndBlock、Commit 照常提交状态根。本文按 ABCI 规范讲空块的完整流程与其作为时钟的用途。
以太坊区块从提议到最终确认要约十五分钟。单时隙最终性设想在同一时隙内完成提议与确认,靠 BLS 签名聚合与全体验证者每时隙投票达成。本文解释时间—去中心化—开销的三角权衡与当前研究状态。
按 Stellar 官方文档拆解 SCP 与联邦拜占庭协议:quorum set、阈值与法定人数切片怎么搭出信任图,vote、accept、confirm 三级表态受哪些跃迁规则约束,提名协议与选票协议先后做什么,为什么这套模型下失活表现为停摆而不是出账错。
按 Sei 官方文档拆解 Twin Turbo:为什么它不是新共识算法而是对 Tendermint BFT 的工程提速,提案到达前的并发解码与写集估算在做什么,链上超时参数与带 Unsafe 字样的本地覆写是什么关系,即时最终性给开发者与节点运维各带来什么。
按 Ouroboros Praos 论文拆解 Cardano 的出块权分配:VRF 抽签为什么让下一任出块者不可预测,自适应安全与半同步两个属性各防住哪类攻击,时隙抽签下空位与多块竞争从哪来,论文框架与生产网实现又该怎么区分。