Saya sedang mempelajari kontrak Cosmos IBC yang dideploy di Ethereum dan menemukan sesuatu yang menarik tentang bagaimana light client ZK mereka dikelola. Bukti SP1 memverifikasi konsensus Cosmos, tetapi implementasi light client itu sendiri masih dapat dimigrasikan melalui tata kelola. Mereka sebenarnya menggunakan mekanisme ini selama pembaruan Juni untuk memindahkan klien Tendermint ke SP1 v6.1. Konfigurasi saat ini menggunakan OpenZeppelin AccessManager, Safe tata kelola 4 dari 7, dan timelock 72 jam. Jadi meskipun verifikasi konsensus bersifat kriptografis, sistem ini masih memiliki lapisan kepercayaan administratif. Dan saya rasa itu penting untuk dipahami. Jika seseorang dapat mengubah implementasi light client yang dipercaya oleh router, maka keamanan keseluruhan sistem juga bergantung pada siapa yang mengendalikan izin tersebut. Saya tidak mengatakan ada kerentanan di sini. Mekanisme migrasi ini disengaja dan berguna untuk pembaruan serta pemulihan. Namun, saya ingin memahami apa yang terjadi jika kunci tata kelola dikompromikan, apakah setiap perubahan sensitif benar-benar melewati timelock, dan bagaimana pengguna dapat memverifikasi pembaruan sebelum itu terjadi. sumber: https://t.co/dnN5drqJMi