最終性裝置

最終性裝置是一個栓在出塊鏈之上的共識層，其唯一職責是把僅僅「很有可能」的區塊，蓋章為可證明、不可逆的最終區塊。底層的鏈也許持續延伸、偶爾分叉，如同中本聰式最長鏈規則；該裝置週期性地伸手下去，在驗證者之間執行一次拜占庭容錯投票，宣告「直到此處為止的一切現已永久定案」。「裝置」一詞意味著它是模組化的——是一層疊加物，而非取代底層出塊的東西。

其動機在於，純粹的最長鏈共識永遠只能提供機率式最終性：一個區塊在足夠多的確認後極不可能被回復，卻從未真正塵埃落定。對交易所、跨鏈橋與高價值應用而言，這個區別至關重要，因為一次深層重組無論多麼不可能發生，都是災難性的。最終性裝置以一道硬保證填補此缺口：越過已最終化的檢查點之後，回復不只是不太可能，而是需要超級多數的質押做出可被罰沒、可被證明的惡行。

以太坊的 Casper FFG 是最著名的例子，最終化位於紀元邊界的檢查點；Polkadot 的 GRANDPA 是另一個，一次最終化一整串區塊而非逐一處理。其共通設計把職責分開：一個活性層快速地持續提議區塊，而最終性裝置則較慢、且帶著經濟牙齒地供應安全性。主要的取捨是延遲——裝置通常在數十秒到一兩分鐘內最終化，而非瞬間——這就是在快速、易分叉的底層之上疊加確定性所付的代價。