Je passais en revue l’implémentation Cosmos IBC sur Ethereum et j’ai trouvé quelque chose de assez intéressant. Ethereum vérifie la consensus de Cosmos à l’aide de preuves à connaissance nulle via SP1. Au lieu d’exécuter la vérification complète du client léger CometBFT à l’intérieur d’un contrat Ethereum, ils effectuent la vérification hors chaîne dans un programme Rust, génèrent une preuve ZK, et vérifient cette preuve sur Ethereum. Et cela fonctionne déjà sur le mainnet. J’ai consulté leurs enregistrements de mise à jour de juin, où ils ont migré les clients légers Ethereum vers SP1 v6.1 et réussi à transmettre des paquets Cosmos Hub à l’aide du nouveau vérificateur. J’ai également vérifié leurs benchmarks de gaz. Recevoir un ERC20 existant via IBC prend environ 551 000 gaz dans leurs tests Foundry, mais lorsqu’ils regroupent 50 paquets ensemble, la moyenne tombe à environ 175 000 gaz par paquet. C’est environ 68 % de gaz en moins par paquet. Mais il y a un autre aspect à cela. Le système dépend toujours du jeu de validateurs Cosmos, des programmes de vérification SP1 et des clés corrects, ainsi que d’un mécanisme de gouvernance capable de mettre à jour ou de récupérer les clients légers. Ainsi, la vérification ZK ne signifie pas automatiquement qu’il n’y a aucune hypothèse de confiance. Je pense que c’est là que réside l’intérêt de l’évolution de l’interopérabilité : nous déplaçons la vérification complexe du consensus hors chaîne et utilisons des preuves cryptographiques pour la rendre pratique sur d’autres blockchains. source : https://t.co/Y6IL0hSehd