一条链的吞吐上限往往不是被带宽卡住,而是被共识的节奏卡住:每个出块机会只有那么宽,交易必须挤进同一个区块,区块必须走完同一条广播路径。Cardano 的改进提案 CIP-0164 提出的 Ouroboros Linear Leios 针对的正是这个瓶颈——它让排序区块照原来的节奏走,把大块交易数据改走另一条路,用委员会投票代替广播共识来给这些大块盖章。提案在 CIP 仓库里的状态是 Proposed,本文只按原文描述机制,不代表该设计已经或必然上主网。
两种区块各司其职
CIP 原文把 Praos 原本的区块改称排序区块(Ranking Block,RB):仍然由质押加权的 VRF 抽签产生、仍然按传统线性链互指、仍然承担全部共识功能。多出的一类对象叫背书块(Endorser Block,EB):赢得出块机会的池可以在同一个机会里同时产出一个 RB 和一个更大的 EB,EB 不直接装交易内容,而是引用一批还没来得及进 RB 的交易。RB 链的分发方式与 Praos 完全相同,EB 则走 CIP 专门的传输路径——头部先广播用于快速发现和作恶检测,主体和引用的交易随后按需拉取。节点转发 EB 数据时只做最少量校验,保证传播速度,完整的有效性判断留给投票委员会。接收节点收到 RB 头部后会发现其中公告的 EB 并主动获取其主体;若本地内存池尚无某条被引用的交易,就显式向邻居请求补齐。这种头部先行、按需取体的方式,正是把大体积数据从共识关键路径上摘下来的关键一步。
委员会怎么盖章
EB 被某个 RB 头部公告后进入一个等价性检测窗口,CIP 用三倍头部传播时界(3 个 L_hdr 时隙)来表述:这段时间用于确认该出块机会下没有出现多个互相冲突的 EB 版本。窗口结束后,按公告 EB 的 RB 时隙以质押截断方式选出的投票委员会在投票期(L_vote)内核验并投票。当收集到的投票对应的质押占比超过一个高门槛参数 τ(CIP 举例为 75%),EB 获得认证。原文解释了这个高门槛的用途:它保证即便对手持有五分之二的质押,认证完成时 EB 也已经被超过四分之一诚实节点知悉,从而可以在随后的扩散期(L_diff)内传到全网。

证书回写与时间约束
投票聚合成的紧凑证书由后续某个 RB 的生产者写进自己的块体,作为 EB 已通过委员会背书的证据。但证书不能立刻入链:CIP 规定的纳入规则是,自公告该 EB 的 RB 的时隙起,至少已经过三倍头部传播时界、投票期与扩散期之和那么多时隙,证书才有资格被包含;并且一旦某个 RB 选择了包含证书,它自己就不再多装交易,以免扩散负担拖累这条块的安全假设。被认证的交易在账本上以公告它的 RB 的状态为基准执行验证,后续 RB 组装状态时只需复核那些依赖账本状态的检查,签名之类的判定不重复执行。
为什么安全归约回 Praos
CIP 反复强调的一点是:任何包含 EB 证书的 RB 仍要在 Praos 原有的时界内被处理,共识结构、分叉选择与安全性论证全部沿用 RB 链。换句话说,Leios 用一层乐观的旁路把数据吞吐从排序节奏里解耦出来,最坏情况下退化为纯 Praos 行为——有些 EB 就是来不及在窗口内集齐票,CIP 的流程图把这类灰色 EB 明确画为不获采纳,链体不受影响。更远期的大规模吞吐方案(引入 SNARK 与数据可用性采样的完整版 Leios、对 UTXO 空间分片等)在设计文档里被描述为后续架构,与这份可先行落地的 Linear 版本属于同一路线图的不同阶段。评估这类提案时值得记住:吞吐量数字来自论文与模拟,真实主网表现取决于带宽分布、质押集中度与参数取值,上线状态以 CIP 仓库与官方实现进度为准。本文不构成投资建议,也不对任何资产的价格走势作判断。
发表评论
还没有评论,来说两句吧。
评论区为展示样式,提交不会被处理。