權益證明與拜占庭共識

不活躍洩漏

不活躍洩漏是以太坊在大批驗證者同時離線時——例如大型資料中心故障、全國性斷網、或把網路一分為二的分區——用以恢復最終性的緊急機制。Casper FFG 需要超過三分之二的總質押投票才能最終化,因此若大量質押消失,鏈會持續出塊卻停止最終化。放著不管,它將無限期停滯。洩漏的解法,是逐步從未參與的驗證者身上抽乾質押。

當鏈超過四個紀元未能最終化時,便進入洩漏模式。每位未證明的驗證者累積一個不活躍分數,而每個紀元會扣除與該分數成正比的懲罰——因此驗證者離線越久,餘額流失越快,是一種時間上呈二次方的洩漏。仍在線上的驗證者質押大致持平(他們不因洩漏而損失),於是離線群體佔總額的比例隨時間縮小。最終,活躍而誠實的驗證者再度掌握如今較小之總質押的三分之二以上,一條超級多數連結成形,最終化得以恢復。

更深層的用意,是打破網路分區期間原本會出現的僵局。若驗證者集合分裂成兩半、彼此看不見對方,雙方都無法最終化——但洩漏讓每一側燒掉缺席那一側的質押,於是每條分支上本地在場的驗證者最終都能重獲超級多數、最終化各自的歷史。這以「允許兩個被分區的分叉各自最終化、走向分歧」為代價,換取活性的恢復;弱主觀性與社群共識隨後決定社群接受哪一條分叉。

洩漏正是以太坊在極端分區下偏好活性甚於安全性的工程理由:它不像嚴格的 BFT 鏈那樣永久凍結,而是犧牲乾淨的單一歷史、讓每一側恢復,並接受離線運營者的質押會被穩定燒掉直到他們重新連線。

又稱
quadratic leak二次方洩漏