最终性工具

什么是最终性工具？

 

最终性工具是区块链共识组件，用于确定何时应将区块或检查点视为最终确认。

 

在协议的正常安全假设下，已最终确认的区块被视为永久区块链历史的一部分。

 

要逆转已最终确认的区块，需要发生严重的共识故障、大量投票权被恶意使用、造成重大经济惩罚，或出现特殊的社会层面干预。

 

“工具”一词表示，最终性机制可以添加到负责生成区块和选择当前链的另一套系统中，也可以与该系统结合使用。

 

最终性工具不一定负责决定由哪个参与者创建下一个区块。

 

它会收集验证者投票，将选定的区块从近期提出的区块升级为合理化和最终确认的检查点。

 

最广为人知的例子是 Casper the Friendly Finality Gadget，通常简称 Casper FFG。

 

Casper FFG 是 Ethereum 权益证明共识机制中的最终性组件。

 

Ethereum 将 Casper FFG 与 LMD-GHOST 分叉选择规则结合，构成完整的共识设计 Gasper。

 

Ethereum 官方 Gasper 文档说明，Casper 会最终确认检查点，而 LMD-GHOST 则帮助节点选择正确的链头。

区块链最终性是什么意思？

 

区块链最终性是指对已确认交易不会因之后的链重组而被移除或更改的信心水平。

 

交易首先会进入一个待提议的区块。

 

该区块之后可能会有更多区块生成，也可能获得验证者投票支持。

 

随着支持增加，逆转该交易的可能性或经济可行性会降低。

 

已最终确认的交易达到了协议规定的最高级别确认标准。

 

最终性并不意味着每台计算机、网站、钱包或应用都已经显示该交易。

 

这意味着区块链共识系统已确认包含该交易的区块。

 

Ethereum 术语表将最终性定义为：除非损失大量质押 ETH，否则一组交易无法更改。

区块链为什么需要最终性？

 

区块链允许许多独立计算机共同维护同一份交易历史。

 

网络延迟可能导致不同节点几乎同时收到不同的有效区块。

 

这种情况可能暂时产生相互竞争的分支，也就是分叉。

 

分叉选择规则可以帮助节点决定当前应跟随哪个分支。

 

不过，随着后续投票或区块支持另一个分支，当前分叉选择规则选出的分支仍可能被替换。

 

最终性工具会对较早的区块作出更强的承诺。

 

检查点一旦最终确认，诚实节点就不应将其替换为与之冲突的检查点。

 

这有助于加密货币用户、应用、托管机构、跨链桥和智能合约判断交易何时已充分结算。

为什么称为“工具”？

 

最终性工具之所以称为工具，是因为它可以作为较大共识机制中的独立模块运行。

 

底层系统可以继续快速提出区块，即使这些区块尚未达到完全最终性。

 

之后，工具会对选定区块或检查点应用验证者投票规则。

 

这种模块化结构将两个相关但不同的问题分开处理。

 

第一个问题是，哪个区块应被视为当前链头。

 

第二个问题是，哪些较早的区块已足够安全，可以视为最终确认。

 

将这两项功能分开，可以让区块链频繁生成区块，同时较低频地应用更严格的共识规则。

区块生成与区块最终性

 

区块生成是选择参与者创建并广播新区块的过程。

 

区块最终性是就某个区块将保留在规范链中达成强共识的过程。

 

区块链可能分别使用一种协议生成区块，另一种协议实现最终性。

 

Ethereum 使用权益证明验证者在各个时隙中提出区块。

 

其分叉选择规则会利用验证者消息识别链头。

 

Casper FFG 则单独使用检查点投票，对该链的部分区块进行合理化和最终确认。

 

其他区块链也可能采用不同的区块生成协议，并搭配自己的最终性工具。

最终性工具如何运作？

 

最终性工具通常会收集验证者的投票；这些验证者会以经济价值或其他授权形式为自己的决定提供保障。

 

验证者会检查区块链，并投票支持较早检查点与较新检查点之间的关系。

 

较早的检查点通常称为来源检查点。

 

较新的检查点通常称为目标检查点。

 

当足够多的投票权支持这两者之间的关系时，协议就会认可一条超多数链接。

 

目标检查点可以被合理化。

 

当后续检查点之间继续满足所需的投票关系时，较早的已合理化检查点便可最终确认。

 

签署相互矛盾投票的验证者可能会受到罚没，或被移出验证者集合。

 

这些惩罚会使相互矛盾的最终确认在经济上代价高昂。

什么是检查点？

 

