正在研究 Cosmos IBC 在以太坊上的實現，發現了一些相當有趣的事。 以太坊正透過 SP1 使用零知識證明來驗證 Cosmos 的共識。 他們並未在以太坊合約中運行完整的 CometBFT 輕客戶端驗證，而是將驗證過程在離線的 Rust 程式中執行，生成 ZK 證明，再於以太坊上驗證該證明。 這套系統目前已在主網上運行。 我查閱了他們六月的升級紀錄，發現他們已將以太坊輕客戶端遷移至 SP1 v6.1，並成功使用新驗證器中繼 Cosmos Hub 的資料包。 我也檢查了他們的氣體消耗基準測試。 根據他們的 Foundry 測試，透過 IBC 接收現有的 ERC20 大約需要 551k 氣體，但當他們將 50 個資料包批次處理時，平均每包氣體消耗降至約 175k，約減少 68% 的氣體消耗。 但這背後還有另一面。 該系統仍依賴 Cosmos 驗證者集、正確的 SP1 驗證程式與金鑰，以及能夠升級或恢復輕客戶端的治理機制。 因此，ZK 驗證並不代表完全消除信任假設。 我認為這正是跨鏈互通未來發展的有趣之處：我們正將複雜的共識驗證移至離線，並利用密碼學證明使其在其他區塊鏈上變得實用。 來源：https://t.co/Y6IL0hSehd