Finality Gadget（最終性機制）

什麼是 Finality Gadget？

Finality Gadget 是區塊鏈共識中的一個元件，用來判定區塊或檢查點何時應視為已達最終性。

在協議的一般安全假設下，已完成最終性的區塊會被視為永久區塊鏈歷史的一部分。

若要撤銷已完成最終性的區塊，必須發生嚴重的共識故障、大量不誠實投票權參與、重大經濟懲罰，或特殊的社群介入。

「Gadget」表示最終性機制可以加入或結合至另一個負責產生區塊及選擇目前鏈的系統。

Finality Gadget 不一定負責決定哪位參與者建立下一個區塊。

它會收集驗證者投票，將特定區塊從近期提出的區塊提升為已合理化及已完成最終性的檢查點。

最知名的例子是 Casper the Friendly Finality Gadget，通常簡稱 Casper FFG。

Casper FFG 是 Ethereum 權益證明共識機制中的最終性元件。

Ethereum 將 Casper FFG 與 LMD-GHOST 分叉選擇規則結合，形成完整的共識設計 Gasper。

Ethereum 官方 Gasper 文件說明，Casper 負責使檢查點達到最終性，而 LMD-GHOST 協助節點選擇正確的鏈頭。

區塊鏈最終性代表什麼？

區塊鏈最終性是指已確認交易不會因日後的鏈重組而遭移除或變更的可信程度。

交易首先會納入一個待提出的區塊。

之後可能會有更多區塊及驗證者投票接續在該區塊之上。

隨著支持增加，撤銷該交易的機率或經濟可行性會降低。

已達最終性的交易，表示已達到協議中最強的標準確認等級。

最終性不代表每台電腦、網站、錢包或應用程式都已顯示該筆交易。

它代表區塊鏈共識系統已確認納入該交易的區塊。

Ethereum 詞彙表將最終性定義為一項保證：若要變更一組交易，就必須損失大量已質押的 ETH。

區塊鏈為什麼需要最終性？

區塊鏈讓許多彼此獨立的電腦共同維護一份交易紀錄。

網路延遲可能使不同節點幾乎同時收到不同的有效區塊。

這種情況可能暫時產生多個競爭分支，也就是分叉。

分叉選擇規則可協助節點決定目前應沿著哪個分支運作。

然而，稍後若有新的投票或區塊支持其他分支，目前分叉選擇規則選出的分支仍可能被取代。

Finality Gadget 會對較早的區塊建立更強的承諾。

檢查點一旦完成最終性，誠實節點就不應以相衝突的檢查點取代它。

這種承諾有助於加密貨幣使用者、應用程式、託管機構、跨鏈橋及智能合約判斷交易何時已充分結算。

為什麼稱為 Gadget？

Finality Gadget 稱為 Gadget，是因為它可以作為大型共識機制中的獨立模組運作。

即使區塊尚未達到完整最終性，底層系統仍可能持續快速提出區塊。

接著，Gadget 會將驗證者投票規則套用於選定的區塊或檢查點。

這種模組化架構將兩個相關但不同的問題分開處理。

第一個問題是，哪個區塊應視為目前的鏈頭。

第二個問題是，哪些較早的區塊已足夠安全，可視為達到最終性。

將這些功能分開，能讓區塊鏈頻繁產生區塊，同時以較低頻率套用更嚴格的共識規則。

區塊產生與區塊最終性

區塊產生是選出一位參與者建立並廣播新區塊的流程。

區塊最終性則是就某個區塊會留在主鏈中達成強共識的流程。

區塊鏈可能使用一種協議產生區塊，並使用另一種協議決定最終性。

Ethereum 使用權益證明驗證者，在各個 Slot 中提出區塊。

其分叉選擇規則會使用驗證者訊息識別鏈頭。

Casper FFG 則另外利用檢查點投票，合理化並使該鏈的部分區塊達到最終性。

其他區塊鏈可能採用不同的區塊產生協議，再加入自有的 Finality Gadget。

Finality Gadget 如何運作？

Finality Gadget 通常會收集驗證者的投票。驗證者會以具有經濟價值的資產或其他授權形式，為其決策提供支撐。

驗證者會檢視區塊鏈，並針對較早及較新的檢查點之間的關係投票。

較早的檢查點通常稱為來源檢查點（source）。

較新的檢查點通常稱為目標檢查點（target）。

若足夠的投票權支持兩者之間的關係，協議就會認定形成超級多數連結。

目標檢查點可能因此獲得合理化。

若後續檢查點持續形成符合要求的投票關係，較早且已合理化的檢查點便可能完成最終性。

