Дві мережі NeuroChain обмінюються токенами без довіри до посередника

Досі вхідний IBC-переказ зараховувався за підписом оператора: мережа довіряла людині. Тепер мережа перевіряє його сама, так, як це робить Cosmos IBC.

Легкий клієнт

Мережа стежить за заголовками блоків іншої мережі. Вона приймає заголовок, лише якщо його підписали понад 2/3 валідаторів тієї мережі, а серед них є понад 1/3 валідаторів, яким вона вже довіряє (правила ICS-07). Клієнт відстежує зміни набору валідаторів, дотримується періоду довіри і заморожується, якщо мережа колись підпише два різні блоки для однієї висоти.

Блок знає, якій мережі він належить

Кожен блок тепер містить ідентифікатор мережі та хеш набору валідаторів, що його ухвалив. Підписи однієї мережі не можуть зійти за підписи іншої, навіть коли валідатори використовують той самий ключ в обох.

Пакети з доказами

Переказ, його підтвердження і його тайм-аут проходять, лише якщо Merkle-доказ збігається з довіреним коренем стану іншої мережі. Підписи постквантові (ML-DSA-65), хеші — SHA3-256.

Релеєр, якому не треба довіряти

Доставляти пакети може будь-хто. Релеєр лише переносить заголовки й докази з однієї мережі в іншу; вирішує мережа.

Результат

Шість сценаріїв запускають дві мережі в одному процесі. Мережевий тест запускає дві мережі по чотири валідатори кожна в режимі mainnet: переказ доставляється за 4 секунди й підтверджується за 6, підроблений пакет відхиляється, пакет із вичерпаним тайм-аутом повертається за доказом, а стан обох мереж ідентичний на кожному вузлі. Проходять 418 тестів вузла.

Далі — такий самий клієнт для мереж Cosmos.