检查点是在定期边界选出的区块，用于最终性投票。

 

最终性工具并不总是要求验证者对每个区块都进行完整的最终性投票。

 

相反，验证者可以对代表一组区块的检查点进行投票。

 

在 Ethereum 中，时间被划分为时隙和纪元。

 

目前，一个时隙持续 12 秒。

 

一个纪元包含 32 个时隙，因此持续约 6.4 分钟。

 

纪元开始时的区块作为该纪元的检查点。

 

如果纪元的第一个时隙中没有区块，根据协议规则，可以由更早的最近一个区块代表该检查点边界。

 

Ethereum 官方检查点定义说明，检查点投票可以将整个纪元中的验证者活动汇总为一项超多数决定。

什么是证明投票？

 

证明投票是验证者对区块链状态和链历史作出的投票。

 

在 Ethereum 中，证明投票包含分叉选择流程和最终性流程所需的信息。

 

验证者会投票支持其认定的链头区块。

 

验证者还会对 Casper FFG 使用的来源检查点和目标检查点进行投票。

 

验证者会被分配特定时间发布证明投票。

 

正确且及时的证明投票有助于网络选择链并最终确认检查点。

 

缺失、延迟或相互冲突的证明投票可能减少验证者奖励，或导致处罚。

什么是超多数链接？

 

当代表至少三分之二相关活跃质押量的验证者投票支持两个检查点之间的连接时，就形成了超多数链接。

 

投票表明，目标检查点是来源检查点的有效后代。

 

三分之二的门槛十分重要，因为两个相互冲突、规模都达到该门槛的群体，至少会有三分之一的总质押量重叠。

 

如果两个相互冲突的检查点都已最终确认，至少三分之一的质押量就必须违反投票规则。

 

这部分重叠质押量可以被识别并受到惩罚。

 

因此，该门槛将共识安全与可衡量的经济后果联系起来。

什么是合理化检查点？

 

合理化检查点是指从较早的已合理化检查点获得所需超多数支持的检查点。

 

合理化代表强共识，但还未达到最终状态。

 

合理化检查点不太可能被移除，但协议尚未赋予其最高级别的最终性状态。

 

按照简化后的 Ethereum 流程，验证者首先通过三分之二超多数链接合理化一个较新的检查点。

 

之后，对更晚检查点的持续投票可以最终确认较早的已合理化检查点。

什么是最终确认检查点？

 

最终确认检查点是指已合理化，并且满足最终性规则要求的额外投票关系的检查点。

 

以常见的 Ethereum 示例来说，检查点 A 已经合理化。

 

随后，验证者在检查点 A 与下一个检查点 B 之间建立超多数链接。

 

检查点 B 被合理化，而检查点 A 则被最终确认。

 

位于最终确认检查点 A 之前或与其对应的所有区块，都会成为已最终确认的链历史的一部分。

 

这些区块中的交易已达到 Ethereum 协议层面的最终性。

什么是 Casper FFG？

 

Casper FFG 是 Casper the Friendly Finality Gadget 的缩写。

 

这是一种权益证明最终性协议，旨在叠加于区块链的区块生成和分叉选择流程之上，或与之配合。

 

原始的 Casper FFG 研究论文介绍了一种权益证明最终性系统，可以为现有区块链增加更强的区块回滚保护。

 

该设计结合了验证者存款、超多数投票、检查点最终确认和罚没条件。

 

Ethereum 在当前权益证明共识系统中使用了经过修改的 Casper FFG。

 

Casper FFG 不应与整个 Ethereum 共识机制混为一谈。

 

它提供最终性规则，而其他组件负责区块提议、交易执行、网络通信和分叉选择。

什么是 Gasper？

 

Gasper 是 Ethereum 权益证明共识设计的名称。

 

这个名称结合了 GHOST 和 Casper。

 

LMD-GHOST 帮助节点选择当前的区块链链头。

 

Casper FFG 负责合理化并最终确认检查点。

 

分叉选择组件可以快速响应新区块和验证者消息。

 

最终性组件则以较慢的速度，为区块链历史提供更强的经济承诺。

 

两者结合后，Ethereum 可以每个时隙生成区块，同时在更长时间内实现完全最终性。

什么是 LMD-GHOST？

 

LMD-GHOST 是 Latest Message Driven Greedy Heaviest Observed SubTree 的缩写。

 

它是 Ethereum 共识客户端使用的分叉选择规则。

 

该规则会考虑每位验证者最近一条有效消息。

 

它会沿着区块树跟随获得验证者最大权重支持的分支。

 

