সাতটি contract। একটিই গণিত।
গোটা protocol সাতটি contract, আর এর দুটি ইঞ্জিনই একইভাবে গড়া: ভিত্তিতে একটি বিশুদ্ধ-গণিতের library, যেটি কাজের contract-গুলো import করে, ফলে কোনো সংখ্যা দ্বিতীয়বার সংজ্ঞায়িত হয় না এবং কোনো contract এমন কোনো value-কে বিশ্বাস করে না যা সে নিজে হিসাব করেনি। পাঁচটি মিলে aggregator; দুটি মিলে staking ইঞ্জিন। নিচের প্রতিটি ঠিকানা Base-এ আসল, verified deployment; একই bytecode চলে Ethereum, Optimism, Arbitrum ও Robinhood Chain-এ (পূর্ণ ম্যাট্রিক্স /verify-এ)।
Aggregator Pentad — পাঁচের সমষ্টি
“পাঁচটি contract, যার একটি বিশুদ্ধ গণিত এবং বাকি চারটি সেটিকে import করে।” Core হিসাব করে; Hub মনে রাখে; Solver সিদ্ধান্ত নেয়; Router নিষ্পত্তি করে; Quoter পূর্বরূপ দেখায়। প্রত্যেকটির একটিই সংক্ষিপ্ত error path, যাতে revert surface সফল path-এর মতোই পাঠযোগ্য থাকে।
Ω · 𝒟 · Φ · Ψ — বিশুদ্ধ-গণিতের library, stateless। storage নেই, owner নেই, upgrade path নেই — কেবল function। the Eightfold Dispatcher Ω, Deterministic Derivation 𝒟, the Iron Law Φ এবং the Vitality Field Ψ এখানেই বিশুদ্ধ গণনা হিসেবে থাকে। বাকি চারটি একে import করে; গণিত আর কোথাও নতুন করে সংজ্ঞায়িত হয় না।
Ψ · registry — venue registry ও vitality field। এতে থাকে candidate-pool registry (প্রতি pair-এ 16 packed slots), vitality field এবং bridge-token set, ERC-7201 namespacing-এর অধীনে, যাতে এর storage কোনো consumer-এর slot-এর সঙ্গে কখনও সংঘর্ষে না যায়।
𝒰(route) — read-path optimiser। একটি বিশুদ্ধ read-path optimiser, যা route-গুলোর ওপর meta-equation সর্বোচ্চ করে এবং এমন কোনো state ছোঁয় না যা সে derive করতে পারে না। সে সিদ্ধান্ত নেয়; নিষ্পত্তি কখনও করে না।
Φ · execute — atomic execution, তহবিল নাড়ানোর একমাত্র contract। এটিই একমাত্র contract যা value স্থানান্তর করে, আর তা করে atomically, caller-এর minimum-output সীমার অধীনে — the Iron Law Φ-এর floor on-chain আবার derive করে, যাতে বিষাক্ত কোনো frontend তা কখনও নামাতে না পারে। স্থির অবস্থায় এটি কিছুই ধরে রাখে না।
previewPlan — off-chain preview mirror। previewPlan-এর মাধ্যমে off-chain preview-এর জন্য এটি Solver-এর প্রতিফলন, এবং গঠনগতভাবেই সেই একই সংখ্যা দেয় যা Router বাস্তবায়ন করবে। quote-ই execution logic।
5টি contract।
Staking Dyad — দুইয়ের জুড়ি
একই শৃঙ্খলা, এবার protocol-এর নিজের পুঁজিতে প্রয়োগ করা: একটি বিশুদ্ধ-গণিতের library এবং যে ইঞ্জিন সেটিকে import করে। যেহেতু collateral আর ধার করা asset একই token (BZPX), তাই কোথাও কোনো price oracle নেই — গোটা একটি attack surface গঠনগতভাবেই অনুপস্থিত।
mulDiv · rawBalanceOf — বিশুদ্ধ-গণিতের library, inlined। পূর্ণ 512-bit multiply-then-divide, যার ভেতর দিয়ে প্রতিটি অনুপাত যায়, সঙ্গে rawBalanceOf — সেই staticcall যা contract-কে তার নিজের backing পড়তে দেয়। সবই internal, তাই এটি ইঞ্জিনের bytecode-এ inline হয়ে যায় (আলাদা কোনো ঠিকানা নেই), ঠিক যেমন Core, aggregator-এর ক্ষেত্রে।
conserves — solvency-বাধ্যতামূলক ইঞ্জিন। বেশির ভাগ protocol যা তিনটি contract-এ ভাগ করে — vault, lending market ও lock-boost — এই একটিই contract তা করে, একটিমাত্র UserInfo record ও দুটি accumulator দিয়ে মিলিয়ে, আর value নাড়ায় এমন প্রতিটি path মোড়া থাকে conserves guard-এ। ষোলো বছর ধরে দ্বিবার্ষিক halving curve-এ 180M BZPX; solvency এখানে একটি revert শর্ত, dashboard-এর পাঠ নয়।
2টি contract।
প্রতিটি ইঞ্জিন যে একটিমাত্র সমীকরণের ওপর দাঁড়িয়ে
aggregator, candidate route-গুলোর ওপর একটিমাত্র objective সর্বোচ্চ করে — net output নাও, কিন্তু কেবল সেই route থেকে যা the Iron Law Φ-এর floor পার করে, আর প্রতিটি pool-এর vitality দিয়ে ভারিত:
<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 ইঞ্জিন দাঁড়িয়ে আছে the Master Conservation Identity-র ওপর — ভৌত balance ঠিক ততটাই যতটা ledger-এর দেনা, প্রতিটি transaction-এ conserves guard তা কার্যকর করে, ফলে insolvent অবস্থা কেবল পর্যবেক্ষণযোগ্য নয় — সেখানে পৌঁছানোই অসম্ভব:
balanceOf(this) + totalBadDebt
== (totalStaked − totalDebt) + rewardReserve + protocolReserve
+ (totalRewardDistributed − totalRewardsPaid)chain থেকে সরাসরি, বিনামূল্যে, লাইভ পড়ুন: /solvency (বা isSolvent() · solvency() · auditInvariants())।
পুরোটা নিজেই verify করুন
এখানে কিছুই বিশ্বাস চায় না। staking ইঞ্জিন এই মুহূর্তে লাইভ এবং solvent:
cast call 0x3f60C7aa0c36a78D200405feBE143d2Cf3fA0c77 "isSolvent()(bool)" --rpc-url https://mainnet.base.org
কোড লাইসেন্স: contract-গুলো 2030 পর্যন্ত BUSL-1.1-এর অধীনে — অবাধে পড়ুন, audit করুন ও verify করুন; production ব্যবহারের জন্য লাইসেন্স লাগবে। partner হোন, clone করবেন না ›