خوارزمية اختيار المخادعين في مونيرو: كيف يتم اختيار أعضاء الحلقة؟

في قلب خصوصية مونيرو تكمن آلية رياضية بالغة الدقة: خوارزمية اختيار المخرجات الخادعة (Decoy Selection Algorithm). هذه الخوارزمية هي التي تجعل التوقيعات الحلقية فعّالة، وهي التي تضمن أن تحليل البلوكتشين لا يستطيع تحديد أي من أعضاء الحلقة هو المنفق الحقيقي. فهم هذه الخوارزمية أمر جوهري لفهم ضمانات الخصوصية التي يقدمها مونيرو.

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

المفاهيم الأساسية: ما هي المخرجات الخادعة؟

بنية معاملة مونيرو

لفهم خوارزمية اختيار المخادعين، يجب أولاً فهم بنية معاملات مونيرو. كل معاملة تتضمن:

• المدخلات (Inputs): مخرجات (UTXOs) سابقة تثبت أن المرسل يملك ما يكفي من XMR للإنفاق.
• المخرجات (Outputs): المبالغ الجديدة المرسلة إلى المستلمين.
• التوقيع الحلقي (Ring Signature): دليل رياضي على أن أحد أعضاء مجموعة معينة (الحلقة) وقّع المعاملة، دون الكشف عن أيهم.

ما هو عضو الحلقة؟

حلقة مونيرو تتكون من المنفق الحقيقي بالإضافة إلى عدد من المخرجات الخادعة (Decoys). في الإعداد الافتراضي الحالي، حجم الحلقة هو 16 عضواً: المنفق الحقيقي + 15 مخادعاً. المخادعون هم مخرجات XMR حقيقية من البلوكتشين تُختار لتضليل المحللين.

الهدف هو أن أي مراقب خارجي يرى الحلقة لا يستطيع تحديد أي المخرجات الـ16 هي المُنفقة الفعلية. إذا كانت الخوارزمية تختار المخادعين بشكل عشوائي وغير قابل للتنبؤ، فإن الاحتمال النظري يكون 1/16 لكل عضو — خصوصية مثالية رياضياً.

لماذا الاختيار العشوائي البسيط غير كافٍ؟

مشكلة السلوك الزمني للمخرجات

المشكلة الأساسية: ليست جميع المخرجات المتاحة على البلوكتشين متساوية في احتمالية كونها قيد الاستخدام الفعلي. المخرجات الأحدث أكثر احتمالاً للإنفاق من المخرجات القديمة جداً. هذا يخلق توزيعاً إحصائياً لعمر المخرجات.

إذا اختارت الخوارزمية مخادعين بشكل عشوائي تماماً من كل تاريخ البلوكتشين، فستُضاف مخرجات قديمة جداً (مثل مخرجات من 2014) إلى حلقة مع مخرجات حديثة. والمحلل يعرف أن مخرجات 2014 لها احتمالية صفرية تقريباً للإنفاق في 2025، مما يُضيّق نطاق الشك إلى المخرجات الحديثة فقط — مما يُضعف الخصوصية.

الهجوم الإحصائي على العمر

هذا النوع من الهجوم يُسمى "Age-Based Statistical Attack" (هجوم مبني على عمر المخرجات). لمقاومته، يجب أن تحاكي خوارزمية اختيار المخادعين التوزيع الإحصائي الطبيعي لكيفية إنفاق المخرجات عبر الزمن.

توزيع غاما: قلب الخوارزمية

ما هو توزيع غاما؟

مونيرو يستخدم توزيع غاما (Gamma Distribution) لاختيار عمر المخادعين. توزيع غاما هو توزيع احتمالي مرن يمكن ضبطه ليحاكي أي نمط توزيع بمعاملتين فقط: شكل التوزيع (α) ومعدل الانحلال (β).

في سياق مونيرو، الخوارزمية تعمل كالتالي:

1. تُحدد عمراً عشوائياً للمخرج المخادع وفقاً لتوزيع غاما المُعايَر.
2. تبحث في البلوكتشين عن مخرج بهذا العمر تقريباً.
3. تختار مخرجاً عشوائياً من المخرجات المتاحة في تلك الفترة الزمنية.
4. تكرر هذه العملية 15 مرة لاختيار جميع المخادعين.

معايرة التوزيع

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

المنطقة المحمية الحديثة (Spendable Zone)

مخرجات مونيرو لها فترة "نضج" (Maturity Period) مدتها 10 كتل (حوالي 20 دقيقة) قبل أن تصبح قابلة للإنفاق. هذا يمنع مشاكل تقنية معينة. الخوارزمية تستبعد المخرجات غير الناضجة تلقائياً من قائمة المخادعين المحتملين.

تطور الخوارزمية عبر التاريخ