随着新区块和证明投票到达，LMD-GHOST 识别出的当前链头可能发生变化。

 

在正常情况下，Casper FFG 会提供一道边界，分叉选择流程不应越过这道边界。

 

因此，这两种机制解决的是相关但不同的共识问题。

Ethereum 最终性需要多长时间？

 

在正常网络条件下，Ethereum 目前大约需要 15 分钟才能最终确认一个区块。

 

一个纪元包含 32 个 12 秒的时隙，因此持续约 6.4 分钟。

 

最终确认通常需要连续多个纪元中的检查点获得支持。

 

一笔交易实际等待的时间取决于其区块在纪元中的位置，以及何时处理了足够的验证者投票。

 

在达到完全最终性之前，区块的安全性可能会逐渐提高，但它尚未达到协议规定的最高结算级别。

 

Ethereum 官方单时隙最终性路线图指出，目前的流程大约需要 15 分钟。

最终性与区块确认数

 

区块确认数通常表示交易之后又新增了多少区块或链上进度。

 

确认数越多，发生链重组的可能性通常越低。

 

基于确认数的安全性可能是概率性的，也就是说，随着时间推移，交易被逆转的概率会逐渐变小，但在数学上可能永远无法绝对归零。

 

最终性工具会根据验证者共识和经济惩罚提供独立的协议状态。

 

交易可能已经获得多次确认，但尚未最终确认。

 

应用可以同时参考近期确认深度和最终性状态，以制定充值或提现政策。

概率性最终性与经济最终性

 

随着交易上方新增区块，概率性最终性会增强。

 

逆转较早的区块会越来越困难，因为攻击者必须替换更多已接受的链工作量或权重。

 

经济最终性依赖可受惩罚的验证者承诺。

 

如果产生相互冲突的最终确认历史，验证者就必须违反规则，并使其质押资产面临风险。

 

Casper FFG 提供经济最终性，因为不诚实的最终确认可能导致大量验证者质押资产被罚没。

 

“经济”一词很重要，因为最终性取决于不遵守网络共识规则所需付出的成本及其后果，而非在物理层面上完全无法逆转。

最终性是否完全不可逆？

 

最终性并不意味着在任何可以想象的情况下都不可能逆转。

 

它是一种协议保证：只要系统的安全假设继续成立，区块就不会被逆转。

 

只有在发生严重事件后，已最终确认的区块才可能受到挑战，例如大规模验证者违反规则、严重的共识漏洞，或灾难性故障后作出的社会层面决定。

 

普通网络延迟、单个区块遗漏或少数验证者宕机，不应导致已最终确认的历史被逆转。

 

在实际加密货币应用中，已最终确认的交易会被视为已结算，因为更改这类交易需要付出非同寻常的成本并造成重大扰动。

什么是罚没条件？

 

罚没条件规定哪些验证者行为可以证明其签署了相互矛盾的共识消息。

 

罚没会销毁验证者部分或全部质押的加密货币，并将其移出活跃验证者集合。

 

Casper 风格的最终性依赖两类主要的违规检查点投票。

 

一类是双重投票。

 

另一类是环绕投票。

 

这些规则旨在确保，如果出现相互冲突的最终确认检查点，就能发现大量可受惩罚的验证者违规行为。

什么是双重投票？

 

如果验证者为同一个目标纪元提交了两个不同的检查点投票，就构成双重投票。

 

这相当于验证者对同一个最终性周期中的相互冲突目标同时表示支持。

 

诚实验证者每个纪元只能发布一个有效的目标投票。

 

两份经过签名的冲突投票可以作为违规的加密证据。

什么是环绕投票？

 

如果同一验证者的一次投票环绕另一份投票，就构成环绕投票。

 

这意味着一份投票的来源检查点更早、目标检查点更晚，两者都超出了另一份投票的范围。

 

该规则可防止验证者支持在重叠范围内互相冲突的检查点历史。

 

与双重投票一样，环绕投票也可以通过签名消息加以证明。

为什么三分之一的质押量很重要？

 

三分之一的门槛对 Casper FFG 的安全性和活性至关重要。

 

最终确认需要代表至少三分之二活跃质押量的投票。

 

两个相互冲突、各自代表三分之二的群体，至少会有三分之一的总投票权重叠。

 

如果该重叠群体同时支持两项相互冲突的最终确认，就违反了罚没条件。

 

因此，在协议假设下，要最终确认相互冲突的历史，至少三分之一的总质押量必须面临被罚没的风险。

 

