سباق Cross-Shard على شبكة Q₆ Cross-Shard Race on Q₆ Network
📘 المواصفة الرسميّة المفصَّلة — تعاريف ومبرهناتDetailed Formal Specification — Definitions & Theorems
١. التعاريف الأساسيّة1. Foundational Definitions
Definition 1 (Q6).
ليكن الفضاء V := {0,1}6. نُعرِّف البيان Q6=(V,E) حيث (u,v)∈E ⇔ dH(u,v)=1، وdH هي مسافة هامِنغ.
Let V := {0,1}6. Define the graph Q6=(V,E) with (u,v)∈E ⇔ dH(u,v)=1, where dH is Hamming distance.
Definition 2 (Shard).
كل رأس s∈V يُمثّل شريحة (Shard)؛ خاصّة A,B∈V هما سلسلتا المصدر والوجهة.
Each vertex s∈V denotes a shard; in particular A,B∈V denote source and destination chains.
Definition 3 (Admissible Hop).
القفزة u→v مَقبولة عند (u,v)∈E؛ ومُتقدِّمة (Progressing) عند dH(v,B) < dH(u,B).
A hop u→v is admissible iff (u,v)∈E; it is progressing iff dH(v,B) < dH(u,B).
٢. المبرهنات المُستخدَمة2. Theorems Invoked
Theorem 4.3 [SBAY-FOUND-2025] — Hypercube Emergence.
الإسقاط π : Kn(d)∖{KC} → {0,1}d يَستحدث تماثلاً بيانياً مع Qd.
The projection π : Kn(d)∖{KC} → {0,1}d induces a graph isomorphism with Qd.
Lemma A.2 — Adjacency Preservation under π.
لكل x,y∈Kn(d)∖{KC}: ‖x−y‖1=1 ⟹ dH(π(x),π(y))=1.
For all x,y∈Kn(d)∖{KC}: ‖x−y‖1=1 ⟹ dH(π(x),π(y))=1.
Proposition 5.3 — Decentralization (Algebraic Connectivity).
لأي بُعد d، يَتحقّق λ1(L(Qd))=2، مما يُؤمِّن قَدْراً ثابتاً من تَحمُّل الأعطال.
For every dimension d, λ1(L(Qd))=2, yielding dimension-independent fault tolerance.
٣. شرط النهائيّة (BFT)3. Finality Predicate (BFT)
Predicate F.
ليكن W مجموعة المراقبين، σ(W') مجموعة المُصدّقين. تُعتبَر المعاملة نِهائيّة ⇔ |σ(W')| ≥ ⌈2|W|/3⌉، اتّساقاً مع نِصاب بيزنطي كلاسيكي [§5 من Sequence Diagram].
Let W be the watcher set and σ(W') the attesting subset. A transaction is final iff |σ(W')| ≥ ⌈2|W|/3⌉, consistent with classical Byzantine quorum [§5 of Sequence Diagram].
٤. مَتى تَنجح المحاكاة4. Simulation Success Condition
تَنتهي المحاكاة بنجاح إذا حقّقت cur = B بعدد قفزات h ≤ dH(A,B) + ε، اجتاز كل Relay-verify ضمن آجاله، وتحقّق المُسنَد F. الزمن المُسجَّل τE2E هو المؤشّر التشغيلي للأداء.
The simulation succeeds iff cur = B in h ≤ dH(A,B) + ε hops, every Relay-verify passes within its deadline, and F holds. The recorded τE2E is the operational performance indicator.
٥. المراجع5. References
- [SBAY-FOUND-2025] sbay-dev (2025). A Formal Mathematical Foundation of the CubiCrypt Network System (CNS). CNSEmbedding / Private System's / CNS Decentralized Networker_. §§1–7 + Appendix A.
- [SBAY-SEQ-2026] sbay-dev (2026). Sequence Diagram — Cross-Shard Transaction from Chain A to Chain B over Q₆. CNSEmbedding / Private System's / CNS Decentralized Networker_. Steps 1–18.
- [CNS-K12] sbay-dev (2026). CNS-K12 · 12 Independent Semantic Axes & 96 Lexical Anchors. sarmadAi docs.
—
—