المرحلة الأولى: الاختيار العشوائي البسيط (2014-2017)

في البداية، استخدم مونيرو اختياراً عشوائياً بسيطاً من مجموعة المخرجات الأخيرة. هذا أوجد مشكلة: معظم المخادعين كانوا من المخرجات الأحدث، مما جعل المخرجات الأقدم مشبوهة إذا ظهرت في حلقة.

المرحلة الثانية: توزيع مثلثي (2017-2019)

انتقل المطورون إلى توزيع مثلثي (Triangular Distribution) يُرجّح المخرجات الأحدث دون استبعاد القديمة كلياً. كان تحسيناً ملحوظاً، لكن التوزيع المثلثي أبسط من أن يحاكي السلوك الحقيقي للمستخدمين.

المرحلة الثالثة: توزيع غاما (2019-الآن)

الترقية إلى توزيع غاما جاءت مع Monero v0.15 (Beryllium Bullet). هذا التغيير قلّص بشكل كبير فعالية الهجمات الإحصائية على عمر المخرجات. أثبتت الأبحاث أن التوزيع الجديد يحاكي سلوك الإنفاق الحقيقي بدقة أعلى بكثير.

حجم الحلقة: تطوره وجدله

التاريخ التطوري لحجم الحلقة

• 2014: الحد الأدنى 2 (منفق + 1 مخادع). كان منخفضاً جداً.
• 2016: رُفع إلى 4 كحد أدنى.
• 2017: مع Kovri، رُفع إلى 5 ثم 7.
• 2018: مع Bulletproofs، أصبح الحد الأدنى الإلزامي 7.
• 2022: رُفع إلى 16 مع ترقية Seraphis التحضيرية.

هل حجم 16 كافٍ؟

هذا سؤال يُثار كثيراً في مجتمع مونيرو. الحجة المؤيدة لحجم أكبر: كل عضو إضافي في الحلقة يُضاعف الغموض. من الناحية النظرية، حجم 16 يعني احتمالية 6.25% فقط لتحديد المنفق الحقيقي.

الحجة المضادة: حجم أكبر يُزيد من حجم المعاملة وتكلفتها. الفائدة الهامشية لكل عضو إضافي تتناقص. رسوم الشبكة ترتفع مع زيادة حجم الحلقة.

الحل المستقبلي: بروتوكول Seraphis والانتقال المرتقب إلى Triptych أو FCMP++ (Full Chain Membership Proofs) سيوفران خصوصية أعلى بكثير دون الحاجة لزيادة حجم المعاملة.

هجمات تحليل السلاسل وكيفية التصدي لها

هجوم تحديد الإخراج الحقيقي (Output Guess Attack)

بعض الباحثين ادّعوا أن خوارزمية الاختيار القديمة تجعل من الممكن إحصائياً تحديد المخرج الحقيقي في معظم الحلقات. الدراسة الأكثر شهرة في هذا السياق هي "An Empirical Analysis of Traceability in the Monero Blockchain" من 2017.

هذا الهجوم كان يستغل حقيقة أن كثيراً من المخادعين في الحلقة كانوا يظهرون أيضاً كمخرجات حقيقية في حلقات أخرى. بمسح متعاقب (Cascade Attack)، يمكن نظرياً تضييق الاحتمالات.

الحل: منع استخدام نفس المخرج كمخادع ومنفق حقيقي في نفس الوقت، ورفع الحد الأدنى لحجم الحلقة تدريجياً.

هجوم التوقيت (Timing Attack)

إذا أرسل مستخدم معاملة فور استلام مخرج (أي إنفاق فوري)، يصبح المخرج الأحدث في الحلقة مشبوهاً كونه المنفق المرجح. الخوارزمية الحالية تُخفف هذا الهجوم بجعل المخادعين الأحدث أيضاً مرجحين وفقاً لتوزيع غاما.

هجوم المخرجات الميتة (Poisoned Outputs Attack)

مهاجم يُرسل XMR لعناوين يتحكم فيها، ثم لا يُنفقها. هذه المخرجات "الميتة" يمكن استخدامها كمخادعين في الحلقات المستقبلية. إذا ظهر مخرج ميت في حلقة مع المنفق الحقيقي، يُصبح من السهل نسبياً تحديد المنفق الحقيقي.

الحل التقني: Dandelion++، بروتوكول نشر المعاملات المُخفي الذي يُصعب على المهاجم معرفة عقدة المصدر. وFCMP (Full Chain Membership Proofs) الذي يتجاهل مشكلة اختيار المخادعين كلياً.

الاتجاهات المستقبلية: ما بعد التوقيعات الحلقية

Full Chain Membership Proofs (FCMP)