若驗證者簽署相互矛盾的投票，可能會遭到削減質押資產（Slashing）或從驗證者集合中移除。

這些懲罰使相互矛盾的最終性決定在經濟上代價高昂。

什麼是檢查點？

檢查點是在固定邊界選定、供最終性投票使用的區塊。

Finality Gadget 不一定要求驗證者對每個區塊個別進行完整的最終性投票。

它可以改為對代表一組區塊的檢查點投票。

在 Ethereum 上，時間分為 Slot 與 Epoch。

目前每個 Slot 為 12 秒。

每個 Epoch 包含 32 個 Slot，因此約為 6.4 分鐘。

Epoch 開始時的區塊會作為該 Epoch 的檢查點。

若 Epoch 的第一個 Slot 沒有區塊，依照協議規則，最近一個較早的區塊可以代表該檢查點邊界。

Ethereum 官方檢查點定義說明，透過檢查點投票，可將一個 Epoch 中的驗證者活動整合為超級多數決定。

什麼是 Attestation？

Attestation 是驗證者針對區塊鏈狀態及鏈歷史所提交的投票。

在 Ethereum 上，Attestation 包含同時用於分叉選擇及最終性流程的資訊。

驗證者會投票選出自己認為應為鏈頭的區塊。

驗證者也會投票選出 Casper FFG 使用的來源檢查點及目標檢查點。

驗證者會在指定時間提交 Attestation。

正確且及時的 Attestation 有助網路選擇鏈並使檢查點完成最終性。

缺漏、延遲或彼此矛盾的 Attestation，可能降低驗證者獎勵或導致懲罰。

什麼是超級多數連結？

當代表至少三分之二相關活躍質押資產的驗證者投票，支持兩個檢查點之間的連結時，就形成超級多數連結。

這些投票表示目標檢查點是來源檢查點的有效後代。

三分之二門檻十分重要，因為兩個互相衝突且各自達到此比例的群體，至少會有三分之一的總質押量重疊。

若兩個相衝突的檢查點都完成最終性，至少有三分之一的質押量必須違反投票規則。

因此可以識別並懲罰這部分重疊的質押量。

這個門檻將共識安全性與可衡量的經濟後果連結起來。

什麼是已合理化的檢查點？

已合理化的檢查點，是指從較早且已合理化的檢查點取得所需超級多數支持的檢查點。

合理化代表已達到強烈共識，但尚未達到最終性。

已合理化的檢查點不太可能遭移除，但協議尚未賦予它最強的最終性狀態。

以簡化的 Ethereum 流程為例，驗證者首先透過三分之二超級多數連結，使較新的檢查點獲得合理化。

接著，若對後續檢查點持續投票，較早且已合理化的檢查點便可完成最終性。

什麼是已完成最終性的檢查點？

已完成最終性的檢查點，是指已合理化並取得最終性規則要求的額外投票關係的檢查點。

在常見的 Ethereum 範例中，檢查點 A 已獲得合理化。

接著，驗證者在檢查點 A 與下一個檢查點 B 之間建立超級多數連結。

檢查點 B 獲得合理化，而檢查點 A 則完成最終性。

位於已完成最終性檢查點 A 之前或與其相同的所有區塊，都會成為已完成最終性的鏈歷史一部分。

納入其中區塊的交易已達到 Ethereum 協議層級的最終性。

什麼是 Casper FFG？

Casper FFG 是 Casper the Friendly Finality Gadget 的縮寫。

這是一種權益證明最終性協議，設計上可覆蓋或補足區塊鏈的區塊產生及分叉選擇流程。

原始的 Casper FFG 研究論文描述了一種權益證明最終性系統，可在既有區塊鏈上增加更強的區塊回滾防護。

此設計結合驗證者存款、超級多數投票、檢查點最終性及 Slashing 條件。

Ethereum 在目前的權益證明共識系統中使用經修改的 Casper FFG。

Casper FFG 不應與整個 Ethereum 共識機制混為一談。

它提供最終性規則；其他元件則負責區塊提議、交易執行、網路傳輸及分叉選擇。

什麼是 Gasper？

Gasper 是 Ethereum 權益證明共識設計的名稱。

名稱結合了 GHOST 與 Casper。

LMD-GHOST 協助節點選擇目前的區塊鏈鏈頭。

Casper FFG 則負責合理化檢查點並使其完成最終性。

分叉選擇元件可快速回應新區塊及驗證者訊息。

最終性元件則提供較慢但在經濟上更強的區塊鏈歷史承諾。

