Estaba revisando la implementación de Cosmos IBC en Ethereum y encontré algo bastante interesante. Ethereum está verificando el consenso de Cosmos mediante pruebas de conocimiento cero a través de SP1. En lugar de ejecutar toda la verificación del cliente ligero de CometBFT dentro de un contrato de Ethereum, ellos ejecutan la verificación fuera de cadena en un programa en Rust, generan una prueba ZK y verifican esa prueba en Ethereum. Y esto ya está funcionando en mainnet. Encontré sus registros de actualización de junio, donde migraron los clientes ligeros de Ethereum a SP1 v6.1 y lograron retransmitir paquetes del Cosmos Hub utilizando el nuevo verificador. También revisé sus benchmarks de gas. Recibir un ERC20 existente a través de IBC toma alrededor de 551k de gas en sus pruebas de Foundry, pero cuando agrupan 50 paquetes juntos, el promedio cae a alrededor de 175k de gas por paquete. Eso es aproximadamente un 68% menos de gas por paquete. Pero hay otro lado a esto. El sistema aún depende del conjunto de validadores de Cosmos, los programas correctos de verificación de SP1 y las claves, y una configuración de gobernanza que pueda actualizar o recuperar los clientes ligeros. Por lo tanto, la verificación ZK no significa automáticamente que no haya suposiciones de confianza. Creo que esta es la parte interesante hacia dónde se dirige la interoperabilidad: estamos moviendo la verificación compleja del consenso fuera de cadena y utilizando pruebas criptográficas para hacerla práctica en otras blockchains. fuente: https://t.co/Y6IL0hSehd