FCMP هي الثورة القادمة في خصوصية مونيرو. بدلاً من اختيار 15 مخادعاً من البلوكتشين، يُثبت المنفق أن مخرجه موجود في مجموعة تضم جميع المخرجات الموجودة في البلوكتشين — الملايين منها.

هذا يعني:

• مجموعة ضمان تمتد إلى كل مخرج على الإطلاق، لا 16 فقط.
• القضاء التام على مشكلة اختيار المخادعين.
• لا يُمكن تضييق المجموعة إحصائياً بأي وسيلة.

بروتوكول Seraphis

Seraphis هو تحديث شامل لبنية معاملات مونيرو يمهد الطريق لـ FCMP وميزات خصوصية إضافية. لا يزال في طور التطوير، لكنه يُمثل مستقبل مونيرو الرياضي.

أهمية هذه التقنية للمستخدمين العاديين

ما الذي يجب أن يعرفه مستخدم مونيرو العادي؟

لا تحتاج إلى فهم رياضيات توزيع غاما لاستخدام مونيرو بأمان. لكن هناك ممارسات بسيطة تُعزز خصوصيتك:

• لا تُنفق مخرجات قديمة جداً على الفور: الانتظار قليلاً يُعطي وقتاً لإنفاق مخرجات أخرى، مما يجعل تحديد مخرجك أصعب.
• استخدم آخر إصدار من المحفظة: كل ترقية تُحسّن خوارزمية اختيار المخادعين.
• تجنب إعادة استخدام عناوين المحفظة: استخدم عناوناً فرعية (Subaddresses) مختلفة لكل معاملة.
• الصبر بعد الاستلام: إذا استطعت، انتظر 24-48 ساعة قبل إنفاق مخرج مستلم حديثاً.

لماذا لا توجد طريقة مثالية للخصوصية بعد؟

الخوارزمية الحالية هي أفضل ما هو متاح تقنياً اليوم، لكنها ليست مثالية رياضياً. المثالية الحقيقية ستأتي مع FCMP. في غضون ذلك، مونيرو يوفر مستوى خصوصية أعلى بكثير من أي عملة مشفرة أخرى في السوق، وخاصةً من البيتكوين والإيثيريوم.

الخلاصة التقنية

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

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

لمن يرغب في الغوص أعمق في الرياضيات، الورقة البحثية الأصلية "RandomX: A Proof of Work Algorithm for Memory-Hard Mining" وأبحاث MRL (Monero Research Lab) المتاحة على research.getmonero.org توفر تفاصيل رياضية دقيقة لكل جانب من جوانب البروتوكول.

التحقق التجريبي من فاعلية الخوارزمية

أبحاث تحليل البلوكتشين: ماذا يقول العلم؟

عدة أوراق بحثية درست فاعلية خوارزمية اختيار المخادعين في مونيرو عبر السنين. الدراسة الأكثر اقتباساً، "An Empirical Analysis of Traceability in the Monero Blockchain" (كومر وآخرون، 2018)، وجدت أن نسبة عالية من المعاملات في البروتوكول القديم كانت قابلة للتتبع نظرياً. لكن هذا تغيّر جوهرياً مع الترقيات اللاحقة.

الدراسة الأحدث "Tracing Monero" (يو وآخرون، 2019) وجدت تحسناً ملحوظاً مع ترقية حجم الحلقة إلى 7. الباحثون في Monero Research Lab (MRL) يُقيّمون باستمرار فاعلية الخوارزمية وينشرون نتائجهم على research.getmonero.org.

محاكاة هجمات الخصوصية

MRL يُجري محاكاة منتظمة لهجمات نظرية مختلفة على خوارزمية اختيار المخادعين:

• هجوم Cascade: يتضمن تتبع المخادعين الذين ظهروا أيضاً في حلقات أخرى كمنفقين حقيقيين.
• هجوم EAE (Exact Amount Elimination): يستغل تحديد المبالغ الدقيقة لتضييق المخرجات المحتملة.
• هجوم الرصيد الصفري: يحاول تحديد الإخراج الحقيقي من خلال تحليل بيانات الرصيد.

النتائج الحالية تُظهر أن الخوارزمية الحالية (مع حجم حلقة 16 وتوزيع غاما المحسّن) تقاوم جميع هذه الهجمات المعروفة بشكل فعّال.

البنية الرياضية التفصيلية لتوزيع غاما

المعادلة الأساسية

تابعة الكثافة الاحتمالية لتوزيع غاما هي: f(x; α, β) = (β^α × x^(α-1) × e^(-βx)) / Γ(α)، حيث Γ هي دالة غاما الرياضية، وα هو معامل الشكل (Shape Parameter)، وβ هو معامل المعدل (Rate Parameter).