Ethereum 官方权益证明文档说明，要逆转已最终确认的历史，攻击者必须让至少三分之一的 ETH 总质押量面临被销毁的风险。

超过三分之一的验证者离线会怎样？

 

如果超过三分之一的活跃质押量未能正确投票，剩余验证者就无法立即达到最终确认所需的三分之二门槛。

 

区块仍可能继续被提出，分叉选择规则也仍可能继续识别链头。

 

但检查点可能会停止最终确认。

 

这种情况称为最终性延迟或活性故障。

 

最终性延迟并不自动意味着区块链已停止处理所有交易。

 

它意味着协议最高级别的结算状态没有继续推进。

什么是非活跃泄漏？

 

非活跃泄漏是 Ethereum 的一种机制，旨在验证者参与度不足导致最终性长时间中断后恢复最终性。

 

如果最终性连续多个纪元无法实现，未正确参与的验证者就会开始以递增速度损失质押资产。

 

活跃验证者在剩余有效质押量中的占比会逐渐增加。

 

最终，活跃一方可以重新达到最终确认检查点所需的三分之二超多数。

 

Ethereum 奖励与惩罚文档说明，非活跃泄漏会逐步降低未参与验证者的影响力，直至参与的多数方能够恢复最终性。

 

该机制有助于维持活性，但如果发生重大网络分区或大范围验证者故障，恢复可能需要时间。

安全性与活性

 

安全性是指诚实节点不会最终确认两段相互冲突的区块链历史。

 

活性是指区块链能够持续推进，并最终确认新的检查点。

 

最终性工具必须在这两种属性之间取得平衡。

 

在存在不确定性时拒绝最终确认可以保障安全性，但会延迟结算。

 

过于容易地实现最终确认可以提高速度，却会削弱对冲突历史的保护。

 

Casper FFG 优先保障强安全性，并利用非活跃泄漏在长时间中断后恢复活性。

什么是最终性延迟？

 

最终性延迟是指新区块仍在生成，但检查点未获得足够的合格投票而无法最终确认。

 

验证者宕机、软件漏洞、网络分区、证明投票不正确或蓄意攻击，都可能导致延迟。

 

在延迟期间，应用可能继续显示最近提出的交易。

 

不过，高价值系统可能会等待最终性恢复后，才将这些交易视为永久结算。

 

最终性延迟不应与已确认的链重组混为一谈。

 

延迟表明最近区块的不确定性增加，并不证明这些区块已经被移除。

什么是双重最终确认？

 

双重最终确认是指两个相互冲突的检查点都看似满足协议的最终确认规则。

 

这属于严重的共识故障。

 

在正常的 Casper FFG 模型下，至少三分之一的验证者质押量必须签署可被罚没的冲突投票。

 

节点如果观察到两段相互冲突、都已最终确认的历史，就无法通过普通分叉选择规则自动解决问题。

 

可能需要通过链下协调和社会共识来确定应当接受哪段历史。

 

因此，双重最终确认远比普通的短程链重组严重。

最终性工具与链重组

 

链重组是指节点用竞争分支替换近期区块。

 

最终性实现之前，由于验证者接收区块和消息的时间不同，可能会发生小规模重组。

 

最终性工具会限制普通重组可延伸的范围。

 

诚实节点绝不应重组至与最新最终确认检查点冲突的分支。

 

接受未最终确认区块的应用必须考虑仍然存在的短程重组可能性。

最终性与加密货币充值

 

加密货币充值服务可能会等待交易达到指定确认数或协议最终性后，才开放资金使用。

 

如果服务愿意承担有限的重组风险，金额较小的充值可能会在完全最终确认之前入账。

 

金额较大的充值可能需要更强的结算确定性。

 

所需等待时间属于运营风险决策，并非适用于所有区块链的统一规则。

 

用户应区分交易被纳入区块、钱包显示交易、服务将交易记账以及最终结算。

最终性与跨链桥

 

跨链桥会监控一条区块链，并在检测到源链事件后于另一条区块链上采取行动。

 

如果跨链桥在源链达到最终性之前采取行动，之后被链重组移除的转账可能仍已被处理。

 

攻击者可能试图在源链交易消失之前，先在目标链上收到资产。

 

等待最终确认可以降低这种风险，但会延长转账时间。

 

跨链桥设计者还必须考虑验证者、中继器、智能合约、轻客户端和目标链的安全性。

 

源链最终性只能保护整个跨链桥系统的一部分。

最终性与 Layer 2 网络

 

Layer 2 网络会在基础区块链之外处理交易，并将数据、证明或承诺发布回基础链。

 

