للفرق التي تحتفظ بأصول على Gnosis Safe

توقيع ثانٍ مقاوم للحوسبة الكمومية لخزنة Safe الخاصة بك

ثبّت Safe Guard واحدًا. يبقى المالكون والحد الأدنى للتوقيعات والسجل كما هي تمامًا، لكن كل تحويل يحتاج أيضًا إلى موافقة ما بعد الكم يجري التحقق منها على السلسلة.

بلا ترحيل مفتوح المصدر (MIT / LGPL-3.0) توقيعات NIST SP 800-208
Safe App الخاص بـ FermionGuard: طابور معاملات يعرض فيه كل تحويل معلّق حالة تفويضه الكمومي
مبني على Safe Guard XMSS · RFC 8391 NIST SP 800-208 المفاتيح على Ledger مكونات أساسية من OpenZeppelin مفتوح المصدر · MIT / LGPL-3.0
شاهده يعمل

تحويل بقيمة 250,000 dUSD،
موقّع بالكامل، ومع ذلك محظور

يوقّع أحد المالكين التحويل في Safe{Wallet} الحقيقي. لن يُنفَّذ. يقرأ المسؤول الكمومي الدفعة على الجهاز — الرمز والمبلغ والمستلم ومدة الصلاحية والخزنة والسلسلة — ويوافق عليها بتوقيع ما بعد الكم يُستخدم مرة واحدة. عندها فقط تتحرك الأموال.

تحويل بقيمة 250,000 dUSD موقّع بالكامل في Safe{Wallet} ومع ذلك يفشل؛ يوافق عليه المسؤول الكمومي على جهاز Ledger محاكى بتوقيع XMSS يُستخدم مرة واحدة؛ ثم يُنفَّذ التحويل نفسه

سُجّل من البداية إلى النهاية على بيئة العرض المحلية: خزنة Safe حقيقية، وSafe{Wallet} الحقيقي، وGuard يفرض القواعد على السلسلة. الجهاز هو Ledger محاكى وليس عتادًا حقيقيًا؛ راجع الحالة لمعرفة مدى تقدم تطبيق Ledger.
افتحه بالحجم الكامل · جرّبه بنفسك ←

لماذا الآن

زيادة الموقّعين لا تجعل
المحفظة متعددة التوقيع مقاومة للحوسبة الكمومية

كل مالك لخزنة Safe يوقّع باستخدام ECDSA. حاسوب كمومي كبير بما يكفي يكسر ECDSA — لجميع موقّعيك دفعة واحدة. الأصول التي تحتفظ بها عشر سنوات تحتاج إلى توقيع يصمد في ذلك اليوم.

التوقيع المتعدد حوكمة

يحدد من يحق له التوقيع، لكنه لا ينفع حين ينهار نظام التوقيع نفسه.

المفاتيح العتادية تمنع السرقة

لكنها لا تمنع توقيعًا مزورًا على المنحنى نفسه، فالمفتاح لا يحتاج أبدًا إلى مغادرة الجهاز.

السياسات خارج السلسلة مجرد نصيحة

محرك السياسات الذي لا تستشيره السلسلة يمكن تجاوزه. يجب أن تكون الكلمة الأخيرة على السلسلة.

كيف يعمل

توقيعان مستقلان.
ومسار تنفيذ واحد.

FermionGuard هو Safe Guard، أي نقطة الربط الرسمية في Safe التي تعمل قبل التنفيذ. يواصل المالكون التوقيع كما يفعلون اليوم. ولا يسمح Guard بتنفيذ المعاملة إلا إذا حملت أيضًا موافقة ما بعد الكم مطابقة.

التوقيع 1 — دون تغيير

مالكو خزنة Safe الخاصة بك

المالكون أنفسهم، والحد الأدنى نفسه، والمحافظ العتادية نفسها. يحمي من المشغّلين المخالفين والأجهزة المفقودة والأعطال الداخلية.

التوقيع 2 — مُضاف

موافقة ما بعد الكم

يوافق مسؤول كمومي معيَّن على كل تحويل باستخدام جهاز Ledger ومفتاح XMSS. يحمي من الموقّعين المخترَقين، ومن إعادة استخدام الموافقات، ومن استنزاف الأذونات — ومن الهجمات الكمومية المستقبلية.