兩者結合後，Ethereum 能在每個 Slot 產生區塊，同時在較長時間內達到完整最終性。

什麼是 LMD-GHOST？

LMD-GHOST 是 Latest Message Driven Greedy Heaviest Observed SubTree 的縮寫。

這是 Ethereum 共識客戶端使用的分叉選擇規則。

該規則會考量每位驗證者最新的有效訊息。

它會沿著區塊樹，選擇獲得驗證者最大權重支持的分支。

隨著新區塊及 Attestation 陸續到達，LMD-GHOST 所識別的目前鏈頭也可能改變。

在正常情況下，Casper FFG 會提供分叉選擇流程不應跨越的邊界。

因此，兩種機制處理的是相關但不同的共識問題。

Ethereum 達到最終性需要多久？

在網路正常運作時，Ethereum 目前約需 15 分鐘使區塊達到最終性。

每個 Epoch 包含 32 個、每個 12 秒的 Slot，因此約為 6.4 分鐘。

達到最終性通常需要連續 Epoch 中的檢查點取得足夠支持。

交易實際等待時間取決於其區塊在 Epoch 中的位置，以及足夠的驗證者投票何時完成處理。

在完全達到最終性之前，區塊的安全程度會逐漸提高，但仍未達到協議最強的結算狀態。

Ethereum 官方單 Slot 最終性路線圖指出，目前流程約需 15 分鐘。

最終性與區塊確認

區塊確認通常代表交易之後又新增了一個區塊或一段鏈上進展。

確認數增加通常會降低鏈重組的可能性。

以確認數衡量的安全性可能是機率式的，也就是隨時間經過，交易遭撤銷的可能性會降低，但未必降至絕對的數學零。

Finality Gadget 則根據驗證者共識及經濟懲罰，提供一種不同的協議狀態。

交易可能已有數次確認，但尚未完成最終性。

應用程式在設定入金或提領政策時，可以同時考量近期確認深度及最終性狀態。

機率式最終性與經濟最終性

隨著交易上方新增更多區塊，機率式最終性會逐漸提高。

撤銷較早區塊會越來越困難，因為攻擊者必須取代更多已被接受的鏈工作量或權重。

經濟最終性則依賴可能遭懲罰的驗證者承諾。

若要產生相互矛盾的已完成最終性歷史，驗證者必須違反規則，並讓其已質押資產承受風險。

Casper FFG 提供經濟最終性，因為不誠實地使區塊完成最終性，可能導致驗證者的大量質押資產遭削減。

「經濟」一詞很重要，因為最終性取決於違反共識的成本及後果，而非違反共識在物理上不可能發生。

最終性完全不可逆嗎？

最終性並非宣稱在任何可以想像的情況下都不可能逆轉。

它是一項協議保證：只要系統的安全假設仍成立，就不會發生逆轉。

只有在大規模驗證者違規、嚴重共識錯誤或災難性故障後社群作出決策等重大事件下，已完成最終性的區塊才可能受到挑戰。

一般網路延遲、錯過一個區塊或少量驗證者故障，不應使已完成最終性的歷史逆轉。

在實際加密貨幣應用中，已完成最終性的交易會被視為已結算，因為要變更這些交易必須付出極高成本並造成重大干擾。

什麼是 Slashing 條件？

Slashing 條件用來界定哪些驗證者行為可證明其簽署了相互矛盾的共識訊息。

Slashing 會銷毀部分或全部驗證者的質押加密貨幣，並使其退出目前的驗證者集合。

Casper 類型的最終性機制主要禁止兩類檢查點投票。

第一類是雙重投票。

第二類是包圍投票。

這些規則的設計目的，是讓相互矛盾且均已完成最終性的檢查點能揭露大量可懲罰的驗證者行為。

什麼是雙重投票？

雙重投票是指驗證者對相同的目標 Epoch 提交兩個不同的檢查點投票。

這等同於驗證者在同一個最終性期間支持相互矛盾的目標。

誠實驗證者在該 Epoch 只能提交一個有效的目標投票。

兩個相互矛盾的已簽署投票，可作為違規的密碼學證據。

什麼是包圍投票？

包圍投票是指同一位驗證者的一個投票包圍了另一個投票。

這代表其中一個投票的來源點較早，但目標點較晚，且涵蓋另一個投票的來源點與目標點。

此規則可防止驗證者支持在重疊範圍內相互衝突的檢查點歷史。

與雙重投票相同，包圍投票也可透過已簽署的訊息證明。

為什麼三分之一的質押量很重要？

