Исследование Cardano: одного большого резерва недостаточно для обеспечения Proof of Stake

Рецензируемая статья исследователя Cardano Foundation Manvir Schneider и Paolo Penna из Input Output Global (IOG) была опубликована 2 октября в официальных материалах AFT 2026, в серии LIPIcs Schloss Dagstuhl. Фонд представил ее в публикации 13 октября. В статье Cardano приводится как канонический пример сети, которая финансирует вознаграждения из комиссий и постепенно расходуемого резерва. Авторы приходят к выводу, что политику расходования резерва не следует оценивать только по дате, когда резерв номинально иссякнет.

Экономическая безопасность и порог резерва в статье AFT 2026

Исследование "Reserve Depletion and Security Runway in Proof of Stake Systems" было представлено на восьмой конференции по достижениям в финансовых технологиях в London. Оно фокусируется на экономической безопасности, используя экономическую модель для анализа того, какой объем безопасности обеспечивают валидаторы, когда их вознаграждения поступают из комиссий и резерва при изменяющихся цене токена и спросе. Cardano Foundation это швейцарская некоммерческая организация, поддерживающая разработку и внедрение Cardano, а IOG это инженерная и исследовательская компания, стоящая за протоколом Ouroboros.

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

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

Резерв Cardano, параметр ρ и вознаграждения стейк пулов

Согласно документации по монетарной политике Cardano, комиссии со всех блоков в эпохе поступают в фонд вознаграждений, который также получает фиксированный процент от оставшегося резерва ADA. Этот процент, параметр ρ, установлен на уровне 0,3 процента за эпоху. При таком темпе, говорится в документации, половина оставшейся суммы расходуется в течение от четырех до пяти лет. Из фонда вознаграждений 20 процентов параметр τ направляется в казну, остальное распределяется как вознаграждения в ADA.

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

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

Стресс тест для управления протоколом и ограничения модели

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

Авторы также описывают ограничения модели. Цена и спрос принимаются как заданные, поэтому статья не объясняет оценку токена или его принятие. В базовой версии валидаторы симметричны, поэтому порог следует рассматривать как ориентир. Численные примеры используют иллюстративные параметры, включая пять валидаторов, и не являются расчетом для Cardano. Участники сообщества в ответах на публикацию Фонда попросили именно такой расчет для текущего состояния Cardano.

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