Saya telah mempelajari bagaimana Cosmos IBC memverifikasi konsensus di Ethereum menggunakan bukti SP1. Hal yang lebih menarik bagi saya daripada bukti ZK itu sendiri adalah siapa yang mengendalikan verifier. Karena Anda bisa memiliki bukti yang secara matematis valid, tetapi jika seseorang memiliki izin untuk memperbarui light client atau mengubah kunci verifikasi mana yang dipercaya, itu adalah pertanyaan keamanan yang sama sekali berbeda. Deploymen Ethereum menggunakan multisig 4-of-7 dengan kontrol administratif yang ditunda waktu. Sekarang saya ingin melacak secara tepat apa yang bisa diubah oleh admin tersebut, apakah verifier jahat bisa diperkenalkan melalui pembaruan, dan apa yang sebenarnya bisa dilakukan pengguna selama masa penundaan. ZK membuktikan bahwa komputasi tertentu telah dieksekusi dengan benar. Itu tidak membuktikan bahwa orang-orang yang mengendalikan komputasi mana yang diverifikasi tidak bisa mengubahnya. Itulah bagian yang ingin saya telusuri lebih dalam.