Ethereum上にデプロイされたCosmos IBCコントラクトを調査していたところ、ZKライトクライアントの管理方法について興味深い点を見つけました。 SP1証明はCosmosコンセンサスを検証しますが、ライトクライアント実装自体はガバナンスを通じて移行可能です。 実際、6月のアップグレード時にTendermintクライアントをSP1 v6.1に移行するためにこの仕組みが使用されました。 現在の構成では、OpenZeppelin AccessManager、4-of-7ガバナンスSafe、72時間のタイムロックが使用されています。 したがって、コンセンサス検証は暗号学的である一方で、システムには依然として管理的な信頼層が存在します。 これは重要な点だと考えます。 誰かがルーターが信頼するライトクライアント実装を変更できる場合、システム全体のセキュリティはその権限を制御する者に依存することになります。 ここに脆弱性があるとは言っていません。移行メカニズムは意図的であり、アップグレードや回復に役立ちます。 しかし、ガバナンスキーが侵害された場合に何が起こるのか、すべてのセンシティブな変更が本当にタイムロックを経ているのか、ユーザーがアップグレード前にそれをどのように検証できるのかを理解したいと思っています。 出典： https://t.co/dnN5drqJMi