Cardano Peras переносит обработку сертификатов в код протокола

Ouroboros Peras выходит за рамки спецификаций протокола, переходя к участкам кода, которые определяют, как узлы Cardano хранят сертификаты, синхронизируют их с пирами и резервируют место в блоке для данных консенсуса. Tweag сообщил о работе вместе с обновлениями тестнета и обзором криптографического анализа голосования. Активация Peras по прежнему запланирована на более позднюю фазу Dijkstra, дата запуска в основной сети не объявлена.

Хранение сертификатов Peras переходит в код консенсуса

Начальная реализация ImmutablePerasCertDB отправлена через pull request 2293 в репозитории Ouroboros Consensus. База данных предназначена для постоянного хранения сертификатов Peras и в настоящее время проходит внутреннюю проверку.

Peras расширяет Ouroboros Praos голосованием на основе стейка и сертификацией блоков. Его сертификаты агрегируют доказательства того, что участвующий стейк одобрил блок, предоставляя узлам дополнительную информацию при оценке уверенности в финализации.

В случае активации Peras может позволить биржам, мостам и кошелькам достигать более высокой уверенности в финализации для транзакций ADA после меньшего числа блоков. Эти сервисы будут полагаться на гарантии финализации, предоставляемые узлами Cardano, а не обрабатывать сертификаты Peras как отдельную пользовательскую функцию.

Реализация ObjectDiffusion также получила корректное завершение работы клиента и метод для обнаружения момента, когда синхронизация сертификатов завершила догоняющую фазу. Этот статус может использоваться машиной состояний governor в Cardano при координации подключений пиров и сетевой синхронизации.

Команда сетевого проектирования отдельно доказала, что сертификаты, релевантные выбору цепи, должны поступать на узел в порядке возрастания раундов Peras, когда узел подключен как минимум к одному честному пиру и выполняются стандартные предположения о качестве цепи и сети. Этот результат упорядочения упрощает планируемое распространение исторических и недавних сертификатов через ObjectDiffusion.

Cardano Ledger тестирует управляемые параметры Peras

Команда Ledger Integration работает над оставшимися компонентами Peras, требуемыми до того, как предстоящий хардфорк достигнет заморозки кода. Работа включает определение того, какие параметры протокола Peras могут позднее быть изменены через Cardano governance.

Прототип отправлен через pull request 6067 в репозитории Cardano Ledger. Финализация списка параметров также потребует обновления Cardano Constitution, чтобы рамки governance указывали, какие значения можно изменять и какие ограничения к ним применяются.

Работы над Ledger готовят Cardano к будущему развертыванию Peras. Активация по прежнему отнесена к более поздней фазе Dijkstra и потребует отдельного тестирования, одобрения governance и изменения версии протокола.

Разработчики также завершили начальный метод оценки размера сертификата до производства блока. Сертификат Peras конкурирует с транзакциями ADA и нативных активов за вместимость внутри тела блока, поэтому узел, создающий блок, должен заранее зарезервировать достаточно места перед выбором транзакций.

Связанный pull request уменьшает число выбранных транзакций, когда блок включает сертификат Peras. Эта корректировка предотвращает заполнение блока узлом до того, как можно будет добавить требуемые данные консенсуса.

Тестнет Peras готовится к интегрированному тестированию узлов

Команда разработки объединила изменения, отслеживаемые как Peras 67 и Peras 68, после учета замечаний обзора. Два дополнительных pull request, Peras 69 и Peras 70, добавляют аннотации строгости и исправляют ошибку запроса, которая блокировала ночные и тестнет запуски.

Подготовка тестнета включает улучшенный скрипт инициализации, централизованный сбор логов и метрик и обновление базовой ветки до последнего кода Peras. Эти изменения должны упростить трассировку сбоев, когда вместе работают компоненты консенсуса, сети и Ledger.

Tweag также провел обзор версии 1.1 анализа голосования Peras, подготовленного исследователями из команды Input Output Applied Cryptography. Вопросы, поднятые в ходе обзора, используются для определения плана поставки криптографических компонентов, необходимых для будущей реализации в основной сети.

Запланированное обновление тестнета объединит четыре ранее отдельные возможности: постоянное хранение сертификатов, обнаружение завершенной синхронизации сертификатов, выпуск блока с учетом сертификатов и доступ Ledger к параметрам Peras. Достижение этого рабочего состояния зависит от завершения открытых внутренних проверок и перевода ветки тестнета на последнюю реализацию.