Tujuh kontrak. Satu matematika.
Seluruh protokol terdiri dari tujuh kontrak, dan kedua mesinnya dibangun dengan cara yang sama: sebuah pustaka (library) matematika murni sebagai fondasi, diimpor oleh kontrak-kontrak kerja, sehingga tidak ada satu angka pun yang pernah didefinisikan ulang dan tidak ada yang mempercayai nilai yang tidak dihitungnya sendiri. Lima kontrak membentuk agregator; dua membentuk mesin staking. Setiap alamat di bawah ini adalah deployment asli yang terverifikasi di Base; bytecode yang sama berjalan di Ethereum, Optimism, Arbitrum, dan Robinhood Chain (matriks lengkap ada di /verify).
Pentad Agregator
"Lima kontrak, salah satunya adalah matematika murni yang diimpor oleh empat lainnya." Core menghitung; Hub mengingat; Solver memutuskan; Router menyelesaikan (settle); Quoter menampilkan pratinjau. Masing-masing mengekspos satu jalur error yang ringkas, sehingga permukaan revert tetap sejelas jalur normalnya (happy path).
Ω · 𝒟 · Φ · Ψ — pustaka matematika murni, tanpa state (stateless). Tidak ada storage, tidak ada owner, tidak ada jalur upgrade — hanya fungsi. Eightfold Dispatcher Ω, Deterministic Derivation 𝒟, Iron Law Φ, dan Vitality Field Ψ berada di sini sebagai komputasi murni. Diimpor oleh keempat kontrak lainnya; tidak ada matematika yang didefinisikan ulang di tempat lain.
Ψ · registry — registry venue dan vitality field. Menyimpan registry candidate-pool (16 slot terkemas per pasangan), vitality field, dan kumpulan bridge-token, di bawah namespacing ERC-7201, sehingga storage-nya tidak akan pernah bertabrakan dengan slot milik consumer.
𝒰(route) — pengoptimal read-path. Pengoptimal read-path murni yang memaksimalkan meta-persamaan pada berbagai rute dan tidak menyentuh state apa pun yang tidak dapat diturunkannya sendiri. Ia memutuskan; ia tidak pernah menyelesaikan (settle) transaksi.
Φ · execute — eksekusi atomik, satu-satunya penggerak dana. Satu-satunya kontrak yang memindahkan nilai (value), dan ia memindahkannya secara atomik di bawah batas output minimum milik pemanggil — menurunkan kembali batas Iron Law Φ secara on-chain, sehingga frontend yang telah diracuni tidak akan pernah bisa menurunkannya. Tidak menyimpan apa pun dalam keadaan diam (at rest).
previewPlan — cermin pratinjau off-chain. Mencerminkan Solver untuk pratinjau off-chain melalui previewPlan, yang secara konstruksi menghasilkan angka yang sama dengan yang akan direalisasikan oleh Router. Quote ADALAH logika eksekusi itu sendiri.
5 kontrak.
Diad Staking
Disiplin yang sama, diterapkan pada modal protokol itu sendiri: sebuah pustaka matematika murni dan mesin yang mengimpornya. Karena aset agunan (collateral) dan aset yang dipinjam adalah token yang sama (BZPX), tidak ada price oracle di mana pun — seluruh permukaan serangan (attack surface) tidak ada secara konstruksi.
mulDiv · rawBalanceOf — pustaka matematika murni, inline. Operasi perkalian-lalu-pembagian 512-bit penuh yang dilalui setiap proporsi, ditambah rawBalanceOf, staticcall yang memungkinkan kontrak membaca backing miliknya SENDIRI. Sepenuhnya internal (all-internal), sehingga di-inline ke dalam bytecode mesin (tanpa alamat terpisah), persis seperti Core terhadap agregator.
conserves — mesin dengan solvabilitas yang dipaksakan (solvency-enforced). Satu kontrak yang melakukan apa yang biasanya dipecah oleh sebagian besar protokol menjadi tiga — vault, pasar lending, dan lock-boost — direkonsiliasi melalui satu catatan UserInfo dan dua akumulator, setiap jalur yang memindahkan nilai dibungkus dalam guard conserves. 180M BZPX pada kurva halving dua tahunan (biennial) selama enam belas tahun; solvabilitas adalah kondisi revert, bukan angka pada dashboard.
2 kontrak.
Satu persamaan yang menjadi dasar setiap mesin
Agregator memaksimalkan satu tujuan tunggal atas rute-rute kandidat — mengambil output bersih (net output), tetapi hanya dari rute yang melewati batas Iron Law Φ, diberi bobot berdasarkan vitalitas masing-masing 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>
Mesin staking berdiri di atas Master Conservation Identity — saldo fisik sama dengan apa yang dicatat sebagai kewajiban oleh ledger, dipaksakan per transaksi oleh guard conserves, sehingga state yang insolvent tidak dapat dicapai, bukan sekadar dapat diamati:
balanceOf(this) + totalBadDebt
== (totalStaked − totalDebt) + rewardReserve + protocolReserve
+ (totalRewardDistributed − totalRewardsPaid)Baca secara langsung (live), gratis, langsung dari chain: /solvency (atau isSolvent() · solvency() · auditInvariants()).
Verifikasi semuanya sendiri
Tidak ada yang di sini meminta kepercayaan. Mesin staking aktif dan solvent saat ini juga:
cast call 0x3f60C7aa0c36a78D200405feBE143d2Cf3fA0c77 "isSolvent()(bool)" --rpc-url https://mainnet.base.org
Lisensi kode: kontrak berlisensi BUSL-1.1 hingga 2030 — bebas dibaca, diaudit, dan diverifikasi; penggunaan produksi memerlukan lisensi. Bermitra, jangan mengkloning ›