我正在研究部署在以太坊上的 Cosmos IBC 合約，發現了關於其 ZK 輕客戶端管理方式的一些有趣之處。 SP1 證明用於驗證 Cosmos 共識，但輕客戶端本身的實現仍可透過治理進行遷移。 他們實際上在六月升級時就使用了這個機制，將 Tendermint 客戶端遷移至 SP1 v6.1。 目前的架構使用 OpenZeppelin AccessManager、4-of-7 治理 Safe 以及 72 小時的延時鎖定。 因此，儘管共識驗證是密碼學的，系統仍具備管理層的信任層。 我認為這一點值得理解。 如果有人能更改路由器所信任的輕客戶端實現，那麼整個系統的安全性也取決於誰控制該權限。 我並非指這裡存在漏洞，遷移機制是刻意設計的，對於升級和恢復非常有用。 但我希望了解：如果治理密鑰遭入侵，每項敏感變更是否真的都經過延時鎖定，以及使用者如何在升級發生前驗證其內容。 來源： https://t.co/dnN5drqJMi