Saya sedang memeriksa pelaksanaan Cosmos IBC di Ethereum dan menemui sesuatu yang cukup menarik. Ethereum sedang mengesahkan konsensus Cosmos menggunakan bukti pengetahuan-nol melalui SP1. Alih-alih menjalankan keseluruhan pengesahan klien ringan CometBFT di dalam kontrak Ethereum, mereka menjalankan pengesahan secara luar talian dalam program Rust, menghasilkan bukti ZK, dan mengesahkan bukti tersebut di Ethereum. Dan ini sudah berjalan di rangkaian utama. Saya memeriksa rekod pengemaskinian Jun mereka, di mana mereka berpindah klien ringan Ethereum ke SP1 v6.1 dan berjaya menghantar pakej Cosmos Hub menggunakan verifier baharu. Saya juga memeriksa tolok gas mereka. Menerima ERC20 yang sedia ada melalui IBC mengambil kira-kira 551k gas dalam ujian Foundry mereka, tetapi apabila mereka mengumpulkan 50 pakej bersama-sama, purata turun kepada kira-kira 175k gas per pakej. Itu kira-kira 68% kurang gas per pakej. Tetapi ada sisi lain kepada ini. Sistem ini masih bergantung pada set validator Cosmos, program pengesahan SP1 yang betul dan kunci, serta tetapan tata tertib yang boleh mengemaskini atau memulihkan klien ringan. Jadi, pengesahan ZK tidak secara automatik bermaksud tiada andaian kepercayaan. Saya rasa ini adalah bahagian menarik ke arah interoperabiliti yang sedang berlaku. Kita sedang memindahkan pengesahan konsensus yang kompleks secara luar talian dan menggunakan bukti kriptografi untuk menjadikannya praktikal di blok rantai lain. sumber: https://t.co/Y6IL0hSehd