在相关基础层交易最终确认之前，用户可能已经在本地获得快速确认。

 

完全结算可能取决于 Layer 2 的设计、证明系统、挑战期、数据可用性和基础层最终性。

 

在 Layer 2 应用中被称为最终的交易，可能尚未在底层区块链上完成最终结算。

 

用户应确认应用所指的是哪种最终性。

最终性与智能合约

 

智能合约交易可以在其所在区块最终确认之前成功执行。

 

其他应用可能立即在该交易产生的临时状态之上执行更多操作。

 

链重组可能会移除该交易，以及被替换分支中所有依赖该交易的状态变更。

 

因此，高价值的链下操作应等待达到适当的确认或最终性级别后再执行。

 

在同一条链上运行的智能合约通常无法在单笔交易中途等待未来的最终性，因为交易是在一个区块内执行的。

 

对最终性敏感的流程通常需要后续交易、中继器或链下监控。

什么是弱主观性？

 

弱主观性是权益证明系统的一种属性：新节点或长期离线的节点需要最近的可信检查点，才能安全识别正确链。

 

远程历史攻击者可能利用早已退出质押的验证者密钥，尝试创建一段替代历史。

 

这些前验证者可能已无活跃质押资产可供常规罚没。

 

最近的弱主观性检查点会告知节点，当前活跃社区认可的是哪段区块链历史。

 

Ethereum 官方弱主观性文档说明，最近的检查点如何保护同步节点免受过时替代历史的影响。

 

弱主观性并不意味着每天的每笔交易都要信任某个中心化机构。

 

它主要适用于安全启动那些缺少区块链近期信息的节点。

弱主观性检查点与最终确认检查点

 

最终确认检查点由协议的验证者投票流程产生。

 

弱主观性检查点是提供给新节点或长期离线节点的近期可信参考。

 

如果节点观察到两个相互冲突、都已最终确认的检查点，就有证据表明发生了严重的共识故障，但无法自动识别社会层面接受的分支。

 

如果某个区块与节点信任的弱主观性检查点冲突，节点就会拒绝该区块。

 

这两个概念彼此相关，但安全用途不同。

什么是检查点同步？

 

检查点同步允许权益证明节点从最近的可信检查点开始同步，而无需从创世区块开始处理完整的共识历史。

 

这可以缩短节点启动所需的时间。

 

节点必须从可信或经过独立验证的来源获取检查点。

 

使用恶意检查点可能使节点进入错误的链。

 

节点运营者可以比较多个独立来源提供的检查点，再决定是否依赖某个值。

最终性工具与分叉选择规则

 

分叉选择规则决定节点当前应跟随哪个分支。

 

最终性工具决定哪些较早的检查点不应再被替换。

 

随着新消息到达，分叉选择结果可能发生变化。

 

除非出现严重的共识故障，否则最终确认边界应保持稳定。

 

Ethereum 的 LMD-GHOST 是分叉选择规则，Casper FFG 则是最终性工具。

最终性工具与共识机制

 

共识机制是维护各方一致所需的一整套规则，包括激励、网络假设、分叉选择逻辑、验证者选择和最终性流程。

 

最终性工具只是这一大型系统中的一个组件。

 

如果把 Casper FFG 称为 Ethereum 的整个共识机制，就忽略了区块提议、LMD-GHOST、交易执行、奖励、网络通信和其他重要功能。

 

Ethereum 共识机制文档说明，共识包含一整套协议和激励机制，而不仅仅是权益证明或某一种投票算法。

最终性工具与权益证明

 

权益证明是一种根据质押的加密资产分配共识影响力的方法。

 

最终性工具则是一套利用验证者投票来最终确认区块或检查点的规则。

 

权益证明区块链可以使用最终性工具，但两者不能互换使用。

 

不同权益证明网络可能采用不同的最终性规则、门槛、投票安排和惩罚机制。

最终性工具与拜占庭容错

 

拜占庭容错是指分布式系统在部分参与者行为不当或存在恶意的情况下，仍维持一致意见的能力。

 

许多最终性工具都会采用拜占庭容错共识中的理念。

 

超多数投票门槛可以让系统容忍有限比例的验证者权重出现故障。

 

经济惩罚为这些投票规则增加了权益证明激励层。

 

因此，最终性工具是实际的区块链组件，而拜占庭容错则是更广泛的分布式系统属性和研究领域。

作为最终性工具的 GRANDPA

 

GRANDPA 是 GHOST-based Recursive ANcestor Deriving Prefix Agreement 的缩写。

 

