安全性與活性

安全性與活性是任何共識協議受檢驗的兩項根本保證，而本領域幾乎每一個設計抉擇，都是兩者之間的取捨。安全性意謂「壞事永不發生」：誠實節點絕不最終化兩段互相衝突的歷史，因此一旦定案便永遠定案。活性意謂「好事終會發生」：鏈持續推進，接受並最終化新交易，而非停滯不前。一個有用的直覺是：安全性關乎「永不出錯」，活性關乎「永不卡死」。

兩者存在真正的張力，因為真實網路並不可靠。一項經典的不可能性結論（FLP）證明，在訊息可被任意延遲的完全非同步網路中，沒有任何確定性協議能同時保證安全性與活性。因此實務系統假設部分同步，再選擇在嚴重的網路分區期間犧牲哪一項性質——這正是 CAP 定理為資料庫描述的同一難題。你可以有一條永遠保持一致但可能凍結的鏈，或一條永遠持續推進但可能暫時分叉的鏈。

不同的區塊鏈站在相反的一邊。Tendermint 與 PBFT 式的鏈偏好安全性：在惡劣分區下，它們寧可停擺也不冒最終化衝突區塊的風險。比特幣與以太坊的分叉選擇層偏好活性：它們在中斷期間持續出塊，接受由分叉選擇規則稍後化解的短暫分叉。以太坊是一種細緻的混合——其 LMD-GHOST 層優先活性，而 Casper FFG 在檢查點上提供安全性，至於不活躍洩漏，正是那個以「犧牲一點安全性（允許被分區的分叉各自最終化）」換取「在大停擺後恢復活性」的機制。