Nag-spent ako ng ilang oras na pag-aralan ang Cosmos IBC Eureka's SP1 Tendermint light client sa Ethereum. Nagtanong kung kaya pa ba ng mas bagong bersyon ng SP1 ang gumana kasama ang umiiral na verifier nang walang kailangang i-upgrade ang contract. Nakakita ako ng ilang interesanteng bagay. Kinuha ko ang lahat ng 4 opisyal na production ELFs at muling in-reproduce ang kanilang eksaktong program verification keys gamit ang SP1 v6.1 at v6.9. Pagkatapos, ginawa ko ang isang totoong Cosmos Hub Tendermint update witness at pinagana ang orihinal na production ELF gamit ang parehong bersyon. Nakapasa ang parehong pagpapagana at nagproduksyon ng mga identikong 768-byte public outputs, parehong execution gas at parehong SHA-256 hash. Ang mas interesanteng bahagi: Ang SP1 v6.1, v6.9 at v6.10 ay patuloy na nagrereport ng circuit version v6.1.0. Ipinaghambing ko ang mga totoong Groth16 verification-key binaries mula sa v6.1 at v6.10. Pareho sila ng byte-for-byte na magkakapareho. Ang kanilang SHA-256 ay tumutugma rin sa verifier hash na naka-deploy na sa Ethereum: 0x4388a21c687fdd5f218d7e3d13190cac4c5355818d3605fd5fb811df468ee696 Kaya sa minimum, sa antas ng program identity, execution at Groth16 verification-key, ang compatibility ay patuloy na nananatili sa mga bersyong ito. Hindi pa rin ako nakagawa ng totoong proof gamit ang mas bagong prover o sinubukan ito laban sa live Ethereum verifier. Iyon ang susunod na bahagi. Interesante makita kung gaano karaming bahagi ng proving stack ang maaaring magbago habang nananatiling pareho ang verification interface.