Движок стейкинга Whitepaper v1.0
Движок стейкинга BlazePhoenix — это хранилище одного актива и кредитная линия для BZPX вообще без оракула, потому что залог и долг — это один и тот же токен. Главное тождество сохранения (Master Conservation Identity) принудительно проверяется в каждой транзакции, перемещающей стоимость, модификатором conserves: транзакция, после которой учёт требовал бы больше, чем держит контракт, откатывается. Эмиссия уменьшается вдвое на протяжении восьми двухлетних периодов (eight two-year periods) в замкнутой форме по блочным часам; квадратичный буст вознаграждает обязательство блокировки вплоть до 2.75× на семи годах; два непересекающихся аккумулятора выплачивают эмиссию и процент заёмщиков без какого-либо перекрёстного субсидирования; обслуживание едет на обычных транзакциях и ограничено по газу; и любой человек на земле может привести в действие автоматический выключатель, предъявив ончейн-доказательство неплатёжеспособности. Конструкция держится на одной дисциплине, общей с агрегатором BlazePhoenix и применённой здесь к собственному капиталу протокола: вычислять, а не доверять. Любая доходность, любая ставка и любая проверка платёжеспособности выводятся из состояния сети арифметикой, которую читатель может пересчитать сам, — ни ценового фида, ни флота киперов, ни панели, которой пришлось бы верить. Три границы названы сразу, потому что гарантия честна ровно настолько, насколько честны её края. Движок находится в разработке — это предупреждение выше, а не сноска. Административные роли существуют, и каждая перечислена вместе с чертой, которая её ограничивает: админ, чьи полномочия по перемещению стоимости не дотягиваются до основного капитала стейкеров (§10.3), и гардиан, чьё сильнейшее полномочие не двигает никаких средств (§12). И блокировка не безусловна: существуют два пути остановки, намеренно непохожих друг на друга, каждый описан полностью, а его происхождение фиксируется навсегда (§12). Читателю следует оценивать не нашу честность, а наш источник.
Статус: движок находится в разработке
Агрегатор ликвидности BlazePhoenix — это выпущенный продукт. Движок стейкинга не выпущен: он в активной разработке. Этот документ описывает конструкцию движка стейкинга в её нынешнем виде — каждое уравнение, каждый инвариант, каждая константа и каждая названная ниже точка входа являются спецификацией, которой обязана соответствовать реализация, — чтобы читатель мог оценить движок до того, как тот появится. Публиковать конструкцию первой — правильный порядок действий для неизменяемого программного обеспечения: контракт, который нельзя пропатчить, следует судить до развёртывания, а не после, и этот документ построен так, чтобы такое суждение стало возможным: каждое число выводится заново, каждая гарантия названа вместе с местом её принуждения и её пределом в том же абзаце. Когда движок будет выпущен, развёрнутый байткод станет каноническим, а этот документ станет его летописью; до тех пор документ — публичное, опровержимое заявление движка о том, чем он будет. Полный текст, на английском: https://blazephoenix.xyz/staking-whitepaper.md
§1 · Одна дисциплина, два движка
BlazePhoenix — это полноценный ончейн-финансовый протокол, собранный из двух сцепленных движков: агрегатора ликвидности и движка стейкинга, — которые разделяют одну дисциплину: вычислять, а не доверять. Любая цена, любая доходность и любая проверка платёжеспособности в протоколе выводятся из состояния сети арифметикой, которую читатель может пересчитать сам. Ни сервиса маршрутизации, ни ценового оракула, ни кипера, ни пути обновления: там, где большинство протоколов просят им верить, этот публикует средства для проверки.
§2 · Тезис стейкинга и Главное тождество сохранения
Агрегатор маршрутизирует чужую ликвидность; протокол должен возделывать и свою. Движок стейкинга BlazePhoenix превращает BZPX из статического остатка в производительный капитал — инструмент доходности, обеспеченную кредитную линию и механизм согласования интересов, привязывающий долгосрочных держателей к успеху протокола, — и делает всё это в одном контракте, управляемом одним уравнением.
§3 · Токен и график эмиссии
Один миллиард BZPX, зафиксированный навсегда, в виде обычного ERC-20: 18 десятичных знаков, ни пути выпуска, ни комиссии при переводе, ни ребейзинга, ни хуков перевода, ни паузы, ни чёрного списка — шесть инвариантов развёртывания, записанных в репозитории стейкинга и сверенных с байткодом токена на этапе связывания. Полностью разводнённое предложение известно с генезиса; редкость — свойство контракта, а не политика. Распределение миллиарда по аллокациям протокола — это запись на уровне протокола, она живёт вместе с сопутствующим документом и собственной ончейн-записью токена; настоящий документ несёт ту часть, которую принуждает движок, — бюджет эмиссии
§4 · Обязательный заблокированный стейкинг и кривая буста
Простыми словами: ликвидного стейкинга нет — каждый депозит связывает свой капитал на выбранный срок, и протокол просто соблюдает этот срок. Точно:
§5 · Доктрина двух аккумуляторов (Dual-Accumulator Doctrine)
Движок выплачивает две разные доходности из двух непересекающихся источников, и стейкер получает одну из них или обе — в зависимости от того, берёт ли он в долг. Это самая тонкая часть конструкции и причина, по которой один контракт может обслуживать и вкладчиков, и заёмщиков без того, чтобы одни субсидировали других. Учёт следует проверенному во всём DeFi паттерну аккумулятора: глобальный индекс на долю продвигается по мере поступления стоимости, каждая позиция хранит индекс на момент своего последнего расчёта, а ожидающая доходность есть разность, умноженная на вес позиции. Оба аккумулятора продвигаются по одним и тем же часам — _updateGlobal выполняется первым в каждой точке входа,
§6 · Кредитная линия
Кредитные протоколы ломаются на оракуле гораздо чаще, чем на математике: подделанный фид делает надёжный залог на вид ничего не стоящим — или ничего не стоящий залог надёжным, — и логика ликвидации, сколь угодно правильная, исполняется поверх лжи. BlazePhoenix не укрепляет оракул; он убирает саму категорию. Залоговый актив и заёмный актив — это один и тот же токен: стейкер блокирует BZPX и занимает BZPX под него, поэтому отношение долга к стоимости позиции — это чистое отношение двух количеств одного токена, долг к стейку, и для его оценки не нужна внешняя цена. Нет фида, который можно подделать, нет окна TWAP
§7 · Ликвидация
Позиция становится ликвидируемой, когда начисленный процент истощил её стейк до 5% от её долга — гарантия в одном предложении: позицию можно ликвидировать ровно тогда, когда debt × 100 ≥ stake × 95, и это проверяется одинаково на бесразрешительном и на автономном пути, и ни блоком раньше. Затем изъятие проходит по фиксированному водопаду:
§8 · Автономное обслуживание (Autonomous Maintenance)
Ликвидации должны быть своевременными, процент должен начисляться, а истёкшие бусты блокировки должны освобождаться — и обычный ответ индустрии на все три задачи — флот офчейн-ботов-киперов, следящих за сетью. Если боты останавливаются, книга гниёт. Это ровно та зависимость от живучести, которую этот протокол отвергает везде, поэтому движок стейкинга её убирает: книга чистит себя сама, из органического потока обычного использования.
§9 · Поверхность верификации
Протокол, хранящий чужую стоимость, не должен просить, чтобы ему верили; он должен публиковать средства для проверки. Движок стейкинга превращает собственную целостность в набор публичных, бесплатных ончейн-чтений, так что любая сторона — стейкер, аудитор, конкурент, скептик — может одним eth_call убедиться, что контракт держит то, что он объявляет своим долгом. Ни панели, ни сабграфа, ни индексатора, ни доверия.
§10 · Экономическая безопасность
Безопасность движка держится на арифметике, которую противник не может согнуть, а не на допущениях, которые противник может сломать. Без оракула и без офчейн-зависимостей модель угроз необычно мала, и каждая оставшаяся угроза закрывается структурным свойством, принуждаемым в каждой транзакции, а не бдительностью оператора.
§11 · Жизненный цикл позиции
Механику предыдущих разделов проще всего понять, проследив одну позицию через всю её жизнь с конкретными числами. Глобальные величины в этом разборе иллюстративны — они задают знаменатели, относительно которых считается доля позиции, — но каждая константа и каждая формула принадлежат самому контракту, и каждое число ниже следует из них.
§12 · Аварийные ситуации и выключатель
Блокировка не безусловна, и утверждать обратное значило бы исказить гарантию. Существуют два пути остановки, и они намеренно непохожи друг на друга.
§13 · Заключение
Мы взялись сделать платёжеспособность свойством кода, а не утверждением о нём, и движок, который описывает этот документ, есть тот же замысел, доведённый до конца. Одно тождество сохранения, принуждаемое как условие отката в каждой транзакции, перемещающей стоимость, делает неплатёжеспособность при обычной работе недостижимой; конструкция с одним активом убирает оракул, ломающий большинство кредиторов, ещё до того, как он может появиться; обслуживание едет на обычном использовании, ограничено по газу и обходится без киперов; а остановка последней инстанции принадлежит любому, кто способен доказать, опираясь лишь на состояние сети, что она нужна.
Questions, a partnership or a bug to report? Contact us or email contact@blazephoenix.xyz