Opening the FROGEN Protocol: Our Specifications Are Going Public on Github
Открываем протокол FROGEN: наши спецификации теперь публичны на GitHub
Коротко: Мы добавили ссылку на GitHub на сайте frogen.io и начали публиковать технические спецификации протокола FROGEN — по одному контракту за раз. Первая спецификация, DynamicStaking, уже доступна. Ещё пять выйдут по опубликованному расписанию до начала июля. Это инженерные спецификации, написанные для публичной проверки перед сторонним аудитом безопасности — не готовые аудиторские отчёты. И мы считаем, что это различие важно.
Почему мы это делаем — и почему именно сейчас
Протокол просит людей доверять коду, который они обычно не видят. Мы предпочитаем не просить о таком слепом доверии. Поэтому мы публикуем спецификации, описывающие поведение каждого контракта FROGEN — на понятном техническом языке, в публичном репозитории, который любой может читать, форкать и оспаривать.
Выбор момента неслучаен. Мы публикуем сейчас — пока контракты проходят интеграционное тестирование и до формального стороннего аудита — потому что именно в этом окне внешняя проверка наиболее полезна. Спецификация, опубликованная после того, как всё готово, приглашает аплодисменты. Спецификация, опубликованная пока ещё есть время что-то изменить, приглашает более сложное и ценное: критику, на которую можно реально отреагировать. Некоторые улучшения этих документов уже появились именно благодаря такому adversarial-ревью, и мы предпочитаем вести эти разговоры открыто.
Это также инструмент обязательства. Публикуя датированное расписание, мы делаем для себя дорогостоящим тихое отступление от него. Вы можете держать нас в ответе за даты ниже.
Спецификация DynamicStaking — первый документ в репозитории. Он описывает механизм стейкинга полностью: как рассчитывается годовая процентная ставка, математика за ней, и логика здоровья пула, которая поддерживает устойчивость системы вознаграждений со временем. Документ написан так, чтобы разработчик, аудитор или достаточно внимательный держатель мог разобрать механизм шаг за шагом и проверить математику самостоятельно — без необходимости читать Solidity.
Найти его можно по ссылке на GitHub на сайте frogen.io или напрямую в репозитории спецификаций протокола.
Каждая спецификация выходит отдельным документом, чтобы каждую можно было изучить независимо. Даты ниже — целевые. Мы публикуем их именно для того, чтобы их можно было отслеживать.
Коротко о двух наиболее важных для повседневных держателей:
SmartVest управляет комиссией за перевод. Вместо фиксированного налога комиссия следует кривой: она выше, когда мало токенов заблокировано, и снижается по мере роста залоченного объёма — с небольшим постоянным минимумом и отдельным откликом, который поднимает комиссию при низком уровне пула стейкинг-вознаграждений. Спецификация раскрывает формулы, границы и крайние случаи.
Cross-Contract Specification, последняя в последовательности, связывает всё воедино: как токен, калькулятор комиссий, система стейкинга и вспомогательные контракты читают данные друг друга и зависят друг от друга. Мы намеренно поставили её последней, чтобы она могла ссылаться на уже опубликованные спецификации, а не на те, что ещё в черновике.
Что это означает — и что не означает
Мы хотим быть точными в том, что представляет публикация спецификации, потому что её преувеличение лишило бы всё смысла.
Что это означает. Поведение каждого контракта теперь описано публично, подробно, до запуска. Любой может прочитать задуманный механизм, проверить математику, сравнить документы между собой и указать нам, где мы ошибаемся. Спецификации явно указывают на собственные допущения доверия — включая то, где контракт неизменяем, где управление может скорректировать ограниченный параметр, и каким был бы путь исправления наивысшего приоритета при обнаружении дефекта.
Что это не означает. Опубликованная спецификация — это не аудит и не гарантия. Каждый документ помечен как каноническая спецификация, всё ещё подлежащая доработке в ходе аудиторских циклов. Формальный сторонний аудит безопасности — отдельный шаг, который следует после. Некоторые значения, например отдельные параметры запуска, указаны как подтверждаемые при деплое, а не угаданные заранее. Чтение спецификации говорит вам, что контракт разработан делать; само по себе это не доказывает, что задеплоенный код делает именно это. Это доказательство — задача аудита и публичного верифицируемого деплоя.
Мы предпочитаем, чтобы вы доверяли процессу, который можете наблюдать, а не утверждению, которое нужно принимать на веру.
Если вы читаете эти документы и находите ошибку, неоднозначность или утверждение, которое не выдерживает проверки — это самое полезное, что вы можете нам прислать. Спецификации существуют для того, чтобы их проверяли.
— Читайте спецификации по ссылке на GitHub на сайте frogen.io — Открывайте issue в репозитории, если находите то, что требует исправления — Следите за обновлениями по мере выхода каждого документа по расписанию выше
GitHub: https://github.com/frogen-protocol
Мы будем отчитываться о прогрессе по расписанию — включая любые сдвиги дат и их причины.