Проходив через реалізацію 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