الطابور

يضع أحد المشغّلين تحويلًا في الطابور داخل Safe{Wallet}. ويوقّع المالكون كالمعتاد.

التنبيه

يضع Safe App الخاص بـ FermionGuard عليه علامة 🟡 يتطلب تفويضًا كموميًا.

المراجعة

يراجع المسؤول محتوى المعاملة بعد فك ترميزه من مصدرين مستقلين.

الموافقة

يعرض Ledger كل حقل مفروض. اضغط مطولًا للموافقة.

التنفيذ

يتحول الصف إلى 🟢. يمكن لأي شخص تنفيذه؛ ويتحقق Guard من الموافقة ويستهلكها.

شاشة المراجعة تعرض الرمز والمبلغ والمستلم والرقم التسلسلي ومدة الصلاحية بعد فك ترميزها قبل التوقيع

يرى المسؤول بدقة ما يوافق عليه

الموافقات تطابق معاملات محددة، لا نوايا

تحدد الموافقة الخزنة والسلسلة والرمز والمستلم والمبلغ ومدة الصلاحية. إذا عدّل أي شخص المعاملة الموجودة في الطابور بعد ذلك، تتوقف الموافقة عن المطابقة ويرفضها Guard.

  • محددة بوقت: كل موافقة صالحة خلال المدة التي تختارها.
  • للاستخدام مرة واحدة: تُستهلك لحظة تنفيذ المعاملة.
  • مُتحقق منها مرتين: يجب أن يتطابق المحتوى في مصدرين مستقلين للبيانات قبل أن يُتاح التوقيع.
  • رفض مرئي: حالات الرفض تُوقَّع وتُسجَّل تمامًا مثل الموافقات.
شاشات جهاز Ledger تعرض عنوان الموافقة والمبلغ وعنوان المستلم كاملًا وقرار الموافقة أو الرفض

لا توقيع أعمى: يعرض الجهاز كل حقل يفرضه Guard

يعمل داخل الأدوات التي يستخدمها فريقك بالفعل

يأتي FermionGuard على شكل Safe App داخل Safe{Wallet} وتطبيق Ledger للمسؤول. تُبرز تنبيهات المخاطر المستلمين الجدد والمبالغ غير المعتادة والمعاملات التي سيرفضها Guard على أي حال — قبل أن يوقّع أي أحد.

صرف الرواتب؟ دفعة كاملة تضم حتى 100 تحويل تحتاج إلى موافقة واحدة.

الإعداد

أضِفه إلى خزنة Safe التي تملكها بالفعل

لا محفظة جديدة، ولا سلسلة جديدة، ولا ترحيل للأصول. أربع خطوات ينفذها مالكوك الحاليون عبر معاملات Safe عادية.

افتح Safe App

أضِف FermionGuard في Safe{Wallet}. يتحقق من إصدار خزنتك ووحداتها قبل تغيير أي شيء.

أجرِ مراسم المفاتيح

يُولَّد مفتاح المسؤول داخل جهاز Ledger. ويؤكده المالكون ويوقّعون معًا على تسجيله.

فعِّل Guard

يوقّع المالكون معاملة setGuard واحدة، مثل أي معاملة Safe أخرى.

أرسل تحويلًا تجريبيًا

يمر تحويل بمبلغ ضئيل جدًا بالمسار كاملًا. وعند اكتماله تعرض لوحة التحكم محمي ✓.

⏱ نحو 30 دقيقة إذا كان المالكون متاحين
لمن هو

مصمم لأصول يجب أن تبقى آمنة لعقد من الزمن

🏦 أمناء الحفظ والبنوك

أضِف ضابطًا تشفيريًا مستقلًا وقائمًا على المعايير إلى حفظ أصول العملاء.

  • نظام توقيع معتمد من NIST
  • سجل تدقيق قابل للتصدير لأغراض الامتثال
  • سجلات قابلة للطباعة لمراسم المفاتيح

🏢 خزائن الشركات

حافظ على مسار الموافقات لديك، واجعل الموقّع المخترَق غير كافٍ لتحريك الأموال.

  • يواصل المالكون التوقيع كما اليوم
  • موافقة واحدة لكل دفعة رواتب
  • تنبيهات مخاطر على التحويلات غير المعتادة

