sedang menyelidiki kontrak Cosmos IBC yang dideploy di Ethereum dan menemukan sesuatu yang menarik mengenai bagaimana klien ringan ZK mereka dikelola. bukti SP1 mengesahkan konsensus Cosmos, tetapi pelaksanaan klien ringan itu sendiri masih boleh dipindahkan melalui tata kelola. mereka sebenarnya menggunakan ini semasa pengupgraderan Jun untuk memindahkan klien Tendermint ke SP1 v6.1. pengaturan semasa menggunakan OpenZeppelin AccessManager, Safe tata kelola 4-dari-7, dan timelock 72 jam. jadi walaupun pengesahan konsensus adalah kriptografi, sistem ini masih mempunyai lapisan kepercayaan pentadbiran. dan saya rasa itu patut difahami. jika seseorang boleh mengubah pelaksanaan klien ringan yang dipercayai oleh router, maka keselamatan keseluruhan sistem juga bergantung pada siapa yang mengawal kebenaran itu. bukan mengatakan ada kerentanan di sini. mekanisme pemindahan adalah sengaja dan berguna untuk pengupgraderan dan pemulihan. tetapi saya ingin memahami apa yang berlaku jika kunci tata kelola disusupi, sama ada setiap perubahan sensitif benar-benar melalui timelock, dan bagaimana pengguna boleh mengesahkan pengupgraderan sebelum ia berlaku. sumber: https://t.co/dnN5drqJMi