في سياق مونيرو، x تمثّل عمر المخرج المُختار (بالمجموعات أو الأيام)، وα وβ مُعايَران لمطابقة التوزيع الفعلي للإنفاق. القيم الدقيقة المُستخدمة في كود مونيرو يمكن مراجعتها في ملف src/wallet/wallet2.cpp في المستودع الرسمي على GitHub.

لماذا غاما وليس توزيعات أخرى؟

توزيع غاما اختِير على توزيعات أخرى لعدة أسباب رياضية:

• المرونة: يمكن ضبطه ليحاكي مجموعة واسعة من الأنماط، من التوزيع الأسي إلى الجرسي.
• الانتهاء عند الصفر: مناسب لموديلة الأعمار (لا يمكن أن تكون أعمار سالبة).
• الحساب الكفوء: يمكن حساب قيمه بسرعة عالية مما يُسرّع إنشاء المعاملات.
• التوافق التجريبي: بيانات الإنفاق الفعلية في بلوكتشين مونيرو تتبع نمطاً يُطابق توزيع غاما بدقة جيدة.

التطبيق العملي: ما يحدث عند إنشاء معاملة

التسلسل الزمني لاختيار المخادعين

عندما تُنشئ محفظتك معاملة مونيرو، يحدث تسلسل الأحداث التالي في جزء من الثانية:

1. تُحدد المحفظة المخرج الحقيقي الذي ستُنفقه.
2. تُنشئ 15 عدداً عشوائياً وفقاً لتوزيع غاما لتحديد "أعمار" المخادعين المطلوبين.
3. لكل عمر، تُحول المحفظة العمر إلى ارتفاع مجموعة (Block Height) في البلوكتشين.
4. تبحث المحفظة عن مخرجات متاحة في تلك المنطقة الزمنية.
5. تختار عشوائياً مخرجاً من تلك المنطقة.
6. تتحقق من أن المخرج غير قابل للتتبع (ليس هو المخرج الحقيقي، وليس مستخدماً بالفعل في حلقة أخرى في نفس المعاملة).
7. تضيف المخرج إلى الحلقة.
8. تكرر الخطوات من 2 إلى 7 حتى تكتمل الحلقة بـ15 مخادعاً.
9. تُنشئ التوقيع الحلقي الذي يُثبت أن أحد أعضاء الحلقة أنفق دون الكشف عن أيهم.

دور مفتاح الصورة (Key Image)

لمنع إعادة إنفاق نفس المخرج مرتين، يُنتج كل منفق "مفتاح صورة" (Key Image) فريداً من مفتاحه الخاص ومفتاح المخرج. هذا المفتاح يُنشر على البلوكتشين مع المعاملة. إذا حاول نفس المنفق إنفاق نفس المخرج مرة ثانية، سيُنتج نفس مفتاح الصورة — وسترفض العقد المعاملة تلقائياً.

المهم: مفتاح الصورة لا يكشف أي معلومات عن المخرج الأصلي أو صاحبه — هو فقط دليل رياضي على أن نفس المخرج لم يُنفق مرتين.

مقارنة مع تقنيات الخصوصية الأخرى

مونيرو مقابل Zcash (zk-SNARKs)

Zcash يستخدم براهين المعرفة الصفرية (zk-SNARKs) بدلاً من التوقيعات الحلقية. النهج الرياضي مختلف جذرياً. Zcash يتيح للمرسل إثبات أنه يملك مخرجاً صالحاً دون الكشف عن أيه مخرج تحديداً — دون الحاجة لاختيار مخادعين أصلاً.

الميزة النظرية لـ Zcash: مجموعة الضمان يمكن أن تكون جميع المخرجات الموجودة. العيب العملي: المعاملات المحمية (Shielded) في Zcash تُستخدم من أقل من 1% من المستخدمين — مما يُخفف من الميزة النظرية عملياً.

في مونيرو، كل معاملة محمية إلزامياً — هذا يعني مجموعة ضمان حقيقية تشمل جميع المستخدمين الفعليين.

مونيرو مقابل بيتكوين مع Taproot

Taproot يُحسّن خصوصية بيتكوين في بعض السيناريوهات، لكنه يظل بعيداً جداً عن مستوى خصوصية مونيرو. معاملات بيتكوين لا تزال شفافة تماماً: من أرسل، لمن، وكم. لا يوجد اختيار مخادعين، لا إخفاء للمبالغ، لا عناوين خفية.

خلاصة تقنية متكاملة

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

FCMP القادم سيُحدث ثورة في هذا المجال بإلغاء الحاجة لاختيار المخادعين كلياً — وهو ما يطمح إليه مجتمع مونيرو كخطوة نحو خصوصية مثالية رياضياً. حتى ذلك الحين، تبقى الخوارزمية الحالية الأكثر تطوراً وعملية في مجال عملات الخصوصية.