🏛️ المؤسسات والمنظمات اللامركزية

ضع رقابة علنية ومؤقتة على أهم التحركات: تغييرات الحوكمة.

  • مهلة علنية مدتها 48 ساعة على الإجراءات الإدارية
  • يمكن للمالكين إلغاؤها دون موافقة كمومية
  • مفتوح المصدر وقابل للتحقق على السلسلة
الأمان

يصعب تجاوزه.
ويستحيل أن يُقفل أموالك.

Guard هو حق النقض الأخير على السلسلة، وقد صُمّم بحيث لا يستطيع مفتاح مفقود أو خطأ برمجي تجميد أموالك أبدًا.

هناك دائمًا مخرج

فقدت جهاز Ledger؟ يستطيع المالكون وحدهم إزالة Guard بعد عدّ تنازلي علني مدته 14 يومًا. الجهاز المعطّل لا يُقفل الخزنة أبدًا.

تغييرات حوكمة علنية

تتطلب إزالة Guard أو تغيير المالكين موافقة وعدًّا تنازليًا علنيًا مدته 48 ساعة يُبلَّغ به كل مالك.

الإغلاق عند الخلل

Guard غير قابل للترقية مع إيقاف مؤقت سريع يرفض كل شيء عند الحوادث. لا باب خلفي إداري.

لا أبواب جانبية

وحدات Safe تتجاوز guards، لذلك يشترط التسجيل عدم تفعيل أي وحدة، أو وجود module guard مقترن على Safe 1.5+.

لا استنزاف للأذونات

تُرفض approve وpermit وtransferFrom رفضًا قاطعًا، وتُفحص الدفعات عملية تلو عملية على السلسلة.

مفاتيح لا يمكن استبدالها

يوقّع المالكون معًا على الجذر العام الكامل للمفتاح من أجهزتهم الخاصة، فلا يستطيع موقع إلكتروني مخترَق وضع مفتاح آخر مكانه.

شاشة إجراء إداري مع عدّ تنازلي مدته 48 ساعة وزر إلغاء

تغييرات الحوكمة بطيئة وعلنية، وإلغاؤها سريع

حتى مفتاح كمومي مسروق لا يستطيع الاستيلاء بصمت

لا يستطيع المهاجم الذي يحوز جهاز Ledger الخاص بالمسؤول تحريك الأموال دون توقيعات مالكيك، ولا إزالة Guard دون عدّ تنازلي علني مدته 48 ساعة يمكن لمالكيك إلغاؤه.

اقرأ نموذج التهديدات ←

لمهندسيك

توقيعات ما بعد الكم،
يُتحقق منها داخل EVM

يعتمد XMSS على دوال التجزئة فقط، لذلك تتحقق منه السلسلة مباشرة — بلا أوراكل ولا خادم موثوق. أداة التحقق تنفيذ مستقل لمعيار RFC 8391، ونحن نوضح بدقة إلى أي مدى يصل برهانها: كل مكوّن أساسي في المعيار، والفحوصات التي ترفض المدخلات غير السليمة، مُتحقق منها آليًا لجميع المدخلات مقابل نسخ حرفي للمعيار سطرًا بسطر. أما تركيبها في مقارنة الجذر التي تقبل التوقيع السليم أو ترفضه في النهاية فمُبرهن عليه يدويًا، ومفحوص رمزيًا عند ارتفاع شجرة 2، ومثبّت بمتجهات المعيار عند h = 4 و10 و20.

745,003
وحدة غاز لكل تحقق، مقيسة عند h = 20
~1M
موافقة لكل مفتاح (220 ورقة)
11
لِمّات Halmos تفحص أداة التحقق مقابل RFC 8391، عشر منها لجميع المدخلات
MIT
أداة تحقق XMSS مكتوبة من المعيار مباشرة، بلا شيفرة مستعارة

إعادة استخدام الورقة مستحيلة بحكم التصميم

XMSS يعتمد على حالة: إعادة استخدام ورقة أحادية الاستخدام ستتيح للمهاجم تزوير التوقيعات. يسجّل Ledger عدّاده قبل إصدار أي توقيع، ويحتفظ العقد بخريطة بتّية للأوراق المستخدمة تُلغي أي إعادة استخدام.