三分之一門檻是 Casper FFG 安全性及活性特性中的關鍵。

要完成最終性，代表至少三分之二活躍質押量的投票必須支持檢查點。

兩個相互矛盾、各自代表三分之二的群體，至少會有三分之一的總投票權重疊。

如果這個重疊群體同時支持兩個相互矛盾的最終性決定，就必須違反 Slashing 條件。

因此，在協議假設下，要使相互矛盾的歷史都完成最終性，至少需要讓總質押量的三分之一面臨遭削減的風險。

Ethereum 官方權益證明文件說明，若要逆轉已完成最終性的歷史，攻擊者必須讓至少三分之一的總質押 ETH 面臨被銷毀的風險。

若超過三分之一的驗證者離線，會發生什麼事？

若超過三分之一的活躍質押量未能正確投票，剩餘驗證者便無法立即達到最終性所需的三分之二門檻。

區塊仍可繼續提出，分叉選擇規則也可繼續識別鏈頭。

然而，檢查點可能停止完成最終性。

這種情況稱為最終性延遲或活性故障。

最終性延遲不會自動表示區塊鏈已停止處理所有交易。

這表示協議最強的結算狀態沒有繼續推進。

什麼是 Inactivity Leak？

Inactivity Leak 是 Ethereum 的一種機制，旨在驗證者參與不足並持續一段時間後恢復最終性。

若最終性連續數個 Epoch 失效，未正確參與的驗證者便會開始以逐漸加快的速度損失質押資產。

活躍驗證者所占的剩餘有效質押比例會逐漸提高。

最終，活躍的一方可以重新取得完成檢查點最終性所需的三分之二超級多數。

Ethereum 獎勵與懲罰文件說明，Inactivity Leak 會降低未參與驗證者的影響力，直到參與投票的多數重新恢復最終性。

這項機制支援活性，但在重大網路分割或大規模驗證者故障期間，恢復可能需要時間。

安全性與活性

安全性是指誠實節點不會使兩段相互矛盾的區塊鏈歷史都完成最終性。

活性是指區塊鏈能持續推進，並使新的檢查點完成最終性。

Finality Gadget 必須在這兩項特性之間取得平衡。

面對不確定性時拒絕完成最終性，能維持安全性，但會延遲結算。

過於輕易地完成最終性，雖可提高速度，卻會削弱對相互矛盾歷史的防護。

Casper FFG 優先保障強安全性，並透過 Inactivity Leak 在長時間中斷後恢復活性。

什麼是最終性延遲？

最終性延遲是指新區塊仍持續產生，但檢查點未取得足夠的合格投票而無法完成最終性。

延遲可能源自驗證者故障、軟體錯誤、網路分割、錯誤的 Attestation 或蓄意攻擊。

在延遲期間，應用程式可能仍會顯示近期提出的交易。

然而，高價值系統可能會等到最終性恢復後，才將這些交易視為永久結算。

最終性延遲不應與已確認的鏈重組混淆。

它代表近期區塊的不確定性增加，而不表示區塊已遭移除。

什麼是雙重最終性？

雙重最終性是指兩個相互矛盾的檢查點看似都符合協議的最終性規則。

這代表嚴重的共識故障。

在一般 Casper FFG 模型下，至少三分之一的驗證者質押量必須簽署可遭 Slashing 的相互矛盾投票。

節點若觀察到兩段互相矛盾且均已完成最終性的歷史，就無法單靠一般分叉選擇規則自動解決問題。

可能需要鏈下協調及社群共識，以決定接受哪一段歷史。

因此，雙重最終性遠比一般短距離重組嚴重。

Finality Gadget 與鏈重組

鏈重組是指節點以競爭分支取代近期區塊。

在最終性完成前，因驗證者收到區塊及訊息的時間不同，可能發生小型重組。

Finality Gadget 會限制一般重組可以延伸的範圍。

誠實節點絕不應重組至與最新已完成最終性檢查點相衝突的分支。

接受尚未完成最終性的區塊之應用程式，必須考量仍可能發生短距離重組。

最終性與加密貨幣入金

加密貨幣入金服務可能會等到交易達到特定確認數或協議最終性後，才讓使用者使用資金。

若服務願意承擔有限的重組風險，較小額的入金可能在達到完整最終性前入帳。

較大額的入金可能需要更高的結算確定性。

所需等待時間是營運風險決策，並非通用的區塊鏈規則。

使用者應區分交易納入區塊、錢包顯示、服務入帳及最終結算。

最終性與跨鏈橋

