
Nagdaan ako sa Cosmos IBC implementation sa Ethereum at natagpuan ko ang isang napakaganda. Pinapatotohanan ng Ethereum ang Cosmos consensus gamit ang zero knowledge proofs sa pamamagitan ng SP1. Hindi ginagawa ang buong CometBFT light client verification sa loob ng isang Ethereum contract, kundi ginagawa ito off-chain sa isang Rust program, ginagawa ang ZK proof, at pinapatotohanan ang proof na iyon sa Ethereum. At ito ay nasa mainnet na. Nating tinitingnan ang kanilang June upgrade records kung saan nila isinagawa ang pag-migrate ng Ethereum light clients patungo sa SP1 v6.1 at matagumpay na na-relay ang Cosmos Hub packets gamit ang bagong verifier. Tinamaan din namin ang kanilang gas benchmarks. Ang pagtanggap ng isang umiiral na ERC20 sa pamamagitan ng IBC ay kumukuha ng halos 551k gas sa kanilang Foundry tests, ngunit kapag binatch nila ang 50 packets nang sabay-sabay, bumaba ang average hanggang halos 175k gas bawat packet. Ito ay halos 68% mas mababa ang gas bawat packet. Ngunit may iba pang panig dito. Ang sistema ay nananatiling nakadepende sa Cosmos validator set, tamang SP1 verification programs at keys, at isang governance setup na kayang i-upgrade o i-recover ang mga light client. Kaya hindi ibig sabihin ng ZK verification na walang anumang trust assumptions. Sa tingin ko, ito ang interesanteng bahagi kung saan patungo ang interoperability. Naglalakbay tayo ang kompleks na consensus verification off-chain at gumagamit ng cryptographic proofs upang gawing praktikal ito sa iba pang blockchains. source: https://t.co/Y6IL0hSehd