تصفّح العقود ← · مواصفات Guard ← · البرهان الرسمي ←

contracts/src/QuantumKeyRegistry.sol (مبسّط)
function _verifyAndConsumeXmss(
    bytes32 keyId,
    bytes32 digest,
    bytes calldata xmssSignature
) internal {
    XMSS.Signature memory sig = abi.decode(xmssSignature, (XMSS.Signature));
    BitMaps.BitMap storage used = _usedLeaves[xmssRoot(keyId)];  // per KEY, not per registration
    if (used.get(sig.leafIdx)) revert LeafAlreadyUsed(keyId, sig.leafIdx);

    if (!XMSS.verify(digest, sig, publicKey(keyId), treeHeight(keyId)))
        revert InvalidXmssSignature();  // whole tx rolls back

    used.set(sig.leafIdx);                // burn the one-time leaf
    emit LeafConsumed(keyId, sig.leafIdx, digest);
}
أين وصلنا

نبنيه بشكل علني

التصميم وأداة التحقق ما بعد الكم متاحان للعموم اليوم. وتساعد الفرق ذات الوصول المبكر في تشكيل البقية.

أداة تحقق XMSS (Solidity)
أداة تحقق وفق RFC 8391 مع استهلاك الأوراق على السلسلة (خريطة بتّية للأوراق المستخدمة في سجل المفاتيح)، واختبارات Foundry وقياسات للغاز
مُنفَّذ
المواصفات ونموذج التهديدات
Guard، سجل المفاتيح، محرك الموافقات المسبقة، الخدمة، سياسة العتاد
منشور
Safe App وشاشات Ledger
مسارات الطابور والموافقة والدفعات ومراسم المفاتيح والرفض والطوارئ والجهاز
مُصمَّم
أداة تحقق XMSS، مُتحقق منها آليًا
المكونات الأساسية وفحوصات التحقق من المدخلات مُبرهن على تكافئها مع RFC 8391 بالتنفيذ الرمزي؛ أما مقارنة الجذر التي تحسم التوقيع السليم فمُبرهن عليها يدويًا ومثبّتة بالمتجهات، دون تحقق آلي لقيمة h عامة؛ ويوضح PROOF.md ما هو مُبرهن عليه وما هو مفترض. منشورة باسم xmss-solidity
مُبرهن عليه جزئيًا
عقود Guard وسجل المفاتيح والموافقات المسبقة
مبنية على مكتبات Safe وOpenZeppelin المدقَّقة؛ وتشمل اختبارات Foundry اختبار تكامل مع خزنة Safe حقيقية. آلة الحالات في سجل المفاتيح وثماني عشرة خاصية لـ Guard ومحرك الموافقات المسبقة مُبرهن عليها مقابل مواصفات قابلة للتنفيذ باستخدام Halmos، وليس مفكك الدفعات من بينها
مُنفَّذ
تطبيق Ledger وSafe App
أول تطبيق للجهاز مكتوب بلغة Rust يُبنى ويولّد مفتاحه على الجهاز ويوقّع داخل محاكي Ledger، لكنه جزء فقط من التطبيق المحدد في المواصفات ويجب ألا يحمل أموالًا حقيقية؛ والتكامل مع Safe{Wallet} متاح كمعاينة جاهزية للقراءة فقط
قيد التطوير
تدقيق أمني خارجي
مطلوب قبل أي نشر على الشبكة الرئيسية
مُخطَّط له
من يبنيه

صمّمه شخص عمل
على جانبي التهديد

ستان (كونستانتين) كلادكو — من الفيزياء التي تصنع التهديد الكمومي إلى التشفير الذي يجب أن يصمد أمامه.

⚛️ فيزيائي كمومي