跨鏈橋會監控一條區塊鏈，並在偵測到來源鏈事件後於另一條區塊鏈上採取行動。

若跨鏈橋在來源鏈達到最終性前就採取行動，可能處理一筆日後因重組而遭移除的轉帳。

攻擊者可能試圖在來源鏈交易消失前，先在目的鏈取得資產。

等待最終性可降低這種風險，但會延長轉帳時間。

跨鏈橋設計者也必須考量驗證者、中繼者、智能合約、輕客戶端及目的鏈的安全性。

來源鏈最終性只能保護整個跨鏈橋系統中的一個環節。

最終性與 Layer 2 網路

Layer 2 網路會在基礎區塊鏈之外處理交易，並將資料、證明或承諾發布回基礎鏈。

使用者可能先取得快速的本地確認，而相關基礎層交易尚未完成最終性。

完整結算可能取決於 Layer 2 的設計、證明系統、挑戰期、資料可用性及基礎層最終性。

在 Layer 2 應用程式中被描述為已完成的交易，可能尚未在底層區塊鏈上完成最終結算。

使用者應確認應用程式所指的是哪一種最終性。

最終性與智能合約

智能合約交易可能在其區塊完成最終性前就成功執行。

其他應用程式可能會立即在其暫時狀態之上建立後續操作。

鏈重組可能移除該筆交易，以及被取代分支中所有依賴其狀態的變更。

因此，高價值的鏈下操作應等待適當的確認或最終性等級。

由於交易會在單一區塊內執行，運作於同一條鏈上的智能合約通常無法在單筆交易中途等待未來的最終性。

對最終性敏感的工作流程通常需要後續交易、中繼者或鏈下監控。

什麼是 Weak Subjectivity？

Weak Subjectivity 是權益證明的一項特性：新節點或長時間離線的節點，需要近期可信的檢查點，才能安全辨識正確的鏈。

長程攻擊者可能利用早已提領質押資產的驗證者金鑰，建立一段替代歷史。

這些前任驗證者可能已沒有仍可遭一般 Slashing 的活躍質押資產。

近期的 Weak Subjectivity 檢查點會告訴節點，活躍社群認可哪段區塊鏈歷史。

Ethereum 官方 Weak Subjectivity 文件說明，近期檢查點如何保護同步中的節點，避免採用過時的替代歷史。

Weak Subjectivity 不代表每筆日常交易都需要信任中心化機構。

它主要適用於安全啟動尚未掌握近期鏈資訊的節點。

Weak Subjectivity 檢查點與已完成最終性的檢查點

已完成最終性的檢查點由協議的驗證者投票流程產生。

Weak Subjectivity 檢查點則是提供給新節點或長時間離線節點的近期可信參考點。

若節點觀察到兩個相互矛盾且均已完成最終性的檢查點，就能得知發生了嚴重共識故障，但無法自動辨識社群接受的分支。

若區塊與節點信任的 Weak Subjectivity 檢查點衝突，節點就會拒絕該區塊。

兩個概念彼此相關，但用途不同。

什麼是檢查點同步？

檢查點同步讓權益證明節點能從近期可信檢查點開始同步，而不必從創世區塊開始處理完整的共識歷史。

這可縮短啟動節點所需的時間。

節點必須從可信或經獨立驗證的來源取得檢查點。

使用惡意檢查點可能使節點進入錯誤的鏈。

節點營運者可比較多個獨立來源的檢查點，再決定是否採用某個數值。

Finality Gadget 與分叉選擇規則

分叉選擇規則會選出節點目前應遵循的分支。

Finality Gadget 則決定哪些較早的檢查點不應再被取代。

隨著新訊息到達，分叉選擇結果可能改變。

除非發生嚴重共識故障，已完成最終性的邊界應保持穩定。

Ethereum 的分叉選擇規則是 LMD-GHOST；Finality Gadget 則是 Casper FFG。

Finality Gadget 與共識機制

共識機制是用來維持共識的一整套規則、誘因、網路假設、分叉選擇邏輯、驗證者選擇及最終性流程。

Finality Gadget 是這套大型系統中的一個元件。

若將 Casper FFG 稱為整個 Ethereum 共識機制，就會忽略區塊提議、LMD-GHOST、交易執行、獎勵、網路傳輸及其他重要功能。

Ethereum 共識機制文件說明，共識是一整套協議與誘因，而不只是權益證明或單一投票演算法。

Finality Gadget 與權益證明

權益證明是一種依據已質押加密資產分配共識影響力的方法。

Finality Gadget 則是一套運用驗證者投票使區塊或檢查點完成最終性的規則。