它是 Polkadot 共识设计中使用的一种最终性工具。

 

GRANDPA 与生成候选区块的机制相互独立。

 

其验证者会对链进行投票，并可以一次性最终确认多个区块共有的祖先，而不是每次只最终确认一个新区块。

 

Polkadot 官方共识文档将 GRANDPA 描述为异步且可问责的最终性工具。

 

Casper FFG 和 GRANDPA 表明，最终性工具这一概念可以通过不同算法实现。

单独设置最终性工具的优势

 

单独设置最终性工具，可以让区块快速生成，同时通过验证者投票逐步建立更强的最终性。

 

它可以提供明确的最终性，而不是让用户只根据确认深度估算安全性。

 

罚没条件可使某些共识违规行为被公开证明并受到经济惩罚。

 

模块化设计可以让研究人员分别改进分叉选择和最终性这两个协议组件。

 

即使最终性暂时延迟，它也可能支持区块生成机制继续运行。

最终性工具的局限

 

最终性工具会增加协议复杂性。

 

验证者必须管理密钥、投票安排、网络连接和罚没风险。

 

达到超多数需要时间和通信。

 

即使区块仍在生成，大量验证者宕机也可能导致最终性延迟。

 

验证者集中可能使协调失效或审查问题更加严重。

 

根据弱主观性假设，新节点和长期离线节点可能需要最近的可信检查点。

 

经济最终性还取决于质押资产的实际价值和分布情况。

验证者集中与最终性风险

 

验证者质押量分布于相互独立的运营者、软件客户端、地点和基础设施提供商之间时，最终性工具会更安全。

 

质押量集中可能让某个组织或协调团体延迟最终性。

 

常见的软件漏洞也可能同时影响大量验证者。

 

如果某个共识客户端控制超过三分之一的质押量，严重漏洞就可能阻止最终性实现。

 

如果某个有缺陷的实现控制了超多数，后果可能更加严重。

 

Ethereum 客户端多样性指南说明，为何将验证者分散到相互独立的客户端实现上有助于降低相关共识风险。

网络分区与最终性

 

网络分区是指不同验证者群体无法彼此可靠通信。

 

每个群体可能看到不同的区块和证明投票。

 

如果任何一方都不控制三分之二的活跃质押量，任何一方都不应最终确认新的检查点。

 

活性损失有助于保护安全性，因为这些群体不容易最终确认相互冲突的历史。

 

如果分区持续足够长时间，非活跃泄漏最终可能使其中一方重新获得最终性。

 

由于分区两侧的验证者都可能受到惩罚，恢复过程可能需要谨慎协调。

最终性工具会最终确认无效交易吗？

 

最终性工具不会取代常规交易和区块验证。

 

执行客户端会验证签名、余额、智能合约规则和其他交易要求。

 

共识客户端会验证区块和验证者规则。

 

诚实节点会在认可验证者支持之前拒绝无效区块。

 

因此，要最终确认无效区块，需要发生涉及验证者行为、客户端软件、实现假设或网络治理的严重故障。

 

最终性使已接受的有效历史难以逆转，但在客户端正常运行的情况下，并不会将明显无效的交易变成有效交易。

验证者能否逆转已最终确认的区块？

 

遵守协议的验证者不会投票支持与最终确认检查点冲突的链。

 

试图将替代链历史确认为最终版本的群体，需要掌握足够的投票权，才能推动不符合原有网络共识规则的历史版本获得最终确认。

 

相互冲突的投票会使至少一部分不诚实质押量面临罚没。

 

涉及超过三分之二质押量的攻击可能暂时控制最终确认，但其经济和社会后果将极其严重。

 

因此，用户应区别对待已最终确认的区块和刚提出的区块。

什么是单时隙最终性？

 

单时隙最终性是一种拟议中的区块链设计，旨在一个时隙内提出并最终确认区块。

 

Ethereum 目前的最终确认流程大约需要 15 分钟。

 

单时隙最终性可以缩短应用和用户的等待时间。

 

它还可能缩短近期区块可遭受重组攻击的时间。

 

要在 Ethereum 的规模下实现这一目标，需要高效汇总和验证数量庞大的验证者。

 

截至 2026 年 7 月，单时隙最终性仍属于 Ethereum 未来路线图的一部分，而非主网当前使用的最终性流程。

实现更快最终性为何困难？

 

实现更快最终性，需要验证者在更短时间内完成通信、投票、汇总签名和验证结果。

 

