Семь контрактов. Одна математика.
Весь протокол — это семь контрактов, и оба его движка построены одинаково: библиотека чистой математики в основании, импортируемая рабочими контрактами, так что ни одно число никогда не переопределяется и ничто не доверяет значению, которое само не вычислило. Пять контрактов образуют агрегатор; два — движок стейкинга. Каждый адрес ниже — это реальный, проверенный деплой на Base; тот же самый байт-код работает на Ethereum, Optimism, Arbitrum и Robinhood Chain (полная матрица в /verify).
Пентада Агрегатора
«Пять контрактов, один из которых — чистая математика, импортируемая остальными четырьмя». Core вычисляет; Hub помнит; Solver решает; Router исполняет; Quoter предпросматривает. Каждый контракт раскрывает единственный компактный путь ошибки, благодаря чему поверхность revert так же читаема, как и happy path.
Ω · 𝒟 · Φ · Ψ — библиотека чистой математики, без состояния. Нет storage, нет владельца, нет пути апгрейда — только функции. Восьмеричный Диспетчер Ω (the Eightfold Dispatcher Ω), Детерминированная Деривация 𝒟 (Deterministic Derivation 𝒟), Железный Закон Φ (the Iron Law Φ) и Поле Жизнеспособности Ψ (the Vitality Field Ψ) существуют здесь как чистые вычисления. Импортируется остальными четырьмя контрактами; математика нигде больше не переопределяется.
Ψ · реестр — реестр площадок и поле жизнеспособности. Хранит реестр пула кандидатов (16 упакованных слотов на пару), поле жизнеспособности и набор bridge-токенов, в пространстве имён ERC-7201, так что его storage никогда не может пересечься со слотами потребителя.
𝒰(route) — оптимизатор read-пути. Чистый оптимизатор read-пути, максимизирующий мета-уравнение по маршрутам и не затрагивающий ни одного состояния, которое он не может вывести сам. Он решает; он никогда не исполняет расчёт.
Φ · execute — атомарное исполнение, единственный движитель средств. Единственный контракт, который перемещает стоимость, и делает это атомарно, в рамках минимально допустимого выхода вызывающего — заново выводя порог Железного Закона Φ прямо в сети, так что скомпрометированный фронтенд никогда не сможет его занизить. Не хранит ничего в состоянии покоя.
previewPlan — офчейн-зеркало предпросмотра. Зеркалит Solver для офчейн-предпросмотра через previewPlan, по построению выдавая то же число, которое реализует Router. Котировка И ЕСТЬ логика исполнения.
5 контрактов.
Диада Стейкинга
Та же дисциплина, применённая к собственному капиталу протокола: библиотека чистой математики и движок, который её импортирует. Поскольку залог и заимствуемый актив — один и тот же токен (BZPX), ценовой оракул отсутствует в принципе — целая поверхность атаки отсутствует по построению.
mulDiv · rawBalanceOf — библиотека чистой математики, встроенная. Полное 512-битное умножение-затем-деление, через которое проходит каждая пропорция, плюс rawBalanceOf — staticcall, позволяющий контракту прочитать СОБСТВЕННОЕ обеспечение. Полностью внутренняя, поэтому встраивается (inlined) прямо в байт-код движка (отдельного адреса нет) — точно так же, как Core относится к агрегатору.
conserves — движок с принудительной платёжеспособностью (solvency-enforced). Один контракт делает то, что большинство протоколов разносят по трём — vault, кредитный рынок и lock-boost — сведённое воедино через единую запись UserInfo и два аккумулятора, каждый путь движения стоимости обёрнут в guard conserves. 180M BZPX по кривой биеннального халвинга на протяжении шестнадцати лет; платёжеспособность — это условие revert, а не показание дашборда.
2 контракта.
Единое уравнение, на котором стоит каждый движок
Агрегатор максимизирует единственную целевую функцию по маршрутам-кандидатам — берёт чистый выход, но только из маршрутов, проходящих порог Железного Закона Φ, взвешенных по жизнеспособности каждого пула:
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block"><mrow><mi>𝒰</mi><mo>(</mo><mi>route</mi><mo>)</mo><mo>=</mo><mi>𝟙</mi><mo>[</mo><msub><mi>y</mi><mtext>net</mtext></msub><mo>≥</mo><mi>Φ</mi><mo>·</mo><msub><mi>y</mi><mtext>quote</mtext></msub><mo>]</mo><mo>·</mo><msub><mi>y</mi><mtext>net</mtext></msub><mo>·</mo><munder><mo>∏</mo><mi>i</mi></munder><msubsup><mi>Ψ</mi><mi>i</mi><msub><mi>w</mi><mi>i</mi></msub></msubsup></mrow></math>
Движок стейкинга стоит на Главном Тождестве Сохранения (the Master Conservation Identity) — физический баланс равен тому, что должен леджер, обеспечиваемое на уровне каждой транзакции guard'ом conserves, так что неплатёжеспособное состояние недостижимо, а не просто наблюдаемо:
balanceOf(this) + totalBadDebt
== (totalStaked − totalDebt) + rewardReserve + protocolReserve
+ (totalRewardDistributed − totalRewardsPaid)Прочитайте это в реальном времени, бесплатно, прямо из сети: /solvency (или isSolvent() · solvency() · auditInvariants()).
Проверьте всё сами
Здесь ничего не просят принимать на веру. Движок стейкинга работает и платёжеспособен прямо сейчас:
cast call 0x3f60C7aa0c36a78D200405feBE143d2Cf3fA0c77 "isSolvent()(bool)" --rpc-url https://mainnet.base.org
Лицензия кода: контракты под BUSL-1.1 до 2030 года — читайте, аудируйте и проверяйте свободно; для продакшн-использования нужна лицензия. Партнёрство, не клонирование ›