دكتوراه من معهد ماكس بلانك. عمل مع الحائز على جائزة نوبل روبرت ب. لافلين على الأنظمة الكمومية في جامعة ستانفورد. زميل المدير (Director's Fellow) في مختبر لوس ألاموس الوطني.

🔐 فاحص وحدات تشفير

أدار مختبرًا معتمدًا من NIST لاختبار وحدات التشفير (CMVP)، يمنح شهادات FIPS 140-2 وشهادات الأمان ضد هجمات القنوات الجانبية.

⛓️ بلوكتشين على نطاق واسع

شريك مؤسس والرئيس التقني لـ SKALE، نقل تشفير العتبة BLS من الورق إلى شبكة رئيسية متوافقة مع Ethereum.

الأسئلة الشائعة

أول ما تسأل عنه الفرق

هل علينا نقل أصولنا أو تغيير خزنة Safe؟

لا. تثبّت Guard على الخزنة التي تملكها بالفعل. يبقى المالكون والحد الأدنى والسجل والعناوين كما هي تمامًا.

ماذا يحدث إذا فُقد جهاز Ledger الخاص بالمسؤول؟

يستطيع مالكوك إزالة Guard بأنفسهم، دون مفتاح كمومي، بعد عدّ تنازلي علني مدته 14 يومًا. وإذا لم يكن الطلب مشروعًا، يمكن للمالكين إلغاؤه في أي وقت خلال تلك المدة بمعاملة Safe عادية. الجهاز المفقود لا يمكنه أبدًا قفل خزنتك نهائيًا.

هل يبطئ هذا تحويلاتنا؟

يحتاج كل تحويل إلى موافقة إضافية واحدة من المسؤول على جهاز Ledger. أما الدفعات — مثل صرف رواتب يضم حتى 100 تحويل — فتحتاج إلى موافقة واحدة فقط للدفعة كلها.

كم يكلّف بالغاز؟

يكلّف التحقق من توقيع ما بعد الكم نحو 745,000 وحدة غاز، تُدفع مرة واحدة عند إنشاء الموافقة (745,003 وحدة غاز مقيسة عند h = 20). أما الفحص عند تنفيذ المعاملة فمجرد استعلام.

ما إصدارات Safe المدعومة؟

Safe v1.3.0 وما بعده. يجب ألا تحتوي الخزنة على وحدات مفعّلة، لأن الوحدات تتجاوز guards — أو أن تكون على Safe 1.5+ مع تثبيت module guard الخاص بـ FermionGuard أيضًا. ويجب ألا يكون لديها fallback handler: الرموز من نوع ERC-20 وETH تعمل بشكل طبيعي، لكن ميزات الرسائل الموقّعة (Permit، وأوامر CowSwap، وتسجيل الدخول) واستلام الرموز غير القابلة للاستبدال عبر safeTransferFrom غير مدعومة بعد.

لماذا XMSS وليس ML-DSA أو Falcon؟

XMSS توقيع قائم على التجزئة ومعتمد من NIST (SP 800-208)، لذلك يستطيع EVM التحقق منه بنحو مليون وحدة غاز. أما الأنظمة الشبكية مثل ML-DSA وFalcon فسيكلّف التحقق منها على السلسلة اليوم عشرات الملايين من وحدات الغاز.

هل يمكننا استخدامه في بيئة الإنتاج اليوم؟

ليس بعد. أداة التحقق ما بعد الكم مُتحقق منها آليًا مقابل RFC 8391 إلى الحد الموصوف أعلاه، وعقود Guard مُنفّذة ومختبرة، لكن لم يُدقَّق أي شيء بعد؛ وتطبيق Ledger وSafe App قيد التطوير، والتدقيق الخارجي شرط قبل أي نشر على الشبكة الرئيسية. اطلب الوصول المبكر لتكون من أوائل الفرق المنضمة.

الوصول المبكر

احمِ خزنة Safe الخاصة بك
قبل أن تحتاج إلى ذلك

نضم مجموعة أولى من الفرق التي تحتفظ بأصول على Safe. أخبرنا عن إعدادك وسنتواصل معك عند فتح البرامج التجريبية.

يفتح نموذج GitHub علنيًا قصيرًا — يُرجى عدم إدراج أي معلومات سرية.

1 · أخبرنا عن خزنتك

السلسلة، وإصدار Safe، وعدد المالكين، والحجم التقريبي للتحويلات.

2 · نتابع معك

سنتواصل معك عند فتح البرامج التجريبية للوصول المبكر.

3 · نبدأ معًا

أجرِ مراسم المفاتيح وفعِّل Guard مع مالكيك.