全球验证者网络会面临延迟、临时宕机和连接质量不均等问题。

 

如果要求每位验证者在每个时隙都投票，可能会带来巨大的带宽和计算需求。

 

采用较小的委员会可以提高效率，但可能降低每次投票所代表的经济安全保障。

 

协议设计者必须在速度、去中心化、安全性、硬件要求和韧性之间取得平衡。

最终性为何与加密货币交易者有关？

 

最终性有助于交易者判断充值或转账是否不太可能因链重组而消失。

 

如果交易仅显示在最近提出的区块中，仍然存在一定的重组风险。

 

已最终确认的交易已通过网络最强的常规共识门槛。

 

即使服务会提前为小额交易入账，转移大额资金的交易者也可能选择等待最终确认。

 

最终性无法保护交易者免于向错误地址发送加密货币、签署恶意交易，或购买价格下跌的资产。

最终性为何与开发者有关？

 

开发者必须决定应用应在何时将链上事件视为已结算。

 

立即响应可以提升速度，但会增加重组风险。

 

等待完全最终确认可以提高结算信心，但会增加延迟。

 

如果网络接口支持，应用应区分已提出、安全和已最终确认的区块状态。

 

跨链应用应考虑源链和目标链的最终性。

 

监控系统应检测最终性延迟，而不应假定最终确认总能按时推进。

最终性为何与验证者有关？

 

验证者通过及时、一致地发布证明投票，帮助实现最终性。

 

他们必须保护签名密钥，并避免使用可能产生冲突消息的配置。

 

故障切换系统必须经过谨慎设计，因为两个同时运行、使用同一密钥的验证者实例可能造成双重投票。

 

在软件支持的情况下，验证者应使用防罚没数据库。

 

客户端多样性、可靠的时间同步、安全的网络和监控，也有助于降低最终性相关风险。

用户如何查看最终性？

 

区块链浏览器或节点界面可能会将区块标记为已最终确认。

 

Ethereum 共识 API 也会提供最终确认检查点信息。

 

钱包可能只会显示交易已确认，却不显示是否已达到完全最终性。

 

处理大额转账的用户可以将交易所在区块与网络最新的最终确认区块进行比较。

 

第三方界面可能显示延迟或错误的数据，因此关键系统可以查询自己的节点，或多个独立信息源。

关于最终性工具的常见误解

 

最终性工具并非整个区块链共识机制。

 

它不一定负责生成区块。

 

近期已确认的区块不一定已最终确认。

 

达到最终性并不意味着每个应用都已将交易记入账户。

 

在正常协议运行下，已最终确认的交易无法逆转，但理论上仍可能发生灾难性共识故障。

 

验证者漏投一票不会自动导致罚没。

 

罚没针对的是可以证明的冲突行为或严重不诚实行为，而普通漏投通常只会受到较轻的惩罚。

 

最终性延迟并不自动意味着区块链停止生成区块。

 

Casper FFG 不等同于 LMD-GHOST。

 

单时隙最终性目前尚未在 Ethereum 主网上启用。

常见问题

加密货币中的最终性工具是什么意思？

 

最终性工具是共识组件，它利用验证者投票和经济规则，确定何时应将区块或检查点视为最终确认。

最终性工具有什么作用？

 

它旨在提供强有力的结算保障，防止正常链重组替换已最终确认的区块链历史。

最著名的最终性工具是什么？

 

Casper the Friendly Finality Gadget，即 Casper FFG，是最著名的例子，并用于 Ethereum 权益证明共识系统中。

FFG 是什么的缩写？

 

FFG 是 Friendly Finality Gadget 的缩写。

Casper FFG 与 Ethereum 权益证明相同吗？

 

不相同。Casper FFG 是 Ethereum 更广泛权益证明共识机制中的最终性组件。

什么是 Gasper？

 

Gasper 是 Ethereum 的共识设计，结合了 Casper FFG 最终性工具和 LMD-GHOST 分叉选择规则。

Casper FFG 和 LMD-GHOST 有什么区别？

 

Casper FFG 负责最终确认检查点，LMD-GHOST 则负责选择当前区块链链头。

什么是已最终确认的区块？

 

已最终确认的区块是在正常协议运行下无法移除的区块；要移除它，必须发生严重共识故障，并导致验证者受到重大惩罚。

什么是合理化检查点？

 

合理化检查点从较早的已合理化检查点获得了符合要求的超多数链接，但不一定已达到最终性。

什么是超多数链接？

 

这是获得相关活跃验证者质押量至少三分之二支持的检查点投票。

