Siete contratos. Una matemática.
Todo el protocolo son siete contratos, y sus dos motores están construidos de la misma manera: una librería de matemática pura en la base, importada por los contratos operativos, de modo que ningún número se redefine nunca y nada confía en un valor que no haya calculado. Cinco forman el agregador; dos forman el motor de staking. Cada dirección de abajo es el despliegue real y verificado en Base; el mismo bytecode corre en Ethereum, Optimism, Arbitrum y Robinhood Chain (matriz completa en /verify).
La Pentad del Agregador
“Cinco contratos, uno de los cuales es matemática pura importada por los otros cuatro.” El Core calcula; el Hub recuerda; el Solver decide; el Router liquida; el Quoter previsualiza. Cada uno expone una única ruta de error compacta, manteniendo la superficie de revert tan legible como la ruta exitosa.
Ω · 𝒟 · Φ · Ψ — librería de matemática pura, stateless. Sin storage, sin owner, sin ruta de upgrade — solo funciones. El Eightfold Dispatcher Ω, la Deterministic Derivation 𝒟, la Iron Law Φ y el Vitality Field Ψ viven aquí como cómputos puros. Importada por los otros cuatro; ninguna matemática se redefine en ningún otro sitio.
Ψ · registry — registro de venues y campo de vitalidad. Contiene el registro del pool de candidatos (16 slots empaquetados por par), el campo de vitalidad y el conjunto de bridge-tokens, bajo namespacing ERC-7201, de modo que su storage nunca puede colisionar con los slots de un consumidor.
𝒰(route) — optimizador de la ruta de lectura. Un optimizador puro de la ruta de lectura que maximiza la meta-ecuación sobre las rutas y no toca ningún estado que no pueda derivar. Decide; nunca liquida.
Φ · execute — ejecución atómica, el único movilizador de fondos. El único contrato que mueve valor, y lo mueve atómicamente bajo el límite mínimo de salida del llamante — re-derivando en cadena el suelo de la Iron Law Φ, de modo que un frontend comprometido nunca pueda bajarlo. No retiene nada en reposo.
previewPlan — espejo de previsualización off-chain. Refleja al Solver para previsualización off-chain vía previewPlan, produciendo por construcción el mismo número que el Router va a materializar. El quote ES la lógica de ejecución.
5 contratos.
La Diada de Staking
La misma disciplina, aplicada al propio capital del protocolo: una librería de matemática pura y el motor que la importa. Como el colateral y el activo prestado son el mismo token (BZPX), no existe ningún oráculo de precio en ningún sitio — toda una superficie de ataque está ausente por construcción.
mulDiv · rawBalanceOf — librería de matemática pura, inlined. La multiplicación-luego-división de 512 bits completa por la que fluye cada proporción, más rawBalanceOf, el staticcall que permite al contrato leer su PROPIO respaldo. Todo interno, por lo que se inlinea en el bytecode del motor (sin dirección propia), exactamente como el Core lo es para el agregador.
conserves — el motor con solvencia forzada. Un único contrato que hace lo que la mayoría de protocolos divide en tres — vault, mercado de crédito y lock-boost — reconciliado mediante un único registro UserInfo y dos acumuladores, con cada ruta que mueve valor envuelta en la guarda conserves. 180M BZPX en una curva de halving bienal a lo largo de dieciséis años; la solvencia es una condición de revert, no una lectura de dashboard.
2 contratos.
La única ecuación sobre la que se sostiene cada motor
El agregador maximiza un único objetivo sobre las rutas candidatas — tomar la salida neta, pero solo de rutas que superan el suelo de la Iron Law Φ, ponderado por la vitalidad de cada 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>
El motor de staking se sostiene sobre la Master Conservation Identity — el saldo físico es igual a lo que el libro mayor debe, impuesto por transacción mediante la guarda conserves, de modo que un estado insolvente es inalcanzable, no meramente observable:
balanceOf(this) + totalBadDebt
== (totalStaked − totalDebt) + rewardReserve + protocolReserve
+ (totalRewardDistributed − totalRewardsPaid)Léalo en vivo, gratis, desde la cadena: /solvency (o isSolvent() · solvency() · auditInvariants()).
Verifíquelo todo usted mismo
Nada aquí pide confianza. El motor de staking está en producción y solvente ahora mismo:
cast call 0x3f60C7aa0c36a78D200405feBE143d2Cf3fA0c77 "isSolvent()(bool)" --rpc-url https://mainnet.base.org
Licencia del código: los contratos son BUSL-1.1 hasta 2030 — lea, audite y verifique libremente; el uso en producción requiere licencia. Asóciese, no clone ›