上一篇文章讲了 Cardano 往哪走、凭什么信它。这篇把镜头怼到最硬的部分:Dijkstra 到底改了什么, 为什么能改出"无限扩展"和"两分钟结算"。我用一个问题串起全篇: 一条共识链的瓶颈, 到底卡在哪里?

所有链的那个天花板: 一个公式

几乎每条公链都被同一个物理约束卡住: 新块必须被全网快速看到。这事的逻辑链条其实不长: 区块是共识的载体, 全网要对着同一份账本续写; 一个块如果太大、太久没传完, 就会有节点在没看到它的时候先出了下一个块, 两个分支同时生长, 链就裂。所以在"块大"和"块勤"之间只能二选一, 吞吐被锁死在"块大小 ÷ 出块周期"这个公式里——任何一条把安全性建立在全球同步上的链, 都逃不出它。

这就能解释为什么"链上扩容"听起来像死局: 加大块, 传不完; 缩短周期, 不持久; 只剩把活搬走——以太坊就是这么做的, 搬到 L2。三条路没有一条动过公式本身, 全是绕着它走。

Leios: 把"排序"和"装货"拆开, 天花板就不在了

Leios 的聪明, 是否认了公式的前提。我第一次读到这个思路时的反应是: 全网同步难道不该同步所有数据吗? 想了一遍才发现, 节点之间真正吵不起来的只有一件事——顺序。谁的块在前、谁的交易在后, 这件事必须全网立刻一致; 至于交易内容本身, 晚几秒到达没有人在乎。公式之所以成立, 是把"必须同步的顺序"和"可以异步的数据"捆在了一起, 而 Leios 把它们拆开了。

拆法是给区块分两个角色（Leios 最初的三层设计我在《Cardano 史上最大升级》里拆过, 这里只讲现在的 Linear 两层版）。Ranking Block(排序块, RB)又小又轻, 只管"谁先谁后", 传播方式和今天完全一样, 全网同步, 安全模型一点没动。Endorser Block(背书块, EB)是个大块头, 引用成批交易, 不再挤共识的同步通道, 走专门的带宽管道扩散; 它由按质押选出的委员会验证, 高阈值投票(如 75%)通过后发证书上链。

flowchart TB
    T[一笔交易] --> EB[Endorser Block 背书块<br/>装成批交易<br/>走带宽管道扩散]
    EB --> V[质押委员会验证<br/>高阈值投票 如 75%]
    V --> CERT[证书]
    CERT --> RB[Ranking Block 排序块<br/>小快灵 全网同步<br/>记录 EB 与顺序]
    RB --> CHAIN[上链]

沿着一笔交易的路径走一遍就明白了: 发出一笔交易, 它被打包进某个 EB, 沿着带宽管道扩散出去; 委员会验证这个 EB、凑够投票、发出证书; RB 继续按老节奏出块, 把"哪些 EB、什么顺序"记下来。同步通道里跑的还是那个小快灵的排序块, 重货全都走了旁边的管道。

关键转折在这里: “必须同步"的部分(排序) 和 “可以异步"的部分(装货) 被彻底分离。需要全网同步的保持小快, 装货放进带宽管道——这就是为什么安全模型没被拆掉: 排序层没变小变脆弱, 装货层有委员会背书兜底。

为什么这就叫"无限扩展”

吞吐公式为什么成立? 因为它假设所有数据都得挤进那个要全网同步的小块里。Leios 打破的正是这个假设: 交易不再进排序块, 而是进背书块, 背书块走带宽管道, 理论上可以一直产生。

于是新的公式变成: 吞吐 ≈ 网络带宽 ÷ 每笔交易大小。天花板从"协议死规则"转移到了"网络物理带宽”——带宽是基础设施的能力, 能随网络升级往上涨, 不像协议参数调满就没了。

所以"无限"不是玄学, 而是把上限的决定权从协议交还给了物理世界。排序永远线性、安全永远补齐, 只有吞吐跟着带宽走。8 月的公开测试已经跑出主网约 6 倍的峰值, 主网能到多少, 取决于交易大小和网络状况。

Peras: 结算从 12 分钟压到 2 分钟

吞吐是"能装多少", 结算关心"钱什么时候算数"。这曾是 Cardano 最吃亏的一环。今天的 Praos 是概率性结算: 一个块后面堆的块越多, 它被回滚的概率越低, 但任何时候都不存在一条硬边界说"到此为止, 铁定不翻"。交易所只好用笨办法——多等确认, 等到回滚概率低到可以忽略, 按 Cardano 的出块节奏就是十二分钟上下。

Peras 的解法, 是在 Praos 上叠一层投票。时间切成一轮一轮, 每轮按质押比例抽出投票委员会; 委员会成员对自己认可的块签名投票; 同一轮里凑够法定人数, 这些签名就聚成一张证书。

这张证书改变的是出块博弈的力学。Praos 里两个竞争分支的权重靠块数慢慢拉开, 谁也不能立刻压倒谁; 而被证书 boost 的块, 权重瞬间"变重", 普通出块在可比时间内根本追不上。想回滚一个已认证的块, 光重新出块没有用——证书是一轮之内由委员会签出的一次性签名集合, 对抗者没有办法靠继续出块把它"重算"出来, 唯一的路径是再凑一个法定人数, 而那正是协议设计上最难的事。

投票失败也不会出事: 某一轮凑不够法定人数, 就进冷却期, boost 失效, 链退回 Praos 的老逻辑, 等网络状况恢复再重新投票。快是加了速的快, 稳还是原来那个稳——自愈, 而非硬撑。

这套机制把高度确认的时间从约 12 分钟压到约 2 分钟。对普通持币人, 2 和 12 的差别可以忽略; 但对跨链桥、partner chains、交易所、高价值 DeFi 和机构结算, 这是真金白银——结算等待期里锁着的每一分钟都是成本。加密和投票证书能做到极小, 配合形式化 Agda 规范, 论文已过 SCN ‘26 评审。

成本: 让资源费别再肉疼

吞吐和速度上去了, 还剩一个用起来贵不贵的问题, 这笔账 Dijkstra 也算了。7 月的 van Rossem 硬分叉已经更新了 Plutus 成本模型——智能合约每一步计算在链上计什么价, 就由这套模型决定——合约执行随之变便宜, 这是 Leios 之前先垫下的第一块石头。**Nested Transactions(嵌套交易)**则动的是结构: 把复杂交易里的子交易组织成嵌套结构, 资源分配和复用更聪明, 总执行开销随之下降。

串起来: 装得多、确认快、花得省

三件事其实是同一条链路: 装得多(Leios)、确认快(Peras)、花得省(Nested Transactions)。而它站稳的前提, 是两条都不会塌: Leios 把信任放在线性链, Peras 良性环境加速、恶劣环境回退到保守协议——安全模型是一点没放水。

所以我的判断是, Dijkstra 的价值不在一个漂亮的 TPS 数字里, 它真正做的, 是把 Cardano 从"慢但稳"挪向"快、稳、不贵“的结算层。两个阶段(Q4 2026 的 Leios 与 Nested Transactions、Q2 2027 的 Peras)走完测试和投票, 就见真章了。

文章链接：