سبعة عقود. رياضيات واحدة.
البروتوكول بأكمله سبعة عقود، ومحرّكاه مبنيّان بالطريقة نفسها: مكتبة رياضيات صرفة في القاعدة، تستوردها العقود العاملة، فلا يُعاد تعريف أي رقم ولا يثق أي عقد بقيمة لم يحسبها بنفسه. خمسة منها تُشكّل المجمِّع، واثنان يُشكّلان محرك staking. كل عنوان أدناه هو النشر الحقيقي الموثَّق على Base؛ ونفس الـ bytecode يعمل على Ethereum وOptimism وArbitrum وRobinhood Chain (المصفوفة الكاملة في /verify).
خماسي المجمِّع (The Aggregator Pentad)
«خمسة عقود، أحدها رياضيات صرفة تستوردها الأربعة الأخرى.» الـ Core يحسب؛ والـ Hub يتذكّر؛ والـ Solver يقرّر؛ والـ Router يُسوّي؛ والـ Quoter يعرض المعاينة. ولكلٍّ منها مسار خطأ واحد مضغوط، ما يُبقي سطح الـ revert مقروءًا بقدر مسار النجاح.
Ω · 𝒟 · Φ · Ψ — مكتبة رياضيات صرفة، بلا حالة. لا تخزين، ولا مالك، ولا مسار ترقية — دوال فقط. هنا يعيش the Eightfold Dispatcher Ω (الموزِّع الثماني)، وDeterministic Derivation 𝒟 (الاشتقاق الحتمي)، وthe Iron Law Φ (القانون الحديدي)، وthe Vitality Field Ψ (حقل الحيوية)، بوصفها عمليات حسابية صرفة. تستوردها العقود الأربعة الأخرى؛ ولا يُعاد تعريف أي رياضيات في أي مكان آخر.
Ψ · registry — سجل الأماكن وحقل الحيوية. يحتفظ بسجل مجمّعات السيولة المرشّحة (16 packed slots لكل زوج)، وبحقل الحيوية، وبمجموعة رموز الجسر، تحت تسمية النطاقات ERC-7201، بحيث لا يمكن أن يتصادم تخزينه أبدًا مع خانات العقد المستهلِك.
𝒰(route) — محسِّن مسار القراءة. محسِّن صرف لمسار القراءة، يُعظّم المعادلة الفوقية عبر المسارات ولا يمسّ أي حالة لا يستطيع اشتقاقها. هو يقرّر؛ ولا يُسوّي أبدًا.
Φ · execute — تنفيذ ذرّي، والمحرّك الوحيد للأموال. العقد الوحيد الذي ينقل القيمة، وينقلها ذرّيًا ضمن الحد الأدنى للمُخرَج الذي يحدّده المستدعي — مع إعادة اشتقاق أرضية the Iron Law Φ على السلسلة، فلا تستطيع واجهة أمامية مسمومة خفضها أبدًا. ولا يحتفظ بشيء في حالة السكون.
previewPlan — مرآة المعاينة خارج السلسلة. يعكس الـ Solver للمعاينة خارج السلسلة عبر previewPlan، وينتج بحكم البناء الرقم نفسه الذي سيحقّقه الـ Router. عرض السعر هو منطق التنفيذ نفسه.
5 عقود.
ثنائي Staking (The Staking Dyad)
الانضباط نفسه، مطبَّقًا على رأس مال البروتوكول ذاته: مكتبة رياضيات صرفة، والمحرّك الذي يستوردها. ولأن الضمانة والأصل المقترَض هما الرمز نفسه (BZPX)، لا وجود لأي oracle أسعار في أي مكان — سطح هجوم كامل غائب بحكم البناء.
mulDiv · rawBalanceOf — مكتبة رياضيات صرفة، مضمَّنة inline. عملية الضرب ثم القسمة الكاملة بدقة 512-bit التي تمرّ عبرها كل نسبة، إضافةً إلى rawBalanceOf، وهو الـ staticcall الذي يتيح للعقد قراءة غطائه هو نفسه. كل دوالها internal، ولذلك تُضمَّن inline داخل bytecode المحرّك (بلا عنوان مستقل)، تمامًا كما هو الـ Core بالنسبة إلى المجمِّع.
conserves — المحرّك المفروضة عليه الملاءة. عقد واحد يؤدّي ما تُوزّعه معظم البروتوكولات على ثلاثة — خزنة، وسوق إقراض، وتعزيز بالقفل — موفَّقًا بينها عبر سجل UserInfo واحد ومُراكِمَين اثنين، مع تغليف كل مسار يحرّك قيمة بحارس conserves. 180M BZPX على منحنى تنصيف كل سنتين على مدى ستة عشر عامًا؛ والملاءة شرط revert، لا قراءة على لوحة معلومات.
2 عقد.
المعادلة الواحدة التي يقوم عليها كل محرّك
يُعظّم المجمِّع هدفًا واحدًا عبر المسارات المرشّحة — خُذ المُخرَج الصافي، لكن فقط من المسارات التي تتجاوز أرضية the Iron Law Φ، مرجَّحًا بحيوية كل مجمّع سيولة:
<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 (متطابقة الحفظ الكبرى) — الرصيد الفعلي يساوي ما يدين به الدفتر، مفروضًا في كل معاملة عبر حارس conserves، بحيث تكون الحالة غير المليئة غير قابلة للبلوغ، لا مجرّد قابلة للملاحظة:
balanceOf(this) + totalBadDebt
== (totalStaked − totalDebt) + rewardReserve + protocolReserve
+ (totalRewardDistributed − totalRewardsPaid)اقرأها حيّة، مجانًا، من السلسلة: /solvency (أو isSolvent() · solvency() · auditInvariants()).
تحقّق من كل شيء بنفسك
لا شيء هنا يطلب الثقة. محرّك staking حيّ ومليء الآن:
cast call 0x3f60C7aa0c36a78D200405feBE143d2Cf3fA0c77 "isSolvent()(bool)" --rpc-url https://mainnet.base.org
رخصة الكود: العقود تحت BUSL-1.1 حتى 2030 — اقرأ ودقّق وتحقّق بحرية؛ الاستخدام الإنتاجي يحتاج رخصة. كُن شريكًا، لا تستنسخ ›