Sedang mempelajari implementasi Cosmos IBC di Ethereum dan menemukan sesuatu yang cukup menarik. Ethereum sedang memverifikasi konsensus Cosmos menggunakan bukti zero knowledge melalui SP1. Alih-alih menjalankan seluruh verifikasi light client CometBFT di dalam kontrak Ethereum, mereka menjalankan verifikasi secara off-chain dalam program Rust, menghasilkan bukti ZK, dan memverifikasi bukti tersebut di Ethereum. Dan ini sudah berjalan di mainnet. Saya memeriksa catatan upgrade Juni mereka, di mana mereka memigrasi light client Ethereum ke SP1 v6.1 dan berhasil mengirimkan paket Cosmos Hub menggunakan verifier baru. Saya juga memeriksa benchmark gas mereka. Menerima ERC20 yang ada melalui IBC membutuhkan sekitar 551k gas dalam pengujian Foundry mereka, tetapi ketika mereka menggabungkan 50 paket sekaligus, rata-rata turun menjadi sekitar 175k gas per paket. Itu sekitar 68% lebih hemat gas per paket. Namun, ada sisi lain dari ini. Sistem ini tetap bergantung pada set validator Cosmos, program verifikasi SP1 yang benar dan kunci-kuncinya, serta pengaturan tata kelola yang dapat memperbarui atau memulihkan light client. Jadi, verifikasi ZK tidak otomatis berarti tidak ada asumsi kepercayaan sama sekali. Saya pikir ini adalah bagian menarik dari arah interoperabilitas masa depan. Kita sedang memindahkan verifikasi konsensus yang kompleks ke luar rantai dan menggunakan bukti kriptografi untuk membuatnya praktis di blockchain lain. sumber: https://t.co/Y6IL0hSehd