Ethereum 最终性需要多长时间？

 

在正常条件下，Ethereum 目前大约需要 15 分钟才能达到完全协议最终性。

Ethereum 的一个纪元有多长？

 

一个 Ethereum 纪元包含 32 个、每个持续 12 秒的时隙，持续约 6.4 分钟。

一次 Ethereum 确认就代表最终确认吗？

 

不代表。区块可以获得确认并被接受为当前链头，但尚未达到协议层面的最终性。

已最终确认的交易可以逆转吗？

 

正常运行下无法逆转，因为逆转需要验证者严重违反规则、受到经济惩罚，或发生特殊的共识故障。

最终确认检查点需要多少质押量？

 

需要代表活跃质押量至少三分之二的投票，才能形成相关的超多数链接。

为什么三分之一的质押量很重要？

 

超过三分之一的质押量可以延迟最终性；而在正常 Casper 假设下，相互冲突的最终确认会导致至少三分之一的质押量面临罚没。

三分之一的验证者离线后会怎样？

 

由于剩余投票权重无法达到所需的三分之二门槛，网络可能会停止最终确认新的检查点。

什么是非活跃泄漏？

 

这是在最终性长时间失效期间逐渐削减未参与验证者质押量的机制，使活跃验证者最终能够重新获得超多数。

最终性延迟会停止所有交易吗？

 

不一定。即使新的检查点无法达到最终性，区块仍可能继续被提出。

什么是双重最终确认？

 

双重最终确认是一种严重的共识故障，指两个相互冲突的检查点看似都已最终确认。

什么是双重投票？

 

双重投票是指验证者为同一个目标纪元签署不同的检查点目标。

什么是环绕投票？

 

环绕投票是指验证者的一次检查点投票不当地环绕了同一验证者作出的另一份投票。

什么是罚没？

 

罚没是指验证者因可证明的严重共识违规行为而被销毁质押资产，并被移出活跃验证者集合。

最终性工具只用于 Ethereum 吗？

 

不是。其他区块链系统也使用独立的最终性机制，包括 GRANDPA 最终性工具。

什么是 GRANDPA？

 

GRANDPA 是一种对链进行投票并最终确认共同祖先的最终性工具，其运行与区块生成流程相互独立。

什么是弱主观性？

 

弱主观性是指新的或长期离线的权益证明节点需要最近的可信检查点，才能安全同步区块链。

什么是检查点同步？

 

检查点同步允许节点从最近的可信检查点开始同步共识，而不必从创世区块处理完整历史。

什么是单时隙最终性？

 

单时隙最终性是一种拟议设计，旨在同一时隙内提出并最终确认区块。

Ethereum 目前使用单时隙最终性吗？

 

不使用。截至 2026 年 7 月，单时隙最终性仍是未来路线图中的目标。

加密货币跨链桥为什么要等待最终性？

 

等待最终性可以降低这样一种风险：跨链桥基于源链交易发放资产或发送消息，而该交易后来被链重组移除。

最终性可以防止钱包被盗吗？

 

不能。最终性保护的是区块链历史，而非私钥、钱包权限、智能合约安全或投资价值。

用户如何查看区块是否已最终确认？

 

用户可以将交易所在区块与可靠区块链浏览器或共识节点报告的最新最终确认检查点进行比较。

结论

 

最终性工具是区块链共识组件，可将验证者共识转化为强有力的结算保障。

 

它与区块生成和分叉选择规则协同运行，而不是取代整个共识机制。

 

Ethereum 的 Casper FFG 利用检查点投票、三分之二超多数链接、合理化、最终确认和罚没条件来保护区块链历史。

 

Ethereum 将 Casper FFG 与 LMD-GHOST 结合，构成名为 Gasper 的整体共识设计。

 

在正常运行下，如果没有验证者严重违反规则并受到重大经济惩罚，已最终确认的检查点就不会被替换。

 

如果验证者离线或意见不一致的人数过多，最终性工具可以通过延迟最终确认来维护安全性。

 

Ethereum 的非活跃泄漏旨在通过降低长期未参与质押量的影响力，在最终性长时间失效期间恢复活性。

 

最终性对于加密货币充值、跨链桥、Layer 2 系统、智能合约、验证者，以及所有需要判断链上事件何时永久结算的应用都十分重要。

 

Ethereum 目前的最终性需要约 15 分钟，而单时隙最终性仍是未来的开发目标。

 

了解区块提议、分叉选择、确认、合理化和最终确认之间的区别，有助于加密货币用户更准确地评估区块链结算风险。