權益證明區塊鏈可以使用 Finality Gadget，但兩者不可互換使用。

不同的權益證明網路可能採用不同的最終性規則、門檻、投票時程及懲罰。

Finality Gadget 與拜占庭容錯

拜占庭容錯描述分散式系統在部分參與者行為錯誤或惡意時，仍維持共識的能力。

許多 Finality Gadget 採用拜占庭容錯共識的概念。

超級多數投票門檻可讓系統容忍有限比例的驗證者權重發生故障。

經濟懲罰則在這些投票規則上增加權益證明的誘因層。

因此，Finality Gadget 是實際的區塊鏈元件；拜占庭容錯則是範圍更廣的分散式系統特性及研究領域。

作為 Finality Gadget 的 GRANDPA

GRANDPA 是 GHOST-based Recursive ANcestor Deriving Prefix Agreement 的縮寫。

這是 Polkadot 共識設計中使用的 Finality Gadget。

GRANDPA 與產生候選區塊的機制分開運作。

其驗證者會對鏈投票，並可使多個區塊中的共同祖先完成最終性，而不只一次處理一個新區塊。

Polkadot 官方共識文件將 GRANDPA 描述為非同步且可問責的 Finality Gadget。

Casper FFG 與 GRANDPA 顯示，Finality Gadget 概念可透過不同演算法實作。

採用獨立 Finality Gadget 的優點

獨立的 Gadget 可讓區塊快速產生，同時透過驗證者投票逐步建立更強的最終性。

它能提供明確的最終性，而不必讓使用者只依據確認深度自行估算安全性。

Slashing 條件可使部分共識違規行為受到公開證明及經濟懲罰。

模組化設計有助研究人員分別改良分叉選擇及最終性等協議元件。

即使最終性暫時延遲，也可能支援持續運作的區塊產生機制。

Finality Gadget 的限制

Finality Gadget 會增加協議複雜度。

驗證者必須管理金鑰、投票時程、網路連線及 Slashing 風險。

達到超級多數需要時間及通訊。

即使區塊持續產生，大量驗證者離線仍可能延遲最終性。

驗證者集中可能使協同行動或審查的後果更為嚴重。

在 Weak Subjectivity 假設下，新節點及長時間離線的節點可能需要近期可信檢查點。

經濟最終性也取決於已質押資產的實際價值及分布情況。

驗證者集中與最終性風險

若驗證者質押資產分散於彼此獨立的營運者、軟體客戶端、所在地及基礎設施供應商，Finality Gadget 會更安全。

質押量集中可能讓單一組織或協同行動的群體延遲最終性。

共同的軟體錯誤也可能同時影響許多驗證者。

若單一共識客戶端控制超過三分之一的質押量，嚴重錯誤可能阻止最終性。

若某個有缺陷的實作控制超級多數，後果可能更加嚴重。

Ethereum 客戶端多樣性指引說明，讓驗證者分散使用彼此獨立的客戶端實作，有助降低相關共識風險。

網路分割與最終性

網路分割是指不同驗證者群體之間無法可靠通訊。

各群體可能看到不同的區塊及 Attestation。

若任一方都未控制三分之二的活躍質押量，雙方都不應使新的檢查點完成最終性。

這種活性下降有助維持安全性，因為不同群體不容易使相互矛盾的歷史都完成最終性。

若分割持續足夠久，Inactivity Leak 最終可能使其中一方重新取得最終性。

由於不同區域的驗證者可能遭受懲罰，恢復過程可能需要謹慎協調。

Finality Gadget 會使無效交易完成最終性嗎？

Finality Gadget 不會取代一般的交易與區塊驗證。

執行客戶端會驗證簽章、餘額、智能合約規則及其他交易要求。

共識客戶端則會驗證區塊及驗證者規則。

在將驗證者支持視為有效之前，誠實節點會先拒絕無效區塊。

因此，若要使無效區塊完成最終性，必須發生涉及驗證者行為、客戶端軟體、實作假設或網路治理的嚴重故障。

最終性會使已接受的有效歷史難以逆轉，但在客戶端正常運作時，不會將明顯無效的交易變成有效交易。

驗證者能撤銷已完成最終性的區塊嗎？

遵循協議的驗證者不會投票支持與已完成最終性檢查點相衝突的鏈。

若一個群體試圖使替代歷史完成最終性，就需要足夠的投票權違反共識規則。

相互矛盾的投票會使至少部分不誠實的質押資產面臨 Slashing。

若攻擊者控制超過三分之二的質押量，可能暫時控制最終性，但經濟及社會後果將極其重大。

