Проходил через реализацию Cosmos IBC на Ethereum и обнаружил что-то довольно интересное. Ethereum проверяет консенсус Cosmos с помощью нулевых знаний через SP1. Вместо того чтобы выполнять полную верификацию легкого клиента CometBFT внутри контракта Ethereum, они выполняют верификацию офф-чейн в Rust-программе, генерируют ZK-доказательство и проверяют это доказательство на Ethereum. И это уже работает на мейннете. Я ознакомился с их записями об обновлении в июне, где они перевели легкие клиенты Ethereum на SP1 v6.1 и успешно передали пакеты Cosmos Hub с использованием нового верификатора. Также проверил их газовые бенчмарки. Получение существующего ERC20 через IBC занимает около 551 тыс. газа в их тестах Foundry, но когда они объединяют 50 пакетов вместе, средний расход падает до примерно 175 тыс. газа на пакет. Это примерно на 68% меньше газа на пакет. Но есть и другая сторона этого. Система все еще зависит от набора валидаторов Cosmos, корректных программ верификации SP1 и ключей, а также системы управления, способной обновлять или восстанавливать легкие клиенты. Таким образом, ZK-верификация не означает автоматически отсутствие доверительных предположений. Я считаю, что именно в этом заключается интересная часть того, куда движется интероперабельность. Мы переносим сложную верификацию консенсуса офф-чейн и используем криптографические доказательства, чтобы сделать это практичным на других блокчейнах. источник: https://t.co/Y6IL0hSehd