
Menghabiskan masa untuk menyelidiki SP1 Tendermint light client Cosmos IBC Eureka di Ethereum. Penasaran sama ada versi SP1 yang lebih baharu masih boleh berfungsi dengan verifier yang telah dideploy tanpa memerlukan pengupgraderan kontrak. Menemui beberapa perkara yang menarik. Mengambil keempat-empat ELF pengeluaran rasmi dan menghasilkan semula kunci pengesahan program mereka yang tepat menggunakan SP1 v6.1 dan v6.9. Kemudian, menghasilkan bukti kemas kini Tendermint Cosmos Hub yang sebenar dan menjalankan ELF pengeluaran asal menggunakan kedua-dua versi tersebut. Kedua-dua pelaksanaan berjaya dan menghasilkan output awam 768-byte yang identik, gas pelaksanaan yang sama, dan hash SHA-256 yang sama. Bahagian yang lebih menarik: SP1 v6.1, v6.9 dan v6.10 semua masih melaporkan versi sirkuit v6.1.0. Bandingkan binari kunci pengesahan Groth16 sebenar dari v6.1 dan v6.10. Keduanya identik secara byte-per-byte. Hash SHA-256 mereka juga sepadan dengan hash verifier yang telah dideploy di Ethereum: 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 Jadi, sekurang-kurangnya pada tahap identiti program, pelaksanaan, dan kunci pengesahan Groth16, keserasian masih terpelihara di antara versi-versi ini. Belum lagi menghasilkan bukti sebenar menggunakan prover yang lebih baharu atau menguji ia terhadap verifier Ethereum yang aktif. Itu akan menjadi bahagian seterusnya. Menarik untuk melihat sejauh mana bahagian proving stack boleh berubah sementara antaramuka pengesahan tetap sama.