因此，使用者應區別已完成最終性的區塊與剛提出的區塊。

什麼是單 Slot 最終性？

單 Slot 最終性是一種提議中的區塊鏈設計，能在一個 Slot 內提出區塊並使其完成最終性。

Ethereum 目前的最終性流程約需 15 分鐘。

單 Slot 最終性可縮短應用程式及使用者的等待時間。

它也可能縮短近期區塊暴露於重組攻擊的時間。

要在 Ethereum 的規模下達成這項目標，需要有效率地彙整及驗證數量龐大的驗證者。

截至 2026 年 7 月，單 Slot 最終性仍屬於 Ethereum 未來路線圖的一部分，並非主網目前使用的最終性流程。

為什麼加快最終性並不容易？

加快最終性需要驗證者在更短時間內通訊、投票、彙整簽章並驗證結果。

全球驗證者網路會面臨延遲、暫時故障及連線品質不一致的問題。

要求每位驗證者在每個 Slot 投票，可能會造成大量頻寬及運算需求。

使用較小的委員會可以提高效率，但可能降低每張投票代表的經濟安全性。

協議設計者必須在速度、去中心化、安全性、硬體需求及韌性之間取得平衡。

最終性為何與加密貨幣交易者有關？

最終性有助交易者判斷，入金或轉帳是否不太可能因鏈重組而消失。

若交易只出現在近期提出的區塊中，仍面臨一定的重組風險。

已完成最終性的交易則已通過網路一般共識流程中最強的門檻。

即使服務較早入帳較小額交易，轉移大額資金的交易者仍可能選擇等待最終性。

最終性無法保護交易者免於將加密貨幣轉至錯誤地址、簽署惡意交易，或買入價格下跌的資產。

最終性為何與開發者有關？

開發者必須決定應在何時將鏈上事件視為已結算。

立即回應可提升速度，但會增加重組風險。

等待完整最終性可提升結算確定性，但會增加延遲。

若網路介面支援相關狀態，應用程式應區分已提出、安全及已完成最終性的區塊狀態。

跨鏈應用程式應考量來源鏈及目的鏈的最終性。

監控系統應偵測最終性延遲，而非假設最終性一定會按時推進。

最終性為何與驗證者有關？

驗證者透過及時且一致地發布 Attestation，協助區塊鏈達到最終性。

驗證者必須保護簽署金鑰，並避免執行可能產生相互矛盾訊息的設定。

必須謹慎設計備援系統，因為兩個使用相同金鑰且同時啟用的驗證者執行個體，可能造成雙重投票。

若軟體支援，驗證者應使用 Slashing 防護資料庫。

客戶端多樣性、可靠的時間同步、安全的網路及監控，也能降低最終性相關風險。

使用者如何查詢最終性？

區塊鏈瀏覽器或節點介面可能會標示區塊已完成最終性。

Ethereum 共識 API 也會提供已完成最終性檢查點的資訊。

錢包可能只將交易顯示為已確認，並未指出是否已達到完整最終性。

處理高價值轉帳時，使用者可將交易所在區塊與網路最新已完成最終性的區塊進行比較。

第三方介面可能顯示延遲或錯誤資料，因此關鍵系統可能會查詢自有節點或多個獨立來源。

對 Finality Gadget 的常見誤解

Finality Gadget 並非整個區塊鏈共識機制。

它不一定負責產生區塊。

近期已確認的區塊不一定已完成最終性。

最終性不代表每個應用程式都已將交易入帳。

在協議正常運作時，已完成最終性的交易無法逆轉，但理論上仍可能發生災難性的共識故障。

驗證者錯過一次投票不一定會遭到 Slashing。

Slashing 針對可證明的相互矛盾行為或嚴重不誠實行為；一般未參與投票通常只會受到較輕的懲罰。

最終性延遲不代表區塊鏈必然停止產生區塊。

Casper FFG 與 LMD-GHOST 並不相同。

單 Slot 最終性目前尚未在 Ethereum 主網啟用。

常見問題

加密貨幣中的 Finality Gadget 是什麼意思？

Finality Gadget 是一種共識元件，透過驗證者投票及經濟規則，判定區塊或檢查點何時應視為已達最終性。

Finality Gadget 的用途是什麼？

它用來建立強大的結算保證，並防止一般鏈重組取代已完成最終性的區塊鏈歷史。

最知名的 Finality Gadget 是什麼？

最知名的例子是 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 的 Epoch 有多長？

每個 Ethereum Epoch 包含 32 個、每個 12 秒的 Slot，總長約 6.4 分鐘。

