Обзор Cardano Leios показывает реальные сертификаты, работу с mempool и тестирование Musashi Dojo

Разработка Leios для Cardano в июне перешла в более практическую фазу тестирования, при этом команда обозначила работу над агрегацией сертификатов, структурой блоков эпохи Dijkstra, операциями тестнета, инструментами для эксплорера и тестированием со стороны противника. Leios это обновление пропускной способности Cardano, предназначенное для добавления блоков endorser в конвейер консенсуса, что позволяет пропускать через сеть больше данных транзакций при сохранении требований безопасности, связанных с валидацией, голосованием и сертификацией.

Cardano Leios добавляет реальные сертификаты голосования

Июньский обзор показал прогресс в рабочем процессе голосования и сертификации за блоками endorser в Leios. Текущий публичный тестнет уже выполняет базовое голосование, а следующий слой работы добавляет корректные криптографические сертификаты, агрегацию голосов и проверку сертификатов при применении блоков.

Команда описала сертификат Leios внутри тела блока эпохи Dijkstra, выводя реализацию за рамки поведения заглушки. Типичный сертификат был описан как около 180 байт для примерно 1 000 избирателей, при этом агрегированная подпись использует криптографию BLS. Демонстрация также объяснила изменение объекта голосования для узлов. Вместо голосования только за блок endorser реализация теперь голосует за объявление этого блока, потому что один и тот же блок endorser в противном случае мог бы быть повторно использован в конкурирующих контекстах цепи.

Это различие является частью работы по безопасности в Leios. Протокол не только вводит объекты с большей пропускной способностью. Он также должен определить, как эти объекты объявляются, валидируются, выносятся на голосование, сертифицируются и прикрепляются к цепи. Команда сообщила, что работа над сертификатами ожидается в тестнете после повторной сборки, потому что обновление меняет формат блока.

Musashi Dojo дает разработчикам Cardano живой тестнет Leios

Musashi Dojo теперь является публичной тестовой средой для Leios. Официальная документация описывает ее как тестнет и тренировочный зал для Ouroboros Leios, где участники могут запускать узел, регистрировать стейк пул и начинать тестирование реализации, пока сеть все еще находится в форме прототипа.

Обзор описал Musashi Dojo как долгосрочную цель интеграции для Leios. Его запланированные фазы это Earth, Water, Fire, Wind и Void. Earth фокусируется на онбординге, базовой функциональности и корректности. Water предназначена для исследования параметров протокола и тестирования пределов. Fire нацелена на более сильную нагрузку на сеть, включая более высокий трафик и задержки реального мира от глобально распределенных узлов. Wind зарезервирована для тестирования со стороны противника. Void представлена как финальная подготовка перед последующим путем хард форка.

Тестнет намеренно не является готовым продуктом. Он использует препрелизный код, может быть сброшен и не влияет на мейннет или реальную ada. Это делает его полезным для SPO, команд dApp, эксплореров, индексаторов, кошельков и мейнтейнеров SDK, которым нужно понять, как изменения эпохи Dijkstra и блоки endorser в Leios влияют на их системы.

Узкие места mempool и тестирование red team формируют следующую фазу Leios

Обзор также сосредоточился на mempool как одном из главных инженерных ограничений для более высокой пропускной способности. Команда отметила, что Leios нужен более крупный и более способный mempool для выпуска больших блоков endorser, тогда как текущий mempool узла на Haskell был спроектирован для Praos, а не для целевых показателей пропускной способности Leios.

Обсуждение выделило две точки давления. Отправка транзакций становится более конкурентной, когда многие пиры предлагают транзакции одновременно. В то же время узел должен сохранять транзакции применимыми к текущей выбранной цепи, пока продолжаются выбор цепи и выпуск блоков. Команда обсудила возможные подходы, включая менее блокирующее поведение mempool, более раннюю подготовку к выпуску блоков и вторичный mempool, основанный на состоянии реестра, ожидаемом для производства блока.

Программа тестирования также включает узлы противника. Раздел red team описал программное обеспечение, созданное для подключения к сети и тестирования отказов в контролируемых условиях. Одна ранняя проблема касалась того, что недопустимые данные блока endorser отражались обратно на ретрансляторы, что помогло выявить и исправить слабость в прототипе. Сейчас команда структурирует этот инструмент так, чтобы поведение атаки можно было координировать между несколькими узлами.

Это придает Musashi Dojo особую роль в дорожной карте Leios для Cardano. Теперь это место, где можно тестировать поведение сертификатов, дизайн mempool, нисходящие инструменты, видимость в эксплорерах, разнообразие узлов и враждебные условия на работающем публичном прототипе. Практическое изменение состоит в том, что разработка Leios больше не видна только через язык дорожной карты или изолированные демо. Теперь она производит поведение узлов, блоки тестнета, данные эксплорера и воспроизводимые случаи отказов, которые можно использовать до подготовки продакшен кода.