终局

    区块链技术中的“最终性”指的是，一旦交易被确认并添加到分布式账本中，网络中的任何参与者都无法撤销、更改或取消该交易。它标志着数字资产的转移不可逆转，账本的新状态被视为永久性的。最终性是任何区块链系统最基本的属性之一，因为它提供了链上所有经济活动赖以存在的确定性——如果没有最终性，任何人都无法确信款项是否真正收到，或者资产是否真正发生了转移。

    在传统金融领域，交易的最终性由中央银行、清算机构和结算系统（如Fedwire或SWIFT）等中心化机构强制执行，这些机构会在交易通过其处理流程后宣布交易完成。 分散 在系统中，实现最终性要困难得多，因为没有单一的权威机构可以做出最终声明。相反，最终性必须源于共识机制本身——即数千个独立节点在互不信任的情况下就账本状态达成一致的规则。

    区块链系统中存在几种不同的最终性类型。概率最终性（比特币和其他工作量证明链所使用的类型）意味着交易被撤销的概率随着后续区块的增加呈指数级下降，但理论上永远不会达到绝对零。绝对（或确定性）最终性（例如 Tendermint 等拜占庭容错（BFT）共识协议中实现的类型）意味着一旦区块被提交，只要恶意验证者少于三分之一，从数学上讲就不可能撤销它。经济最终性（例如以太坊的权益证明系统所使用的类型）意味着撤销已完成的交易需要销毁巨额的质押资金，因此在经济上不合理。理解这些区别对于交易所、桥接器、支付处理商和 DeFi 协议至关重要，因为它们必须决定在将交易视为已结算之前等待多长时间。

    起源与历史

    2008年： 中本聪在比特币白皮书中引入了概率最终性的概念，他用数学方法证明，攻击者成功撤销交易的概率会随着区块数量的增加呈指数级下降。这为后来被广泛接受的六确认机制奠定了基础，该机制最终成为业内普遍认可的最终性门槛。

    2009年： 比特币诞生后，基于确认的最终性机制开始在整个生态系统中发展。早期的交易所采用了不同的确认要求，通常从几个区块到六个区块不等，这逐渐形成了在速度和安全性之间取得平衡的现实做法。

    1999年： 麻省理工学院的米格尔·卡斯特罗和芭芭拉·利斯科夫发表了《实用拜占庭容错》（PBFT）一书，为分布式系统中的确定性最终性奠定了重要的学术基础。这项工作后来直接影响了区块链共识的设计。

    2014年： Jae Kwon 发表了 Tendermint 白皮书，提出了一种基于拜占庭容错（BFT）的共识引擎，该引擎能够提供即时、确定性的最终性——一旦足够多的验证者投票支持某个区块，该区块就会立即且永久地被确认。这是经典 BFT 共识在区块链设计中的首批实际应用之一，其目标是在个位数秒内实现最终性。

    2015年： 以太坊最初采用与比特币类似的PoW共识机制和概率最终性机制，但区块生成速度更快（最初目标约为15秒，但实际速度会随时间变化）。以太坊创始人Vitalik Buterin开始发表关于PoS机制的研究，以期获得更强的最终性保证。

    2017年： Interchain 基金会成功为 Cosmos 网络进行了 ICO（筹集了约 17 万美元），用于资助基于 Tendermint 的基础设施开发。由 Vitalik Buterin 和 Virgil Griffith 设计的 Casper FFG（Friendly Finality Gadget，友好最终性小工具）也于今年被提议作为以太坊的最终性覆盖层。

    2019年： Cosmos Hub 主网于 3 月上线，成为首批证明 Tendermint 的 BFT 即时最终性模型可以扩展到生产环境的主要公共区块链之一——与 2017 年的融资相比，这是一个显著的差距，反映了新型 PoS/BFT 系统的实际开发时间表。

    2020年： 以太坊信标链随 Casper FFG 一同上线，为以太坊生态系统引入了经济最终性。经过两个纪元（约 12.8 分钟）后最终确认的交易将不可逆转，除非攻击者愿意牺牲至少三分之一的质押 ETH。

    2022年： 以太坊完成了合并，将整个网络过渡到权益证明机制，并实现了经济最终性。单槽位最终性（SSF）的研究加速推进，旨在将以太坊的最终性确认时间从大约 13 分钟缩短到大约 12 秒——只需一个槽位即可完成。

    2023-2026： 单槽最终性（SSF）成为以太坊的主要研究重点之一。以太坊基金会及其他机构的研究人员探索了基于委员会和聚合签名的方案，以在不牺牲去中心化的前提下实现SSF。在此期间，以太坊也偶尔会出现最终性延迟——例如，2023年5月，一个客户端软件漏洞导致区块生成后数小时内无法最终确认，之后才恢复正常。

    简单来说

    最终性就像合同上的墨迹干透的那一刻。在墨迹干透之前，有人可以涂抹或擦掉签名。但一旦墨迹干透，文件就永久有效，具有法律约束力。在区块链中，最终性指的是交易一旦完成就无法被任何人“涂抹”的时刻。

    想象一下用积木搭建一座塔。刚堆好一块积木后，很容易就能把它推倒，重新排列。但堆上六七块之后，整个结构就非常稳固，想要在不让整个结构倒塌的情况下拆掉最底层的积木几乎是不可能的。比特币的概率终局性就是如此运作的——每个新区块都会让之前的交易更加安全。

    想象一下在一个大型集会上进行投票。如果只有少数人举手，结果可能会受到质疑。但一旦三分之二的与会者投票完毕，主席敲下议事槌，决定就最终确定，不可更改。这就是基于 BFT 的区块链（例如 Tendermint）实现即时最终性的方式——一旦绝大多数验证者达成一致，结果就被锁定。

    以银行电汇为例。当你发起转账时，它处于“待处理”状态。在银行处理完毕且收款银行确认收到款项后，资金就“结算”了。在区块链中，最终性类似于这种结算时刻——只不过，你依赖的不是一两家银行，而是众多独立的验证者，它们都认可这笔交易的有效性。

    想象一下浇筑人行道混凝土的过程。刚浇筑好时，你可以调整它的形状。几个小时后，它开始硬化（概率性最终状态）。24小时后，它就坚硬如石，永久固定（绝对性最终状态）。想要把它凿开，需要用到电锤，而且要付出巨大的努力。

    重要提示： 并非所有区块链都以相同的方式或速度实现交易最终性。比特币交易通常在 6 次确认后（约 60 分钟）被视为实际最终，而基于 Tendermint 的区块链则可在几秒钟内实现即时最终性。以太坊的经济最终性大约需要 13 分钟（2 个 epoch）。在将交易视为不可逆之前，务必验证您所使用区块链的最终性模型。

    关键技术特征

    概率终局性（中本共识）

    • 比特币、莱特币、狗狗币和其他工作量证明链都使用这种技术。
    • 区块链上每增加一个区块，交易被撤销的概率就会呈指数级下降。
    • 经过 6 次比特币确认（约 60 分钟）后，对于不掌握大量网络算力的攻击者而言，成功逆转的概率将降至极低。
    • 理论上，最终性永远不是绝对的——总存在重组的可能性（虽然这种可能性微乎其微）。
    • 安全性取决于网络的总哈希率和攻击者的相对计算能力。

    绝对/确定性最终性（BFT共识）

    • 被 Tendermint、Cosmos、Avalanche（通过 Snowman 共识）和其他基于 BFT 的协议使用
    • 一旦区块获得超过三分之二验证者集合的投票，它就会立即且永久地被提交。
    • 只要验证者中拜占庭式（恶意或有缺陷的）验证者少于三分之一，就不可能进行区块链重组。
    • 区块最终确定通常在一轮投票内即可完成，一般只需几秒钟。
    • 权衡：需要一个已知且数量有限的验证者集合，这相比于无需许可的工作量证明（PoW）而言，可能会限制去中心化程度。

    以太坊权益证明中的最终性机制是如何运作的

    • 选择一个验证者来提议当前时隙（约 12 秒）的新区块。
    • 提议的区块会广播到网络，并由验证者委员会进行验证。
    • 证明会在一个纪元内累积（32 个时隙，约 6.4 分钟）。
    • 第一个纪元之后，区块达到“已确认”状态——一种初步的最终状态。
    • 在第二个 epoch 构建完成后，区块在经过验证的检查点之后达到“最终”状态（总共约 12.8 分钟）。
    • 除非至少三分之一的质押 ETH（价值非常巨大）被罚没，否则已完成的区块无法撤销。
    • Casper FFG 小工具通过对任何投票支持冲突的最终区块的验证者进行自动惩罚来强制执行此操作。

    单槽位最终性（SSF）——活跃研究

    • 目标：在单个以太坊时隙（约 12 秒）内实现最终性，而不是两个 epoch（约 13 分钟）。
    • 省去了“合理化”的中间步骤，直接从提案到最终定稿。
    • 挑战包括将来自庞大验证器集合的签名聚合到单个槽位中。
    • 提出的方法包括基于委员会的遴选和各种签名聚合方案。
    • 这将显著改善目前需要等待 13 分钟以上才能完成交易的交易所、桥接器和 DeFi 协议的用户体验。

    二层解决方案的最终性

    • 乐观型汇总（Arbitrum、Optimism）继承了以太坊的最终性，但增加了大约 7 天的原生提现挑战期。
    • ZK汇总 (zkSync、StarkNet) 一旦在链上验证了有效性证明，就能相对快速地实现最终性。
    • 状态通道（闪电网络）提供即时的链下最终确认，并以链上结算作为后备保障。
    • 跨链桥梁必须考虑源链和目标链的最终性模型。

    优点缺点

    优势缺点
    交易确定性：最终性消除了支付撤销的风险，从而实现了互不相识的双方之间无需信任的商业交易和结算。等待时间：实现强最终性需要等待——比特币大约需要 60 分钟，以太坊大约需要 13 分钟——对于实时零售支付而言，如果没有 Layer-2 或其他替代方案，这是不切实际的。
    防止双重支付：一旦交易完成，就不可能被“双重支付”，这是任何货币体系的基本安全保障。复杂性：不同的最终性模型（概率性、绝对性、经济性）会给开发者和用户带来困惑，他们必须了解每条链的具体保证。
    DeFi 基金会：可组合的 DeFi 协议依赖于最终性来确保抵押品存入、互换和清算一旦执行就不可逆转。中心化权衡：更快的确定性最终性（BFT）通常需要更小的、已知的验证者集合，与工作量证明（PoW）相比，这可能会降低去中心化程度。
    交易所安全：最终确认机制决定了交易所在记入存款前需要多少次确认，这直接影响到每日大额交易的安全。活性与安全性：优先考虑绝对最终性的BFT系统，如果超过三分之一的验证节点离线，则可能完全停止运行，以牺牲活性为代价来换取安全性。
    桥接安全性：跨链桥接依赖于源链的最终性来防止资产被桥接后源交易被撤销的攻击。最终性机制的开销：在现有协议中添加最终性层（例如 Casper FFG）会引入额外的协议复杂性、新的攻击面以及验证者职责。
    法律合规性：监管框架越来越重视数字资产交易的可证明结算最终性，而区块链的最终性可以帮助实现这一点。错误不可逆转：已完成交易的永久性意味着任何机构都无法撤销错误或欺诈性交易，因此需要严密的保障措施。
    智能合约可靠性：智能合约可以依赖最终状态来执行后续逻辑，从而实现复杂的多步骤协议而不会出现竞争条件。分叉不兼容：在极端治理场景下，硬分叉可能会追溯性地改变“已完成”交易的历史记录，从而破坏不可逆性的保证。

    风险管理

    过早的最终性假设

    • 在未获得足够确认的情况下将交易视为最终完成，可能会使用户和企业面临双重支付攻击的风险。
    • 缓解措施：实施与特定区块链最终性模型相一致的确认策略（通常 BTC 为几个区块，ETH 为 2 个 epoch，Tendermint 链为 1 个区块）。
    • 密切关注行业标准——各大交易所都会发布各自的确认要求，这些要求会因平台和存款规模的不同而略有差异。

    51%攻击/验证者串通

    • 在工作量证明（PoW）链上，控制了大部分算力的攻击者可以重组链并撤销“已完成”的交易。
    • 在 PoS/BFT 链上，超过三分之一的验证者串通作弊可以阻止最终状态的达成，或者产生相互冲突的最终状态。
    • 缓解措施：选择总算力或总质押价值高的区块链；监控验证者分布和去中心化指标。
    • 攻击比特币最终性（即回滚多个区块）的成本通常估计高达数十亿美元；而攻击以太坊的经济最终性则要求攻击者愿意损失至少三分之一的质押ETH，这一成本会随着ETH价格和质押总量的波动而变化。

    最终性延迟/存活失败

    • 基于 BFT 的链如果离线的验证者过多，可能会出现最终性延迟，因为剩余的验证者数量可能无法达到三分之二的阈值。
    • 由于客户端软件错误，以太坊偶尔会出现最终性延迟（例如，2023 年 5 月发生的一起事件，区块已生成但一段时间内未最终确定，之后才恢复正常）。
    • 缓解措施：实施最终结果延迟预警系统；针对依赖及时最终结果的应用制定应急计划

    跨链最终性不匹配

    • 当在具有不同最终性模型的区块链之间进行资产桥接时，较弱链的最终性决定了桥接的安全性。
    • 缓解措施：桥接器应基于最慢的最终性模型强制执行确认要求；使用欺诈证明或有效性证明来增强安全性。

    文化相关性

    最终性已成为区块链设计理念中最具争议的话题之一，它处于计算机科学理论和实际货币政策的交汇点。比特币社区接受概率最终性——即认为“足够好”的确定性实际上等同于绝对确定性——体现了一种务实的工程理念。与之相反，拜占庭容错（BFT）社区坚持确定性保证，则反映了一种根植于分布式系统理论的学术传统。

    在比特币社区，“六次确认”已成为“这笔交易安全”的文化符号。它是加密货币领域最广为人知的最终性验证方法之一，许多新用户都会学习，交易所也经常引用。然而，这一标准也受到批评，有人认为它对于小额交易过于保守，而对于大额交易则不够谨慎。

    以太坊对单槽最终性（SSF）的追求，代表着区块链社区更广泛的文化转变，即对更快结果的需求。随着DeFi协议、NFT市场和跨链桥的经济重要性日益增长，以太坊大约13分钟的最终性等待时间已被开发者视为用户体验瓶颈。SSF的研究议程反映了社区部分成员的信念，即最终性验证的理想速度应该足够快，让终端用户感觉接近即时。

    “经济最终性”的概念也已进入更广泛的金融词汇，各机构正在研究区块链最终性模型是否符合受监管金融体系中结算最终性的法律要求。

    实际例子

    比特币交易所存款确认

    场景： 交易员将比特币存入交易所，以便在市场上涨期间执行有时效性的交易。

    实施： 交易所通常要求比特币充值获得 2 到 6 次确认，具体次数取决于平台和充值金额。每次确认都会在交易区块上添加一个新区块，从而显著降低交易被撤销的概率。交易者会观察确认计数器逐渐增加，直至达到所需的阈值。

    结果： 一旦达到所需的确认数，交易所就会将存款记入账户，交易者即可执行交易。概率最终性模型旨在将存款被撤销的风险降至极低，即使攻击者不掌握大量的网络算力。

    Cosmos IBC 跨链即时最终转账

    场景： DeFi 用户通过跨区块链通信 (IBC) 协议将 ATOM 从 Cosmos Hub 转移到另一条 Cosmos 生态系统链，以参与流动性池。

    实施： 由于 Cosmos Hub 连接的链通常使用 Tendermint BFT 共识机制，每个区块都能在几秒钟内完成最终确认。IBC 中继器检测到源链上的最终转账后，会向目标链提交一个证明，目标链会根据源链的最终状态验证该证明。

    结果： 整个跨链转账过程可以快速完成。Tendermint 的绝对最终性消除了长时间等待或欺诈证明的必要性，使得 IBC 转账相对于基于以太坊的桥接方式而言速度更快、更安全。以太坊桥接方式需要大约 13 分钟（对于乐观桥接方式而言，时间可能更长）的最终性确认窗口。

    以太坊 DeFi 清算取决于最终性

    场景： Aave平台上的一位借款人有一笔抵押贷款，其健康因素接近清算阈值。ETH价格暴跌，触发了清算。

    实施： 清算机器人提交一笔交易，用于偿还部分债务并索取抵押品。该交易被打包进一个区块，并在一个周期（约 6.4 分钟）后达到“已确认”状态。经过第二个周期（总共约 12.8 分钟）后，该区块由 Casper FFG 最终确认。

    结果： 清算在大约两个周期后即达到经济上的最终结果，这意味着清算人可以高度确信结果已尘埃落定。如果最终性无法得到保证，理论上链重组可以逆转清算，但随着质押价值的增长，攻击者为此付出的代价将极其高昂。

    萨尔瓦多的支付处理

    场景： 萨尔瓦多的一家商户通过闪电网络接受比特币支付。

    实施： 闪电网络在支付通道内提供即时的链下最终确认。客户的付款可在几秒钟内得到确认。底层比特币结算（通常需要多次确认才能最终确认）则在通道关闭或重新平衡后进行。

    结果： 商家无需等待链上比特币对每笔交易进行最终确认，即可近乎即时地获得零售交易的最终结果。二层解决方案有效地实现了“先确认后结算”的模式，使比特币在日常购物交易速度方面能够更接近银行卡网络。

    对比表

    特性概率终局性（比特币）经济最终性（以太坊 PoS）绝对终结（Tendermint/Cosmos）
    最终类型概率性的——绝非绝对的经济效益——逆转成本非常高昂确定性的——在诚实的绝对多数下，数学上不可逆的
    终局之时通常认为，高置信度下耗时约为 60 分钟（6 次确认）。约13分钟（2个周期）通常为个位数秒
    安全基础网络总哈希率（PoW）质押的 ETH 总数 + 罚金2/3+ 验证者投票权（BFT）
    逆转成本需要重新挖矿多个区块，对于主要区块链而言，这通常估计需要数十亿美元。攻击者必须接受至少三分之一质押的 ETH 被罚没的惩罚，这是一笔数额不定但非常巨大的美元损失。需要破坏超过三分之一的验证器集。
    活体保证是的——链条总是在不断向前推进。部分最终性验证可能会因验证者离线而延迟。条件性 – 如果超过三分之一的验证者离线，则停止运行
    分叉的可能性是的——可能出现孤立块和重组。非常罕见——Casper FFG的设计旨在正常情况下防止这种情况发生。在诚实的绝对多数制下，这实际上是不可能的。
    验证器集开放式、无需许可的矿工开放式、无需许可的质押者有界的、已知的验证器集

    相关条款

    • 共识机制 – 分布式节点就区块链状态达成一致的协议，直接决定链提供的最终性类型。
    • 区块确认 – 每个新区块都附加在交易区块之后，从而逐步增强工作量证明链上的概率最终性。
    • Casper FFG – 以太坊友好最终性小工具，它在权益证明区块生产机制之上叠加了经济最终性。
    • Tendermint BFT – 拜占庭容错共识引擎，提供即时、确定性的最终性，并为 Cosmos 生态系统提供支持。
    • 双重支出 – 最终性可防止的主要攻击是同一数字资产在两个相互冲突的交易中被花费。
    • 链重组——替换规范链中的区块，可以撤销尚未达到足够最终性的交易。
    • 结算——交易不可撤销地完成的过程，类似于传统金融系统中区块链的最终性。
    • 削减 – 权益证明中的惩罚机制，通过销毁试图最终确定冲突区块的验证者的权益来强制执行经济最终性。
    • 拜占庭容错 – 即使某些参与者恶意行事，系统仍能继续正常运行的特性，是确定性最终性模型的基础。
    • 单槽最终性 – 以太坊的一项提议升级，旨在在单个 12 秒槽内实现最终性，从而大幅缩短最终性时间，从大约 13 分钟缩短至 13 分钟。
    • 乐观 Rollup – 一种二层扩容解决方案，继承了以太坊的最终性，但增加了一个大约 7 天的挑战窗口，以实现原生提现最终性。
    • 工作证明 – 共识机制，其中计算努力产生区块，提供与累积工作量成比例的概率最终性。

    常见问题解答

    问：概率性最终性和绝对性最终性之间有什么区别？ 答：比特币使用的概率最终性意味着交易被撤销的可能性随着每个新区块的生成呈指数级下降，但数学上永远不会降至零。经过 6 个比特币确认后，对于典型的攻击者来说，撤销交易的概率极小。而像 Cosmos 这样基于拜占庭容错（BFT）的区块链使用的绝对最终性则意味着，一旦区块被绝大多数验证者确认，根据协议的诚实多数假设，在数学上就不可能撤销——要么是最终的，要么不是。

    问：以太坊合并后，最终确认需要多长时间？ 答：以太坊在两个epoch后达到经济最终性，大约需要12.8分钟（64个槽位，每个槽位12秒）。此后，撤销交易至少需要罚没三分之一的质押ETH（价值非常巨大）。以太坊基金会正在积极研究单槽位最终性（SSF），以将这一时间缩短至约12秒，但截至撰写本文时，尚未确定具体的部署日期。

    问：为什么交易所对不同区块链需要不同的确认次数？ 答：每条区块链都有不同的最终性模型、区块时间和安全性预算。比特币的区块时间约为 10 分钟，采用工作量证明（PoW）安全模型，因此交易所通常需要几到六次确认。以太坊的权益证明（PoS）最终性机制可能会导致交易所要求大额存款完成大约 13 分钟的最终性流程，甚至可能需要等待部分或全部确认。而采用即时拜占庭容错（BFT）最终性的区块链（例如 Cosmos 和 Avalanche）可能只需要一次或几次确认。交易所通常会根据攻击者撤销存款所需的成本来调整其要求。

    问：已完成的交易可以撤销吗？ 答：实际上，在安全可靠的主流网络上，这种情况极不可能发生。在比特币上，撤销一笔经过多次确认的交易需要大量的挖矿硬件和电力。在以太坊上，撤销一笔已完成的交易需要控制大部分质押者，并接受其质押金额的自动罚没。在拜占庭容错（BFT）链上，则需要控制超过三分之一的验证者。虽然理论上在某些极端情况下可能发生，但对于安全可靠的主流网络而言，这些攻击在经济上是不合理的。

    问：什么是单槽最终性？以太坊何时会实现它？ 答：单槽最终性（SSF）是一项拟议的升级方案，它允许以太坊区块在单个槽位（约 12 秒）内完成最终确认，而不是目前需要两个周期（约 13 分钟）的过程。它是以太坊的关键长期研究重点之一。实现上的挑战包括在 12 秒内聚合来自庞大验证者集合的签名。截至撰写本文时，SSF 仍在积极研究中，尚未确定部署日期。

    问：最终性如何影响跨链桥的安全性？ 答：跨链桥必须等待源链交易最终确认后才能在目标链上释放资产。如果桥在源链交易真正最终确认之前释放代币，攻击者可以撤销源链交易（通过重组或多数攻击），同时保留桥接的代币——这实际上就相当于双重支付。这就是为什么信誉良好的桥会强制执行严格的确认要求。历史上发生的桥漏洞事件（包括 Ronin Bridge 黑客事件）凸显了最终确认验证在桥设计中的关键作用。

    问：最终性是否适用于智能合约状态的改变？ 答：是的。最终性适用于整个区块，包括区块内的所有交易和状态变更。当智能合约执行某个功能（例如转移 NFT、更新 DeFi 头寸或记录治理投票）时，该状态变更及其所在的区块都会被最终确定。这正是 Aave 和 Uniswap 等 DeFi 协议能够依赖最终区块的原因之一：一旦最终确定，在正常的网络环境下，由此产生的状态变更预计不会被撤销。

    来源

    相关文章：

    相关文章

    最新资源和博客