Cardano Leios переходит от прототипа к тестированию с высокой степенью уверенности

Проект Ouroboros Leios от Cardano переходит на более сложный этап разработки, где центральный вопрос заключается не только в том, может ли сеть увеличить пропускную способность, но и в том, можно ли доказать безопасность этого увеличения в условиях реальной сети. Майский обзор Leios 2026 года сосредоточился на прогрессе прототипа, поддержке управления, тестировании с участием экспертных групп по безопасности, нагрузочных тестах отправки транзакций и инженерных работах, необходимых для того, чтобы Leios стал ближе к выходу на основную сеть.

Leios разработан как высокопроизводительный протокол для Cardano, увеличивающий пропускную способность транзакций при сохранении безопасности и совместимости экосистемы. Согласно официальному обновлению Cardano, опубликованному в мае, IOG подала казначейское предложение на сумму ₳27.7 миллиона для перехода Ouroboros Leios от тестового прототипа к кандидату на выпуск для основной сети к концу 2026 года с поэтапной целью повышения пропускной способности до 10-65 раз.

Майский обзор добавляет более технический аспект в эту дорожную карту. Команда заявила, что текущее предложение продолжить разработку Leios для основной сети было одобрено, ратифицировано и вскоре будет реализовано, при поддержке в районе 88%.

Это ставит Leios в центр процесса управления Cardano, где разработка протокола, голосование представителей (DRep) и доверие операторов стейк-пулов (SPO) теперь должны двигаться вместе.

Управление Cardano предоставляет Leios путь к основной сети

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

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

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

Для Cardano это важный управленческий аспект. Leios — это не просто обновление пропускной способности, разрабатываемое в изоляции. Это изменение протокола, которое потребует технических доказательств, готовности к реализации и достаточного доверия со стороны операторов, которые в конечном итоге установят и запустят программное обеспечение.

Работа с высокой степенью уверенности в Leios включает тестирование экспертной группы

Самой сильной частью майского обзора стало введение рабочей линии с высокой степенью уверенности. Команда охарактеризовала это как критический фактор для Leios, поскольку представители должны сначала проголосовать за хард-форк, а затем операторы стейк-пулов должны быть достаточно уверены, чтобы установить его. Математических доказательств и прогресса в разработке недостаточно. Сеть также нуждается в доказательствах того, что дизайн безопасен при неблагоприятных или несовершенных условиях.

Именно поэтому экспертная группа начала работать с симулятором Rust, создавая инструменты для целенаправленных сценариев атак. Цель — проверить существующую модель угроз, тестируя, как Leios ведет себя, когда узлы выходят из строя, отказываются сотрудничать или пытаются нарушить ожидаемое поведение. Эти сценарии планируется тестировать как в симуляции, так и позже на тестовых сетях.

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

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

На этом этапе история Leios превращается во что-то большее, чем просто новость о масштабировании. Проект тестирует, может ли протокол сохранить безопасность и восстановить предсказуемое поведение при введении реальных сценариев сбоев. Для обновления консенсуса, которое может коренным образом изменить профиль пропускной способности Cardano, эта работа важна не меньше, чем сам показатель пропускной способности.

Нагрузочные тесты mempool показывают, где масштабирование Cardano становится сложным

Обзор также показал, что некоторые из самых сложных задач Leios связаны с mempool, диффузией транзакций и моделями сети. Нагрузочные тесты намеренно использовали менее связанную топологию, с узлами, разбросанными по Европе, США и Азиатско-Тихоокеанскому региону. Тесты использовали mempool емкостью 25 мегабайт и были разработаны, чтобы создать нагрузку на поведение отправки транзакций и работы mempool.

Результаты показали явные региональные различия. Узлы в Европе, ближе к релейной настройке, заполняли свои mempool быстрее. Узлы в США заполнялись медленнее, но в конечном итоге достигали цели. Узлы в Азиатско-Тихоокеанском регионе, с более высокой задержкой, не могли заполнить свои mempool таким же образом.

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

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

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

Сетевое моделирование было еще одной крупной частью обзора. Обсуждение охватывало выбор пирингов, запрос блоков эндорсеров, высоколатентные соединения, медленное поведение узлов, модели Delta Q и алгоритмы TCP контроля перегрузки, такие как Cubic, Reno и BBR. Детали технические, но сообщение ясное: Leios тестируется в условиях реальных ограничений глобальной децентрализованной сети, а не только в идеальных лабораторных условиях.

Именно поэтому майский обзор является важной вехой для Cardano. Leios сейчас проходит стадию разработки протокола, которая наиболее важна перед хард-форком, где цели по пропускной способности должны выдерживать латентность, противостояние в mempool, восстановление узлов, неблагоприятное поведение и проверку со стороны управления. Если проект достигнет статуса кандидата для основной сети к концу 2026 года, его ценность будет заключаться не только в увеличении пропускной способности, но и в доказательствах того, что Cardano может масштабировать свой консенсусный слой через процесс, которому операторы, разработчики и участники управления могут независимо доверять.