Menghabiskan waktu untuk meneliti SP1 Tendermint light client Cosmos IBC Eureka di Ethereum. Penasaran apakah versi SP1 yang lebih baru masih dapat berfungsi dengan verifier yang sudah dideploy tanpa memerlukan pembaruan kontrak. Menemukan beberapa hal menarik. Mengambil semua 4 ELF produksi resmi dan mereproduksi kunci verifikasi program mereka yang tepat menggunakan SP1 v6.1 dan v6.9. Kemudian menghasilkan bukti pembaruan Tendermint Cosmos Hub yang sebenarnya dan menjalankan ELF produksi asli menggunakan kedua versi tersebut. Kedua eksekusi berhasil dan menghasilkan output publik 768-byte yang identik, gas eksekusi yang sama, dan hash SHA-256 yang sama. Bagian yang lebih menarik: SP1 v6.1, v6.9, dan v6.10 semua masih melaporkan versi sirkuit v6.1.0. Membandingkan biner kunci verifikasi Groth16 aktual dari v6.1 dan v6.10. Keduanya identik byte-per-byte. Hash SHA-256-nya juga cocok dengan hash verifier yang sudah dideploy di Ethereum: 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 Jadi, setidaknya pada tingkat identitas program, eksekusi, dan kunci verifikasi Groth16, kompatibilitas tetap terjaga di antara versi-versi ini. Masih belum menghasilkan bukti asli menggunakan prover versi baru atau mengujinya terhadap verifier Ethereum yang aktif. Itu adalah langkah selanjutnya. Menarik untuk melihat seberapa banyak dari stack proving yang dapat berubah sementara antarmuka verifikasi tetap sama.