我一直在研究 Cosmos IBC 如何使用 SP1 證明在以太坊上驗證共識。 我比 ZK 證明本身更感興趣的是誰控制驗證器。 因為你可能擁有數學上有效的證明，但如果有人有權限升級輕客戶端或更改受信任的驗證密鑰，這就是完全不同的安全問題。 以太坊的部署使用了 4-of-7 多重簽名並搭配定時鎖定的管理控制。 現在我想精確追蹤這些管理員可以更改哪些內容，是否能透過升級引入惡意驗證器，以及用戶在定時鎖定期間實際能做些什麼。 ZK 證明的是特定計算被正確執行， 但它無法證明控制哪些計算被驗證的人不會更改它。 這才是我想深入探討的部分。