一次 Ethereum 確認就代表最終性嗎？

不代表。區塊可以先獲得確認並成為目前鏈頭，之後才達到協議層級的最終性。

已完成最終性的交易可以逆轉嗎？

在正常運作下不會，因為逆轉需要驗證者嚴重違規、經濟懲罰或特殊的共識故障。

使檢查點完成最終性需要多少質押量？

建立相關超級多數連結需要至少代表三分之二活躍質押量的投票。

為什麼三分之一的質押量很重要？

超過三分之一的質押量可能延遲最終性；在一般 Casper 假設下，若相互矛盾的檢查點都完成最終性，至少三分之一的質押量會面臨遭削減的風險。

三分之一的驗證者離線時會發生什麼事？

由於剩餘投票權重無法達到所需的三分之二門檻，網路可能停止使新的檢查點完成最終性。

什麼是 Inactivity Leak？

這是一種在最終性長時間失效期間，逐漸降低未參與驗證者質押量的機制，讓活躍驗證者最終能重新取得超級多數。

最終性延遲會讓所有交易停止嗎？

不一定。即使新的檢查點未能達到最終性，區塊仍可能持續產生。

什麼是雙重最終性？

雙重最終性是指兩個相互矛盾的檢查點看似都完成最終性的嚴重共識故障。

什麼是雙重投票？

雙重投票是指驗證者對同一個目標 Epoch 簽署不同的檢查點目標。

什麼是包圍投票？

包圍投票是指驗證者的一個檢查點投票不當地包圍了同一驗證者提交的另一個投票。

什麼是 Slashing？

Slashing 是指驗證者在嚴重共識違規行為可被證明後，其質押資產遭銷毀，並被移出活躍驗證流程。

Finality Gadget 只有 Ethereum 使用嗎？

不是。其他區塊鏈系統也採用獨立的最終性機制，例如 GRANDPA Finality Gadget。

什麼是 GRANDPA？

GRANDPA 是一種對鏈投票並使共同祖先完成最終性的 Finality Gadget，且與區塊產生流程分開運作。

什麼是 Weak Subjectivity？

Weak Subjectivity 是指新的或長時間離線的權益證明節點，需要近期可信檢查點才能安全同步。

什麼是檢查點同步？

檢查點同步讓節點可從近期可信檢查點開始同步共識，而不必從創世區塊處理完整歷史。

什麼是單 Slot 最終性？

單 Slot 最終性是一種提議中的設計，讓區塊在同一個 Slot 內提出並完成最終性。

Ethereum 目前有使用單 Slot 最終性嗎？

沒有。截至 2026 年 7 月，這仍是未來路線圖的目標。

為什麼加密貨幣跨鏈橋要等待最終性？

等待最終性可降低跨鏈橋依據來源鏈交易發送資產或訊息後，該交易卻因重組遭移除的風險。

最終性可以防止錢包遭竊嗎？

不可以。最終性保護的是區塊鏈歷史，而非私鑰、錢包權限、智能合約安全或投資價值。

使用者如何確認區塊是否已完成最終性？

使用者可以透過可靠的區塊鏈瀏覽器或共識節點，將交易所在區塊與最新的已完成最終性檢查點進行比較。

結論

Finality Gadget 是區塊鏈共識中的一個元件，能將驗證者共識轉化為強大的結算保證。

它與區塊產生及分叉選擇規則並行運作，而非取代整個共識機制。

Ethereum 的 Casper FFG 透過檢查點投票、三分之二超級多數連結、合理化、最終性及 Slashing 條件，保護區塊鏈歷史。

Ethereum 將 Casper FFG 與 LMD-GHOST 結合，形成稱為 Gasper 的整體共識設計。

在正常運作時，若要取代已完成最終性的檢查點，必須有驗證者嚴重違反規則並承受重大經濟懲罰。

若離線或意見不一致的驗證者過多，Finality Gadget 可透過延遲最終性來維持安全性。

Ethereum 的 Inactivity Leak 設計目的，是在最終性長時間失效時降低未參與質押量的影響力，以恢復活性。

最終性對加密貨幣入金、跨鏈橋、Layer 2 系統、智能合約、驗證者，以及所有需要判定鏈上事件何時永久結算的應用程式都很重要。

Ethereum 目前約需 15 分鐘達到最終性，而單 Slot 最終性仍是未來的開發目標。

了解區塊提議、分叉選擇、確認、合理化及最終性之間的差異，有助加密貨幣使用者更準確地評估區塊鏈結算風險。