Sept contrats. Une mathématique.
Le protocole entier tient en sept contrats, et ses deux moteurs sont construits de la même façon : une bibliothèque de mathématiques pures à la base, importée par les contrats opérationnels, de sorte qu'aucun nombre n'est jamais redéfini et que rien ne fait confiance à une valeur qu'il n'a pas calculée lui-même. Cinq forment l'agrégateur ; deux forment le moteur de staking. Chaque adresse ci-dessous est le déploiement réel et vérifié sur Base ; le même bytecode tourne sur Ethereum, Optimism, Arbitrum et Robinhood Chain (matrice complète sur /verify).
La Pentade de l'Agrégateur
«Cinq contrats, dont l'un est une mathématique pure importée par les quatre autres.» Le Core calcule ; le Hub mémorise ; le Solver décide ; le Router règle ; le Quoter prévisualise. Chacun expose un unique chemin d'erreur compact, gardant la surface de revert aussi lisible que le chemin nominal.
Ω · 𝒟 · Φ · Ψ — bibliothèque de mathématiques pures, stateless. Sans storage, sans owner, sans chemin d'upgrade — uniquement des fonctions. L'Eightfold Dispatcher Ω, la Deterministic Derivation 𝒟, l'Iron Law Φ et le Vitality Field Ψ vivent ici comme des calculs purs. Importée par les quatre autres ; aucune mathématique n'est redéfinie ailleurs.
Ψ · registry — registre des venues et champ de vitalité. Détient le registre du pool de candidats (16 slots compactés par paire), le champ de vitalité et l'ensemble des bridge-tokens, sous namespacing ERC-7201, de sorte que son storage ne peut jamais entrer en collision avec les slots d'un consommateur.
𝒰(route) — optimiseur du chemin de lecture. Un optimiseur pur du chemin de lecture qui maximise la méta-équation sur les routes et ne touche aucun état qu'il ne peut dériver lui-même. Il décide ; il ne règle jamais.
Φ · execute — exécution atomique, seul mobilisateur de fonds. Le seul contrat qui déplace de la valeur, et il la déplace atomiquement sous la borne minimale de sortie de l'appelant — en re-dérivant on-chain le plancher de l'Iron Law Φ, de sorte qu'un frontend corrompu ne puisse jamais l'abaisser. Ne détient rien au repos.
previewPlan — miroir de prévisualisation off-chain. Reflète le Solver pour la prévisualisation off-chain via previewPlan, produisant par construction le même nombre que le Router réalisera. Le quote EST la logique d'exécution.
5 contrats.
La Dyade de Staking
La même discipline, appliquée au capital propre du protocole : une bibliothèque de mathématiques pures et le moteur qui l'importe. Comme le collatéral et l'actif emprunté sont le même token (BZPX), aucun oracle de prix n'existe nulle part — toute une surface d'attaque est absente par construction.
mulDiv · rawBalanceOf — bibliothèque de mathématiques pures, inlined. La multiplication-puis-division sur 512 bits complète par laquelle passe chaque proportion, plus rawBalanceOf, le staticcall qui permet au contrat de lire son PROPRE adossement. Tout est interne, donc c'est inliné dans le bytecode du moteur (pas d'adresse séparée), exactement comme le Core l'est pour l'agrégateur.
conserves — le moteur à solvabilité imposée. Un seul contrat qui fait ce que la plupart des protocoles répartissent sur trois — vault, marché de prêt et lock-boost — réconcilié via un unique enregistrement UserInfo et deux accumulateurs, chaque chemin déplaçant de la valeur étant enveloppé par la garde conserves. 180M BZPX sur une courbe de halving biennale sur seize ans ; la solvabilité est une condition de revert, pas une lecture de tableau de bord.
2 contrats.
L'unique équation sur laquelle repose chaque moteur
L'agrégateur maximise un unique objectif sur les routes candidates — prendre la sortie nette, mais uniquement parmi les routes qui franchissent le plancher de l'Iron Law Φ, pondérée par la vitalité de chaque pool :
<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>
Le moteur de staking repose sur la Master Conservation Identity — le solde physique égale ce que le grand livre doit, imposé par transaction par la garde conserves, de sorte qu'un état insolvable est inatteignable, pas simplement observable :
balanceOf(this) + totalBadDebt
== (totalStaked − totalDebt) + rewardReserve + protocolReserve
+ (totalRewardDistributed − totalRewardsPaid)Lisez-le en direct, gratuitement, depuis la chaîne : /solvency (ou isSolvent() · solvency() · auditInvariants()).
Vérifiez tout vous-même
Rien ici ne demande de confiance. Le moteur de staking est en production et solvable dès maintenant :
cast call 0x3f60C7aa0c36a78D200405feBE143d2Cf3fA0c77 "isSolvent()(bool)" --rpc-url https://mainnet.base.org
Licence du code : les contrats sont en BUSL-1.1 jusqu'en 2030 — lisez, auditez et vérifiez librement ; l'usage en production nécessite une licence. Devenez partenaire, ne clonez pas ›