telah menyelidiki bagaimana Cosmos IBC mengesahkan konsensus di Ethereum menggunakan bukti SP1. sesuatu yang lebih menarik perhatian saya selain bukti ZK itu sendiri ialah siapa yang mengawal penverifikasi. kerana anda boleh mempunyai bukti yang secara matematik sah, tetapi jika seseorang mempunyai kebenaran untuk mengemaskini klien ringan atau mengubah kunci pengesahan yang dipercayai, itu adalah soal keselamatan yang sama sekali berbeza. penyebaran Ethereum menggunakan multisig 4-dari-7 dengan kawalan pentadbiran yang ditangguhkan. sekarang saya ingin melacak dengan tepat apa yang boleh diubah oleh pentadbir itu, sama ada penverifikasi jahat boleh diperkenalkan melalui pengemaskinan, dan apa yang sebenarnya boleh dilakukan pengguna semasa masa tangguhan. ZK membuktikan bahawa pengiraan tertentu telah dilaksanakan dengan betul. ia tidak membuktikan bahawa orang yang mengawal pengiraan mana yang akan disahkan tidak boleh mengubahnya. itulah bahagian yang ingin saya selidiki.