Yedi kontrat. Tek matematik.
Protokolün tamamı yedi kontrattan oluşur ve her iki motoru da aynı şekilde inşa edilmiştir: temelde, çalışan kontratlar tarafından import edilen saf bir matematik kütüphanesi — böylece hiçbir sayı asla yeniden tanımlanmaz ve hiçbir şey kendisinin hesaplamadığı bir değere güvenmez. Beşi agregatörü, ikisi staking motorunu oluşturur. Aşağıdaki her adres, Base üzerindeki gerçek, doğrulanmış deploy'dur; aynı bytecode Ethereum, Optimism, Arbitrum ve Robinhood Chain üzerinde çalışır (tam matris /verify adresinde).
Agregatör Beşlisi
"Beş kontrat, bunlardan biri diğer dördü tarafından import edilen saf matematik." Core hesaplar; Hub hatırlar; Solver karar verir; Router uzlaştırır (settle eder); Quoter önizler. Her biri tek ve derli toplu bir hata yolu (error path) sunar, böylece revert yüzeyi mutlu yol (happy path) kadar okunaklı kalır.
Ω · 𝒟 · Φ · Ψ — durumsuz (stateless), saf matematik kütüphanesi. Storage yok, owner yok, upgrade yolu yok — yalnızca fonksiyonlar var. Sekizli Dağıtıcı Ω (the Eightfold Dispatcher Ω), Deterministik Türetim 𝒟 (Deterministic Derivation 𝒟), Demir Kanun Φ (the Iron Law Φ) ve Canlılık Alanı Ψ (the Vitality Field Ψ) burada saf hesaplamalar olarak yaşar. Diğer dört kontrat tarafından import edilir; matematik başka hiçbir yerde yeniden tanımlanmaz.
Ψ · registry — venue registry ve canlılık alanı. Aday havuzu registry'sini (çift başına 16 paketlenmiş slot), canlılık alanını ve bridge-token setini ERC-7201 isim alanı (namespacing) altında tutar; böylece storage'ı bir tüketicinin slotlarıyla asla çakışamaz.
𝒰(route) — read-path optimize edici. Rotalar üzerinden meta-denklemi maksimize eden ve kendisinin türetemeyeceği hiçbir state'e dokunmayan saf bir read-path optimize edicisi. Karar verir; asla settle etmez.
Φ · execute — atomik yürütme, fonları hareket ettiren tek bileşen. Değeri hareket ettiren tek kontrat ve bunu çağıranın minimum-çıktı sınırı altında atomik biçimde yapar — Demir Kanun Φ tabanını zincir üzerinde yeniden türeterek, böylece zehirlenmiş bir frontend bu tabanı asla düşüremez. Beklemede (at rest) hiçbir şey tutmaz.
previewPlan — zincir dışı (off-chain) önizleme aynası. previewPlan aracılığıyla Solver'ı off-chain önizleme için yansıtır; yapısı gereği Router'ın gerçekleştireceği ile aynı sayıyı üretir. Kotasyon (quote), yürütme mantığının KENDİSİDİR.
5 kontrat.
Staking İkilisi
Protokolün kendi sermayesine uygulanan aynı disiplin: saf bir matematik kütüphanesi ve onu import eden motor. Teminat ile borç alınan varlık aynı token (BZPX) olduğundan, hiçbir yerde bir fiyat oracle'ı yoktur — koca bir saldırı yüzeyi yapısı gereği yoktur.
mulDiv · rawBalanceOf — gömülü (inlined) saf matematik kütüphanesi. Her oranın içinden geçtiği tam 512-bit çarp-sonra-böl işlemi, artı rawBalanceOf — kontratın KENDİ teminatını okumasını sağlayan staticcall. Tamamen dahili (all-internal) olduğu için motorun bytecode'una gömülür (ayrı bir adresi yoktur) — tıpkı Core'un agregatöre olan ilişkisi gibi.
conserves — solvency'nin zorunlu kılındığı motor. Çoğu protokolün üçe böldüğünü — vault, lending market ve lock-boost — tek bir kontratta yapar; tek bir UserInfo kaydı ve iki akümülatör üzerinden uzlaştırılır, değer taşıyan her yol conserves guard'ı ile sarmalanır. On altı yıla yayılan iki yıllık (biennial) halving eğrisinde 180M BZPX; solvency bir dashboard okuması değil, bir revert koşuludur.
2 kontrat.
Her motorun üzerine oturduğu tek denklem
Agregatör, aday rotalar üzerinden tek bir amacı maksimize eder — net çıktıyı alır, ama yalnızca Demir Kanun Φ tabanını geçen ve her havuzun canlılığına göre ağırlıklandırılan rotalardan:
<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>
Staking motoru, Ana Korunum Özdeşliği (the Master Conservation Identity) üzerinde durur — fiziksel bakiye, defterin (ledger) borçlu olduğuna eşittir; bu, işlem başına conserves guard'ı tarafından zorunlu kılınır, böylece solvent olmayan bir state yalnızca gözlemlenebilir değil, ulaşılamaz hâle gelir:
balanceOf(this) + totalBadDebt
== (totalStaked − totalDebt) + rewardReserve + protocolReserve
+ (totalRewardDistributed − totalRewardsPaid)Bunu canlı olarak, ücretsiz, doğrudan zincirden okuyun: /solvency (veya isSolvent() · solvency() · auditInvariants()).
Her şeyi kendiniz doğrulayın
Burada hiçbir şey güven talep etmiyor. Staking motoru şu anda canlı ve solvent:
cast call 0x3f60C7aa0c36a78D200405feBE143d2Cf3fA0c77 "isSolvent()(bool)" --rpc-url https://mainnet.base.org
Kod lisansı: kontratlar 2030'a kadar BUSL-1.1 altındadır — özgürce okuyun, denetleyin ve doğrulayın; production kullanımı için lisans gerekir. Ortak olun, klonlamayın ›