輕用戶端橋

輕用戶端橋是一種去信任橋，做法是把一條鏈的輕用戶端嵌入另一條鏈之中。輕用戶端是追隨某鏈共識所需的最小邏輯，無須儲存其全部歷史：對權益證明而言，它追蹤驗證者集合並核對他們對區塊標頭的簽章；對工作量證明而言，它檢查標頭是否構成一條合法且難度足夠的鏈。當這個輕用戶端以智能合約之姿駐留在目的鏈上時，目的鏈便能獨立確認來源鏈的標頭所述為何。

一旦合約持有來源鏈某個已驗證的標頭（因而也持有一個受信任的狀態根），任何人都能提交一份針對該根的默克爾證明，來證明某特定事件確實在那裡發生——例如「這筆存款日誌包含於區塊 N 中，而我已驗證其根」。目的鏈之所以接受該事件，是因為它重新推導出來源鏈自身的承諾，而非因為某委員會作保。鏈下中繼者把標頭與證明餵給合約，但純粹是個快遞員：它無法捏造一個會被嵌入式共識檢查拒絕的標頭。

代價是實打實的工程與 gas 成本。每一種來源共識演算法都需要自己的驗證器，對龐大驗證者集合的簽章核對所費不貲，而合約還必須隨每個新標頭（或同步委員會）保持同步，這會產生持續的費用。零知識技術能幫上忙，做法是在鏈下簡潔地證明標頭驗證的工作量——「zk 輕用戶端」讓目的鏈只需驗證一份小證明，而非數千個簽章。IBC 的 Tendermint 輕用戶端，以及面向以太坊的 zk 橋，正是其經典實作。