الأوراق البحثية
يُوصَف بروتوكول Rand في مطبوعات. ستّ أوراق سارية: ورقة البروتوكول في مسودتها الثالثة، وورقة التنفيذ المرجعي المكتوبة وفق العقدة التي تشغّلها الشبكة التجريبية، وتقرير الجسر، وورقة zUSD عن الدولار المحجوب، وتحليل الأمان المستقل، وملخّص المستثمرين. كل ملف PDF هو المصدر المعتمد: نزّله، واستشهد به، ودقّقه. وحيثما يكون للتصميم حدود، تذكرها الأوراق ولا تُغفلها.
- الورقة البيضاءSTARKإثبات الحصة · التسامح مع الأعطال البيزنطيةEVMما بعد الكمّ
Rand Protocol
حوسبة اعتباطية سرّية
المسودة 3 · أغسطس 2026، حُدِّثت في سبتمبر 2026 · 73 صفحة
نقدّم Rand، سلسلة كتل بإثبات الحصة (proof-of-stake) يمنح إجماعها المتسامح مع الأعطال البيزنطية (BFT) نهائيةً حتمية سريعة، وتكون كل معاملة فيها إثباتًا بمعرفة صفرية. ينبع وزن الإجماع من الحصة المربوطة وحدها: فلا تمنح أي حوسبة قوة تصويت، ولا تختار قائدًا، ولا تحسم تفرّع السلسلة. أما ما تتضمنه السلسلة فعلًا فهو قدر كبير من الإثبات يجري إلى جانب الإجماع: تُنتج كل محفظة STARK لمعاملتها، وحين يُفعَّل تجميع الإثباتات على مستوى الكتلة، يكسب المجمِّعون المربوطون بحصصهم RAND بإثبات STARK تعاودية فوق إثباتات المستخدمين. ويكسب المدقّقون (validators) رسوم الكتل التي يقترحونها؛ أما دلالات العقود الذكية فهي دلالات آلة Ethereum الافتراضية (EVM). تشرح الورقة مخطط المعرفة الصفرية نفسه — كيف تتحول الحوسبة إلى جدول، والجدول إلى مجموعة من متعددات الحدود، ومتعددات الحدود إلى إثبات حجمه نحو 1.4 MB لكل تحويل، يتحقق منه أي مدقّق في أجزاء من الثانية. Rand سلسلة عقود ذكية عامة لا تتضمن أي نوع معاملة شفاف على الإطلاق: كل حوسبة — تحويل رمز أو استدعاء عقد اعتباطي — تُنفَّذ بسرّية بحكم البناء. يحتفظ المستخدمون بـ RAND محمية (shielded)، ويدفعون الغاز منها، وينفّذون شيفرة اعتباطية لا تظهر مدخلاتها ولا معاملاتها ولا حالتها الوسيطة على السلسلة أبدًا، بينما يتحقق المدقّقون من STARK واحد يثبت صحة التنفيذ. توفّر EVM الدلالات التي يُثبَت التنفيذ وفقها، في صورة مفسِّر ضيف داخل الدائرة، فتعمل شيفرة Solidity البايتية القائمة دون تعديل؛ وهي ليست مسار تنفيذ شفافًا إلى جانب المسار المحمي.
تقترح هذه المراجعة أيضًا، بوصفها اتجاهًا بحثيًا غير منفَّذ، الإسناد القابل للتحقق للمُثبِتين (Verifiable Prover Attribution، VPA). لا تستخدمه السلسلة العاملة: فمحافظها تُثبت معاملاتها بنفسها، ويُختار قائدها بالتناوب الدوري، وذاكرة معاملاتها المعلّقة (mempool) غير مشفّرة، ودور الإثبات الوحيد المربوط بحصة فيها هو سجل المجمِّعين، حيث يُكافأ أول تجميع نهائي يغطي حزمة ما؛ ويبدأ الجزء الثاني بعرض هذه الحالة، وتنطبق نظرياته على المقترح لا على النظام المنشور. أثبتت المسودة الأصلية أن دائرة المعاملة الخاصة قد استوفيت، لكنها لم تقل شيئًا عن كيفية إسناد الإثباتات إلى المُثبِتين، ولا عن الترتيب الذي يُثبِت به المُثبِت دفعة ما، ولا عن كيف يعلم المتحقق أن الجهة التي تقدّم الإثبات هي نفسها التي حسبته في ظل الشروط التي يحفّز عليها البروتوكول. يشهد STARK على أن الدائرة استوفيت، لكنه لا يشهد على الشروط التي استوفيت في ظلها. نبيّن أن هذه الفجوة تفتح ثلاثة أسطح هجوم محددة — تواطؤ المُثبِت مع المدقّق، وMEV من جانب المُثبِت، والعمل المبني على هويات وهمية (Sybil) أو غير الخاضع للمساءلة — ونصوغ كلًّا منها صياغة صورية، ونقترح سدّها بمنارة إسناد يمكن إعادة حسابها، وترتيب معياري مع ذاكرة معاملات معلّقة مختومة (مشفّرة بعتبة)، وشهادة حاملة للإثبات مقاومة للحوسبة الكمومية. وعليه نعيد صياغة ادعاء المسودة بأن «المعاملات الخاصة تزيل التقدّم الاستباقي (front-running)» في صورة نظرية شرطية — لا تستوفي السلسلة العاملة شروطها، ولذلك فإن المحتوى في تلك السلسلة مخفي لكن الترتيب غير محمي.
ونوفّق كذلك بين ثلاثة تناقضات داخلية في التحليل الأمني الأصلي: (i) التناقض بين سلامة التصادم الكمومي البالغة نحو 85 بتًا (حد BHT) وادعاء 128 بتًا مقاومًا للحوسبة الكمومية في الملخص وجداول المعاملات، وقد عولج في التصميم بتجزئة نص مداولات من 384 بتًا وبنظرية صريحة لفصل الأمان لكل بدائية على حدة (ما زال التنفيذ يستخدم تجزئة نص مداولات من 256 بتًا، أي نحو 85 بتًا كمومية)؛ (ii) دالة VRF غير المحددة لاختيار القائد، وهي تنكسر بخوارزمية Shor إن أُنشئت على منحنى إهليلجي، ونحدد لها منارة التزام–كشف مقاومة للحوسبة الكمومية مع سحب قرعة تشفيري قائم على التجزئة (غير منفَّذة: فالسلسلة العاملة تدوّر القادة بالتناوب الدوري وليس فيها VRF على الإطلاق)؛ (iii) حقل Goldilocks غير المحدد تحديدًا كافيًا، ونوجب له توسعة من الدرجة k ونربط سلامة FRI بعدد الاستعلامات وميزانية الطحن (grinding). وتنقل هذه المراجعة أيضًا طبقة التنفيذ من آلة Solana الافتراضية إلى آلة Ethereum الافتراضية (EVM)، فتُدخل أصول ERC-20 وعقود Solidity ضمن نموذج المعاملات المحمية، وتعرض تسوية الغاز بالدفعات: ولأن رسم الغاز لكل معاملة بـ RAND المحمية هو نفسه بصمة تكشف هوية استدعاء EVM (ومن ثم عقد ERC-20 الذي لُمس)، فإن الغاز يُلتزم به ضمن شرائح تكميم عامة داخل الدائرة، ويُخصم رسمًا إجماليًا واحدًا لكل دفعة، فيكون الأثر على السلسلة إجماليًا واحدًا لكل دفعة بدلًا من خصم لكل حساب ولكل استدعاء. وأخيرًا نقدّم خريطة طريق لانتقال مرن تشفيريًا، تنطلق بإثباتات SNARK، وتترقى إلى STARK شفافة، وتتصلب إلى أمان كامل مقاوم للحوسبة الكمومية على مدى نحو 18 شهرًا تقويميًا (نحو 14 شهرًا على المسار الحرج المتوازي)، مع ضبط كل انتقال بحيث يكون تغييرًا في المعاملات لا انقسامًا في الإجماع.
توسّع مراجعة أغسطس 2026 هذه النموذج المحمي من تحويلات القيمة إلى الحوسبة الاعتباطية السرّية: فنعمّم علاقة التحويل إلى علاقة تنفيذ شاملة فوق آلة افتراضية مثبتة بـ STARK، ونحدد طوبولوجيات الإثبات المحلية والمفوَّضة على وحدات GPU مع حدّ السرّية الدقيق لكل منها، ونضع التصميم في سياق المشهد الراهن لأنظمة الإثبات (Groth16 وPLONK وHalo2 وHyperPlonk وSTARK القائمة على FRI)، وآلات zkVM العامة (RISC Zero وSP1 وCairo/Stwo وMiden وJolt وOpenVM)، وتجميعات zkEVM، وسلاسل الخصوصية (Aztec وAleo وMiden وZcash)، التي تدفع مزالق دفع الغاز وتفويض الإثبات فيها مباشرةً إلى تصميمي الغاز المحمي في RAND وVPA. ونحلّل سوق المُثبِتين الذي تقتضيه طبقة الحوافز، فنبيّن أن كلفة الإثبات الواحد تحددها نسبة الاستخدام لا الطاقة، وأن طلب الإثبات في شبكة مشبعة تلبّيه بضع عشرات من وحدات GPU — ومن ثم يجب تسويغ لامركزية المُثبِتين بالحيوية والسرّية لا بميزانية أمان، لأن السلامة لا تعتمد على مجموعة المُثبِتين. وأخيرًا نحدد كيف تُستورد الضمانات الدولارية الخارجية — USDT وUSDC — إلى Rand بوصفها أصول z محمية عبر جسر قفل وسك موثَّق بالشهادات، وهو ما يمنح المجمّع المحمي وحدة حساب مستقرة دون أن يُضطر المصدرون إلى النشر الأصلي — وهو اعتماد تجاري كان سيجعل قصة مدفوعات البروتوكول رهينة بخريطة طريق طرف ثالث. ونعزل الخاصية التي تجعل مثل هذا الجسر سليمًا والتي يسهل إغفالها: فنصاب الحرّاس (guardians) يشهد بأن رسالة نُشرت على سلسلة مراقَبة، لا بأن الجسر هو من أنشأها، وعليه فإن صحة التوقيع في طبقة رسائل مفتوحة الوصول لا تعني التفويض، ويكون ربط المُرسِل (emitter binding) عنصرًا حاملًا للحمل. ونبرهن حدّ سلامة الحفظ الذي يقصر الخسارة على الحفظ لكل سلسلة بمعزل عن افتراض الحرّاس، ونبيّن أن عرض أصول z المحمية يظل قابلًا للتدقيق العلني مقابل ذلك الحفظ دون فتح أي ملاحظة (note)، ونحدد الجسر بوصفه حدّ مقاومة الحوسبة الكمومية في النظام: فتواقيع الحرّاس secp256k1 تنكسر بخوارزمية Shor، ولذلك يظل مسار الإفراج آمنًا تقليديًا فقط إلى أن تطرح السلاسل المصدر دوالّ مسبقة مقاومة للحوسبة الكمومية، مهما بُذل من تحصين في جانب Rand.
النتائج الرئيسة- النظرية 5.3 — تسرّب الخصوصية في دفع الغاز
- النظرية 7.9 — خصوصية الغاز المجمَّع بالدفعات
- النظرية 10.6 — الشهادة لا تعني التفويض
- النظرية 10.14 — سلامة الحفظ
- نظرية 10.19 — الجسر هو الحدّ الفاصل في الأمان ما بعد الكمّي
- نظرية 13.2 — فجوة الإسناد
- نظرية 15.4 — الاستباق في التنفيذ، مصحَّحًا ومشروطًا
- نظرية 15.9 — سلامة VPA
- نظرية 18.1 — الفصل في الأمان الكمّي بحسب كل بدائية تشفيرية
- نظرية 19.2 — سلامة FRI، بصيغة وسيطية
المسودة 3 تحلّ محل المسودتين 1 و2سُحبت المسودة 1 (ديسمبر 2025) والمسودة 2 (مراجعة VPA في مايو 2026). وصُحِّحت ثلاثة من أخطاء التحليل السابق نفسه بدلًا من التغطية عليها: ادعاء الأمان ما بعد الكمّي بمستوى 128 بتًا كان يناقض حدّ التصادم الكمّي البالغ 85 بتًا لدالة تجزئة بطول 256 بتًا؛ وكانت دالة VRF لاختيار القائد ستُكسر بخوارزمية Shor لو قامت على منحنى إهليلجي؛ ولا يمكن لحقل Goldilocks العادي أن يحمل سلامة FRI المزعومة. تنتقل طبقة التنفيذ من SVM إلى EVM، ويؤول الرمز المزدوج إلى RAND وحده. وتوفّق تحديثات سبتمبر 2026 التصميم مع العقدة الكاملة المرجعية حتى السلسلة 15: يُذكر أن Rand قائمة على إثبات الحصة بوضوح، ويُكتب مخطط المعرفة الصفرية بتفصيل، ويُشار إلى أن VPA مقترح لا تستخدمه السلسلة العاملة.
- التنفيذzkVM · RISC-VHotStuffالسلسلة 15testnet
Rand Protocol — التنفيذ المرجعي
سجلّ محمي وآلة افتراضية يتحقق منها STARK، كما هما منشورتان
مسودة التنفيذ 3 · سبتمبر 2026 · 46 صفحة
تتسم أنظمة التسوية في التمويل التقليدي بالسرية افتراضيًا: فأرصدة الحسابات وسجلات التحويل مرئية لصاحب الحساب وللمؤسسة، ولجهة رقابية عند اتخاذ إجراء قانوني، ولا يطّلع عليها أحد سواهم. أما سلاسل الكتل العامة فتعكس هذه الخاصية. ففي Ethereum وSolana تكون الحالة العامة وطابور المعاملات المعلقة مرئيَّين لكل مشارك، مما يعرّض تدفق أوامر المؤسسات للاستباق المنهجي في التنفيذ، ويكشف أطراف كل تحويل بعملة مستقرة ومبالغه. ولا يوجد حاليًا بروتوكول إنتاجي يجمع بين سرية دفتر الأستاذ المصرفي والتسوية الحتمية والتحقق الشفاف والأمان ما بعد الكمّي في سلسلة عامة.
تقدّم هذه الورقة Randprotocol، وهي سلسلة كتل من الطبقة الأولى صُمّمت لسدّ هذه الفجوة، كما نُفّذت في عقدتها الكاملة المرجعية. الأصل الأصلي RAND لا يوجد إلا في صورة ملاحظات (notes) داخل مجمّع محمي بالكامل: شجرة التزامات Poseidon2 بعمق 32 ومجموعة المُبطِلات (nullifiers) تحلّان محل الحسابات، وكل تحويل هو حزمة ثابتة بمدخلين ومخرجين تثبت صحتها عبر إثبات STARK شفاف قائم على دوال التجزئة لتنفيذ برنامج ضيف واحد مثبَّت بصيغة RISC-V. ويدعم نظام الإثبات نفسه حوسبة تعسفية سرية: تُنشر برامج RV32IM بحسب تجزئة محتواها، وتُستدعى بإثبات تنفيذ بدلًا من مدخلاتها، وتسجّل السلسلة ثماني كلمات مخرجات عامة. أما الإجماع فهو HotStuff المتسلسل بنصابات موزونة بالحصة، وقاعدة اعتماد بثلاث دورات متتالية، ومجموعات مدقّقين (validators) تُشتق لكل حقبة من سجلّ عام؛ وتُربط الحصة من المجمّع وتُسحب إليه. ويودِع جسر موثَّق من الأوصياء أصولًا من أربع سلاسل خارجية في صورة ملاحظات. وتوقيعات المدقّقين هي CRYSTALS-Dilithium2، وتستخدم أغلفة الملاحظات ML-KEM-768 مع ChaCha20-Poly1305.
نصف التنفيذ مكوّنًا مكوّنًا، ثم نطوّر تحليله الصوري على المعاملات المنشورة: علاقات الحزمة والاستدعاء التي تثبتها آلة المعرفة الصفرية الافتراضية ذات الجداول التسعة، بما في ذلك بناء مراكِم التلوّث (taint accumulator) الذي يحلّ محل التأكيد داخل الدائرة؛ وحجج ناقل البحث (lookup bus) التي تربط ملخّص البرنامج والتزام المدخلات المملَّح؛ وسلامة FRI للتشكيلة الإنتاجية (80 استعلامًا، و20 بتًا من الإثبات بالعمل، وعامل تمدد 8، وامتداد من الدرجة 2 لحقل Goldilocks)، مصوغة وفق كلٍّ من حدّ فجوات التقارب المبرهَن وتخمين ethSTARK؛ ومتطابقات توازن القيمة ومراجعة المعروض في المجمّع؛ وسلامة قواعد الإجماع المدركة للحقب وحيويتها.
يحدّد التحليل الخصائص التي لا يوفّرها التنفيذ بعد. فالرسوم وأوزان الحصص ومبالغ الإيداع عند حدّ المجمّع وهويات البرامج كلها عامة؛ وتكشف المحفظة الحالية للعقدة المستعلَم منها الورقةَ التي تعتزم إنفاقها؛ ويشغل إثبات من 80 استعلامًا نحو 1.3 ميغابايت (1.43 ميغابايت للحزمة ذات الفتحات الأربع منذ السلسلة 14)، مما يحصر كتلة بحجم 4 MiB في ثلاثة تحويلات محمية (اثنان منذ السلسلة 14؛ وترفع السلسلة 15 الكتلة إلى 20 MiB)؛ وكان تجميع الإثباتات على مستوى الكتلة والعقوبات الاقتطاعية (slashing) وبرامج الضيف لـ EVM وSVM معلّقة في المراجعة الأساسية (وقد استُوردت برامج الضيف منذ ذلك الحين، وإن كانت استدعاءات EVM غير مقبولة بموجب سقف الاستدعاءات للمستوى 14، وأُغلقت منذ ذلك ثلاث جولات تدقيق يقودها المؤسسون؛ ولم يُجرَ أي تدقيق مستقل)؛ ولم يُشغَّل مُثبِت GPU على عتاد فعلي. والبرمجية منشورة على شبكة اختبار من 26 مدقّقًا (السلسلة 17 منذ 2026-09-29، يديرها جميعًا الفريق المؤسس) ولا تصلح للاستخدام الذي ينطوي على قيمة.
النتائج الرئيسة- نظرية 5.8 — سلامة المعرفة، مشروطة
- نظرية 5.11 — المعرفة الصفرية الإحصائية
- نظرية 5.12 — سلامة FRI كما هي مُنشأة
- نظرية 5.14 — الأمان لكل بدائية تشفيرية في النظام المنشور
- نظرية 5.17 — توازن القيمة في المجمّع
- نظرية 5.22 — الأمان (Safety)
- نظرية 5.24 — الحيوية (Liveness) بعد GST
- نظرية 5.28 — الجسر ليس ما بعد كمّي
مكتوبة وفق fullnode 26ab1d4، مع ملاحق حتى 8e64781يشير كل ما يُذكر عن النظام إلى العقدة المرجعية عند الإيداع 26ab1d4 (الفرع main، 2026-09-16): المجمّع المحمي، والحصص، والجسر في صورة ملاحظات وأغلفة استدعاء، ومجموعة قيود zkVM رقم 6، وآلة التكرار الافتراضية، وتجميع الإثباتات على مستوى الكتلة، وهو مدمج لكنه مشروط ببدء التكوين (genesis). وسُجّلت مراجعتان لاحقتان في ملاحق موسومة حيث تقدّمت العقدة: 2026-09-24 (d050259، الإصدارات v0.5–v0.5.5، السلسلة 14 — الحزمة ذات الفتحات الأربع للأصل المخفي، وسجلّ الرموز، والجسر المحصَّن) و2026-09-27 (8e64781، الإصدارات v0.5.6–v0.5.8، السلسلة 15 — تثبيت ترويسة الاستدعاء وسقف المستوى، وثوابت Poseidon2 المجمَّدة، وربط التجميع).
- الجسرالقفل والسكّECDSA · Dilithium2أربع سلاسل
جسر Rand
قفل وسكّ موثَّقان إلى مجمّع محمي، مع توقيعات مشتركة ما بعد كمّية
تقرير تقني، مسودة 1 · سبتمبر 2026 · 13 صفحة
Rand سلسلة كتل سرية تعيش فيها القيمة في صورة التزامات داخل مجمّع محمي لا في صورة أرصدة شفافة. ويحتاج جانب المدفوعات فيها إلى أصل مستقر، ولا يطرح أي مُصدِر أصلًا أصليًا على سلسلة بلا حجم تداول. ويستورد جسر Rand عملتي USDT وUSDC من Ethereum وBNB Smart Chain وTron وSolana في صورة دولار محمي واحد هو zUSD، مغطًّى بنسبة واحد إلى واحد بأصول محفوظة لدى جهات الحفظ على تلك السلاسل. ويحدّد هذا التقرير الجسر كما بُني: رسالة التحويل البالغ حجمها 184 بايتًا وطبقتا التوقيع فيها — نصاب أوصياء بتوقيع secp256k1 لكل رسالة، ونصاب توقيعات مشتركة Dilithium2 على كل عملية سكّ في Rand، وكلاهما اليوم ستة من ثمانية؛ ومسار الإيداع الذي ينتهي بملاحظة تشتقها السلسلة نفسها من المبلغ الموثَّق؛ ومسار السحب الذي يُربط فيه الحرق بإثباته ويُفرج عنه مقابل عدّادات الحفظ لكل سلسلة؛ وسطح الحوكمة (تدوير الأوصياء مع مهلة سماح مدتها يوم واحد، والإدراج الصريح، وإيقاف مؤقت أحادي الاتجاه لا يرفعه إلا نصاب ما بعد كمّي)؛ وقواعد الساعة التي تفرضها السلسلة المجسَّرة على إجماعها.
نصوغ ونبرهن الخصائص التي يمنحها هذا البناء — عدم قابلية النصاب للتزوير، وضرورة ربط المُصدِر، وسلامة الحفظ، وقابلية تدقيق المعروض المجسَّر، والحدّ ما بعد الكمّي غير المتماثل الذي يستطيع بموجبه خصم قادر على تنفيذ Shor تزوير عمليات الإفراج لا عمليات السكّ — ونذكر بالعناية نفسها ما لا يمنحه: فالأوصياء غير مرتبطين بحصة ولا قابلين للاقتطاع، ومع أن ستة من المفاتيح الثمانية تعمل الآن على مضيفات خاصة بها، لا يزال حساب استضافة واحد ومفتاح مشغّل واحد يصلان إليها جميعًا. وتُعرض عناوين النشر وأحجام الرسائل وتكاليف الغاز ونتائج الجولات الحية.
النتائج الرئيسة- اقتراح 5.1 — لا إعادة توجيه
- نظرية 5.2 — سلامة الحفظ
- نظرية 8.1 — عدم قابلية النصاب للتزوير
- نظرية 8.3 — التوثيق ليس تفويضًا
- نظرية 8.4 — قابلية تدقيق المعروض المجسَّر
- نظرية 8.5 — اللاتماثل ما بعد الكمّي
مُكمِّل لقسم الجسر في ورقة البروتوكوليحدّد الجسر كما هو منشور فعليًا، بالترميز نفسه المستخدم في قسم السلاسل المتعددة من ورقة البروتوكول ومتسقًا معه: حلّت مجموعة الحرّاس 1 (ستة من ثمانية، secp256k1) محل المجموعة الأصلية (خمسة من ستة) في 2026-09-25، ونمت مجموعة Dilithium2 من ستة مفاتيح إلى ثمانية عند نشأة السلسلة 15 في 2026-09-26.
- عملة مستقرة مشفَّرةاحتياطي كاملمتعدد السلاسل · متعدد الجهات المُصدِرةالسلسلة 15
zUSD — دولار مشفَّر مغطّى بالكامل على Rand
تحويلات سرية للعملات المستقرة دون مخاطر انفكاك السعر، فوق احتياطي مقفل متعدد السلاسل ومتعدد الجهات المُصدِرة
سبتمبر 2026 · يحلّ محل zUSDT (ديسمبر 2025، مراجعة أغسطس 2026) · 11 صفحة
zUSD مغطّى بالكامل: كل وحدة منه مدعومة بنسبة واحد إلى واحد بعملة مستقرة بالدولار محفوظة في عقد حفظ على السلسلة التي تصدر فيها تلك العملة أصلًا — USDT وUSDC على Ethereum وBNB Smart Chain وSolana، وUSDT على Tron، أي سبعة أنواع من الغطاء في المجموع — ويمكن استردادها مقابل أيٍّ منها عند الطلب. وهو عن قصد ليس عملة مستقرة خوارزمية ولا جزئية الغطاء، فلا يعتمد اعتمادًا ارتداديًا على سعر أي أصل متقلب، ولا يحمل سطح «دوامة الموت» من النوع الذي دمّر UST الخاصة بـ Terra. يعيش الرمز على Rand، وهو دفتر أستاذ مشفَّر، فهو مذكرة مشفَّرة (shielded note) منذ لحظة سكّه. وكل حلقة موثَّقة بشهادات، فيكون الضمان على كل وحدة هو min(ملاءة الاحتياطي، سلامة عتبة الحرّاس)، تحت عتبة مزدوجة من ستة من ثمانية توقيعات ECDSA وستة من ثمانية توقيعات مشتركة Dilithium2.
يتحقق ثابت الاحتياطي S = Σ_b L_b بالمساواة التامة، ويُفرض بالبناء في دالة واحدة من دوال دفتر الأستاذ. تعرض الورقة، لكل نوع من الغطاء، ما هو مضمون، بما في ذلك الخطر الجديد الذي يُدخله جمع جهتين مُصدِرتين في مجمّع واحد، وتبيّن آليات الحدّ من الخسائر التي يحملها النشر: سقف سكّ متحرك على 24 ساعة لكل نوع من الغطاء وسقف شامل، ومفتاح إيقاف لا يستطيع إلا الإيقاف، وحدٌّ أعلى لتقدّم زمن الكتلة، وسقوف للإفراج على عقود الحفظ. وهي صريحة بشأن ما لم يوضع بعد: مشغّلو حرّاس مستقلون، ومسؤول متعدد التوقيعات بقفل زمني على كل عقد حفظ، وإثبات احتياطي يمكن التحقق منه دون مستكشف المشروع نفسه.
النتائج الرئيسة- المبرهنة 2.6 — حفظ الثابت
- النتيجة 2.7 — قابلية الاسترداد
- القضية 2.8 — تدهور التغطية الكاملة بسبب الجسر
- النتيجة 2.9 — الضمانات لكل نوع من الغطاء
- القضية 4.1 — قابلية التحقق العلني في ظل التشفير
سبتمبر 2026 — يحلّ محل zUSDTيصف التصميم كما هو منشور على سلسلة Rand 15، ويفارق zUSDT في ثلاثة أوجه تجسّدها الشيفرة الآن: يعيش الرمز على Rand لا على Solana، فلا يوجد شكل شفاف يُراد تشفيره؛ ويمتد الاحتياطي عبر جهتين مُصدِرتين وعدة سلاسل، ويحق للحامل الاسترداد مقابل أي نوع من الغطاء؛ وكل حلقة موثَّقة بشهادات، تحت عتبة مزدوجة من ستة من ثمانية توقيعات مشتركة ECDSA وDilithium2. أُعيدت القضية 2.8 دون تعديل لأنها ما زالت صحيحة، وتسجّل النتيجة 2.9 الخطر الجديد الذي يُدخله جمع جهتين مُصدِرتين.
- تحليل أمنيما بعد الكمّيتصنيف الهجمات
تحليل أمان بروتوكول Rand
الأسس التشفيرية ما بعد الكمّية، ومقاومة الهجمات، والضمانات الأمنية الصورية
ديسمبر 2025، وسُوِّيت في سبتمبر 2026 · 13 صفحة
تحليل أمني لبروتوكول Rand مع براهين صورية في نموذجي الخصم الكلاسيكي والكمّي، يشمل إجماع BFT المرجَّح بالحصص (Rand سلسلة إثبات حصة: لا يمنح أي حساب وزنًا في الإجماع)، ونظام الخصوصية القائم على STARK، والأوليات ما بعد الكمّية CRYSTALS-Dilithium وKyber. ويحلّل مقاومة هجمات 51%، وهجمات المدى الطويل، وعدم وجود ما يُخسَر (nothing-at-stake)، والطحن (grinding)، وهجمات الحجب (eclipse) وسيبل (Sybil)، والسبق الاستباقي (front-running)، وهجمات التوقيت، والخصوم الكمّيين، مع حدود صورية ومعاملات محددة لكل منها.
في ظل افتراضات صعوبة الشبكات (lattice) المعيارية وتخصيص أحجام البصمات بحسب الدور — 384 بت حيث يكسر التصادم السلامة (soundness)، و256 بت حيث تكفي مقاومة الصورة الأولية فقط — تبلغ كل أولية أمانًا ما بعد كمّي لا يقل عن 128 بت؛ ودون هذا التخصيص يبلغ البناء نفسه 85 بت. وأرضية النظام هي سلامة FRI: 100 بت على الأقل بموجب حدسية ethSTARK و86 بت بموجب حد فجوات القرب المبرهَن، ويمكن ضبطها إلى 100 قابلة للبرهان عند 97 استعلامًا وإلى 128 عند امتداد من الدرجة 3. وحيث ينحرف التنفيذ المرجعي عن التصميم — بصمة نص تفاعلي بطول 256 بت، وغياب معاقبة المدققين (validators)، وقادة بالتناوب الدوري، وmempool بنص صريح — تنص كل نتيجة على ذلك.
النتائج الرئيسة- المبرهنة 2.3 — مقاومة التصادم الكمّي
- المبرهنة 3.5 — الأمان الكمّي لـ STARK
- المبرهنة 3.6 — الأمان الكلي ما بعد الكمّي
- المبرهنة 4.4 — سلامة HotStuff
- المبرهنة 5.3 — عدم قابلية ربط المُبطِلات (nullifiers)
- المبرهنة 6.8 — التخفيف من السبق الاستباقي، بشرط
- المبرهنة 7.1 — عتبة الأمان الاقتصادي
تابع للجزء الثالث من ورقة البروتوكولمرافق قائم بذاته لجزء الأمان في ورقة البروتوكول، وهو المعالجة المتّسقة المعتمدة التي تسود عند أي خلاف. حمل تحليل ديسمبر 2025 الأخطاء الثلاثة التي يصحّحها المسودة 3؛ وقد وُوئم منذ ذلك الحين مع المسودة 3 ومع السلسلة العاملة.
- ملخّص المستثمرينالجولة التأسيسيةSAFTأكتوبر 2026
Rand Protocol: ملخّص المستثمرين
تسوية خاصة وقابلة للبرمجة بإثباتات قائمة على دوال التجزئة
أكتوبر 2026 · 6 صفحات
تنشر سلاسل الكتل العامة ما يجب على الشركات حمايته: من دفع لمن، وكم دفع، وكل أمر قبل تنفيذه، ولهذا تبقى أكبر مجمّعات رأس المال خارجها. Rand سلسلة من الطبقة الأولى تكون فيها كل دفعة ملاحظة محجوبة وكل معاملة إثباتًا بعلم معدوم: تتحقق الشبكة من تنفيذ القاعدة دون أن ترى المدخلات، ويتيح مفتاح العرض للمدقّق أن يقرأ ما لا يستطيع المنافسون قراءته. تعمل البرامج المكتوبة بلغة Rust أو C على zkVM من نوع RISC-V يُثبَت بواسطة STARK قائم على دوال التجزئة دون إعداد موثوق، وتصل الدولارات من أربع سلاسل بوصفها دولارًا محجوبًا واحدًا هو zUSD.
يعرض الملخّص المشكلة والمنتج وتكاليفه المقيسة، وحالات الاستخدام بحسب جاهزيتها، والسوق بتقديرات منشورة، والمقارنة مع Aleo وRailgun وQuantus وغيرها، وعامًا من البحث وثلاثة أسابيع من إعادة البناء حتى شبكة تجريبية حيّة، وأسعار الرمز والجولات، والجولة التأسيسية (اتفاقيات SAFT لـ110 ملايين RAND، أي 11% من حدٍّ أقصى للمعروض قدره مليار، بسعر 0.03 دولار)، والفريق والمخاطر. وليس عرضًا لأي ورقة مالية أو رمز.
النتائج الرئيسة- Chain 20 · v0.6.8
- الجولة التأسيسية: 0.03 دولار للوحدة من RAND، وقيمة مخفّفة بالكامل 30M دولار
- اتفاقيات SAFT على معروض أقصى قدره 1B
- 28 إصدارًا، و7 سلاسل تجريبية
الملفات المصدرية
كتبت الأوراق الخمس جميعها بـ LaTeX وتُبنى باستخدام tectonic. مصدر zUSD علني — وهو مرتبط من مدخله أعلاه، بحيث يمكن التحقق من كل عبارة فيه مقابل الملف الذي جاءت منه، إلى جانب مصدر zUSDT المتجاوَز في المستودع نفسه. أما مصادر الأوراق الأربع الأخرى فلم تُنشر بعد؛ وملفات PDF أعلاه هي صيغتها المعتمدة إلى أن تُنشر. وكل ما عدا ذلك مما هو علني — العقدة والمحافظ والمستكشف — موجود في منظمة GitHub.