Estava analisando a implementação do Cosmos IBC no Ethereum e encontrei algo bem interessante. O Ethereum está verificando a consenso do Cosmos usando provas de conhecimento zero por meio do SP1. Em vez de executar toda a verificação do cliente leve do CometBFT dentro de um contrato no Ethereum, eles executam a verificação off-chain em um programa em Rust, geram uma prova ZK e verificam essa prova no Ethereum. E isso já está em execução no mainnet. Encontrei seus registros de atualização de junho, onde migraram os clientes leves do Ethereum para o SP1 v6.1 e conseguiram transmitir pacotes do Cosmos Hub usando o novo verificador. Também verifiquei seus benchmarks de gás. Receber um ERC20 existente por meio do IBC consome cerca de 551k de gás em seus testes no Foundry, mas quando eles agrupam 50 pacotes juntos, a média cai para cerca de 175k de gás por pacote. Isso representa aproximadamente 68% menos gás por pacote. Mas há outro lado disso. O sistema ainda depende do conjunto de validadores do Cosmos, dos programas corretos de verificação do SP1 e das chaves, e de uma estrutura de governança que possa atualizar ou recuperar os clientes leves. Portanto, a verificação ZK não significa automaticamente que não há suposições de confiança. Acho que essa é a parte interessante do rumo que a interoperabilidade está tomando. Estamos transferindo a verificação complexa de consenso para off-chain e usando provas criptográficas para torná-la viável em outras blockchains. fonte: https://t.co/Y6IL0hSehd