💻 computer science

MEV-ACE: Identity-Authenticated Fair Ordering for Proposer-Controlled MEV Mitigation

تقدم هذه الورقة MEV-ACE، وهو بروتوكول أحادي الفتحة ومتوافق مع الحوسبة ما بعد الكم، يعمل على التخفيف من حدة القيمة المستخرجة القصوى (MEV) التي يسيطر عليها المقترح عبر الجمع بين الهويات الاقتصادية القابلة للجزاء، ورسائل الالتزام والفتح الموثقة بعتبات المصادقين، والعشوائية ذات التأخير القابل للتحقق لضمان ترتيب معاملات عادل وغير متوقع وخاضع للمساءلة دون الحاجة إلى لجنة تشفير عتبية.

المؤلفون الأصليون: Jian Sheng Wang

نُشر 2026-04-10

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Jian Sheng Wang

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل لعبة بوكر عالية المخاطر حيث يمتلك الموزع (الذي يُسمى منتج الكتلة - Block Producer) قوة خارقة: يمكنه رؤية أوراق الجميع قبل أي شخص آخر، وله الحق في تحديد الترتيب الذي تُلعب به الأوراق.

في عالم البلوكشين، يُطلق على هذا الموزع اسم "منتج الكتلة". ولأن منتج الكتلة يرى المعاملات المعلقة (الأوراق) أولاً، يمكنه الغش بثلاث طرق رئيسية:

الاستباق (Front-running): يرى أنك تحاول شراء رمز مميز (Token)، فيقوم بشرائه قبلك ليرفع السعر، ثم يبيعه لك بسعر أعلى.
هجمات الساندوتش (Sandwich attacks): يشتري قبلك ويبيع بعدك، ليسرق الربح الناتج عن فرق السعر الذي تسببت أنت فيه.
الرقابة (Censorship): ببساطة يرفض إدخال ورقتك في اللعبة إذا لم تكن في مصلحته.

هذه الورقة البحثية، MEV-ACE، تقترح مجموعة جديدة من القواعد لمنع الموزع من الغش، دون الحاجة إلى طرف ثالث موثوق لمراقبته.

إليك كيف يعمل ذلك، باستخدام تشبيهات بسيطة:

1. شارة "الهوية الحقيقية" (توثيق الهوية)

المشكلة: في النظام القديم، كان بإمكان أي شخص الاقتراب من الطاولة والصراخ برهان. وكان بإمكان المخادع الصراخ بـ 1,000 رهان وهمي فقط لإرباك الموزع وإفساد الترتيب.
حل MEV-ACE: قبل أن تتمكن من وضع رهان، يجب أن ترتدي شارة هوية حقيقية مرتبطة بأموالك.

يجب عليك إيداع مبلغ تأمين ("ضمان") للحصول على هذه الشارة.
إذا حاولت الغش أو إغراق الطاولة برهانات وهمية، فإن النظام يصادر تأمينك.
التشبيه: يشبه الأمر نادياً للنخبة (VIP) لا يمكنك الدخول إليه ببساطة؛ بل يجب أن تترك سيارتك لدى خدمة صف السيارات. إذا حاولت إثارة الفوضى، فسيحتفظون بسيارتك. هذا يمنع الناس من إغراق النظام بطلبات وهمية.

2. "المظروف المختوم" مع شاهد (الالتزامات الموثقة)

المشكلة: حتى مع وجود الهويات، كان بإمكان الموزع تجاهل رهانك إذا لم يعجبه، ولن يعرف أحد بذلك.
حل MEV-ACE: عندما تريد القيام بحركة، لا تكتفي بالصراخ بها. بل تضع رهانك في مظروف مختوم وتسلمه لمجموعة من الشهود (المدققين - Validators).

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

3. "الساعة الرملية السحرية" (العشوائية القابلة للتحقق بالتأخير)

المشكلة: حتى مع المظاريف المختومة، قد يكون الموزع الذكي ينتظر حتى اللحظة الأخيرة ليرى أي المظاريف صالحة، ثم يقرر ترتيب اللعبة ليحقق أكبر ربح لنفسه.
حل MEV-ACE: يتم تحديد ترتيب اللعبة بواسطة ساعة رملية سحرية (تُسمى VDF).

أولاً، يتم جمع كل المظاريف الصالحة وقفلها في خزنة.
بعد ذلك، تبدأ الساعة الرملية السحرية. تستغرق وقتًا محددًا (مثلاً 10 ثوانٍ) لتوليد رقم عشوائي يحدد الترتيب.
الأهم من ذلك: لا يمكن للموزع تسريع الساعة الرملية. عليه الانتظار.
التشبيه: تخيل أن على الموزع الانتظار حتى تنتهي ساعة سحرية بطيئة من العد التنازلي قبل أن يتمكن من رؤية "مجموعة الأوراق الممزوجة". وبحلول الوقت الذي تنتهي فيه الساعة، تكون قائمة الرهانات الصالحة قد أُغلقت بالفعل. لا يستطيع الموزع تغيير الترتيب بناءً على ما بداخل المظاريف لأنه لم يعرف الترتيب حتى فات الأوان.

4. نظام "الإيصال" (الشمول القابل للمساءلة)

المشكلة: ماذا لو قال الموزع: "لم أرَ مظروفك"؟
حل MEV-ACE: في كل مرة تحصل فيها على ختم الشهود على مظروفك، تحصل على إيصال رقمي.

إذا استبعد الموزع رهانك من اللعبة النهائية، يمكنك عرض إيصالك على الجميع في الغرفة.
ترى الغرفة (الشبكة) الإيصال، وتتحقق من الحسابات، وتقول: "مهلاً، لقد خرق الموزع القواعد!"
التشبيه: يشبه الأمر الحصول على تذكرة في حفلة موسيقية. إذا حاول الحارس (الموزع) طردك، تظهر له تذكرتك. إذا كانت التذكرة صالحة، فسيتم طرد الحارس (أو مصادرة تأمينه).

النتيجة: لعبة عادلة

من خلال الجمع بين هذه الأمور الأربعة، يخلق MEV-ACE نظامًا حيث:

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

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

باختاً: يحول MEV-ACE البلوكشين من لعبة يمكن للموزع فيها التلاعب بالأوراق إلى لعبة يتم فيها خلط الأوراق بواسطة آلة بطيئة وغير قابلة للتسريع، وكل ورقة يتم تتبعها من قبل مجموعة من الشهود الصادقين.

إليك ملخص تقني مفصل لورقة البحث "MEV-ACE: الترتيب العادل الموثق بالهوية للحد من الـ MEV الذي يتحكم فيه المقترح" للباحث جيان سينج وانج.

1. بيان المشكلة

تتناول الورقة البحثية مسألة القيمة القابلة للاستخراج القصوى (MEV)، وتحديداً الـ MEV القائم على الترتيب (ordering-based MEV)، حيث يستغل منتجو الكتل (المقترحون) سلطتهم التقديرية أحادية الجانب لمراقبة المعاملات المعلقة والتلاعب بإدراجها أو ترتيبها لتحقيق الربح. يؤدي هذا إلى ثلاثة ناقلات هجوم رئيسية:

الاستباق (Front-running): إدراج معاملة قبل معاملة مستهدفة للاستفادة من تحركات الأسعار.
هجمات الساندوتش (Sandwich attacks): حصر معاملة مستهدفة بين أوامر شراء وبيع لاستخراج فرق السعر (slippage).
الرقابة (Censorship): استبعاد معاملات معينة بشكل انتقائي للإضرار بمستخدمين محددين.

قصور الحلول الحالية:
تعاني استراتيجيات التخفيف الحالية (مثل Commit-Reveal، وتشفير العتبة Threshold Encryption، وخدمات الترتيب العادل، وفصل المقترح عن الباني Proposer-Builder Separation) من فجوتين حرجتين:

الافتقار إلى الأهلية الموثقة (Lack of Authenticated Admissibility): لا ترتبط الالتزامات (commitments) بهويات مسجلة وقابلة للجزاء (slashable)، مما يسمح للمنتجين بـ "حشو" مجمع الترتيب بالتزامات وهمية منخفضة التكلفة لتقليل المنافسة.
الافتقار إلى التزامات الإدراج القابلة للتحقق (Lack of Verifiable Inclusion Obligations): لا يوجد دليل (إيصالات) قابل للنقل والتحويل يثبت أن المعاملة كان من الضروري إدراجها. إذا أغفل المنتج معاملة صالحة، لا يمكن للمدققين الآخرين بسهولة إثبات هذا الإغفال دون الاعتماد على المراقبة المحلية.

2. المنهجية: بروتوكول MEV-ACE

MEV-ACE هو بروتوكول يعمل في شريحة زمنية واحدة (single-slot) مصمم لإلغاء السلطة التقديرية أحادية الجانب للمقترح على المعاملات المقبولة. وهو يدمج ثلاث آليات أساسية:

أ. الهويات الاقتصادية المسجلة (إطار عمل ACE-GF)

اشتقاق الهوية: يشتق المستخدمون مفاتيح مصادقة خاصة بالتطبيقات بشكل حتمي من قيمة إنتروبيا جذرية (REV) باستخدام إطار توليد الكيانات التشفيرية الذرية (ACE-GF). يضمن ذلك عزل السياق والتوافق مع الحوسبة ما بعد الكم (مثل ML-DSA-44).
المشاركة بضمان (Bonded Participation): يسجل المستخدمون تسلسلاً مكوناً من (idcom, vk_auth, D_stake)، حيث D_stake هو ضمان قابل للجزاء.
مكافحة الحشو (Anti-Stuffing): يتم تحديد كل هوية بحصة ( $\ell$ ) من الالتزامات لكل شريحة زمنية. وتتطلب أي زيادة في ذلك تسجيل هويات جديدة، مما يؤدي إلى تجميد رأس مال إضافي.

ب. إيصالات العتبة للأهلية (Threshold Receipts for Admissibility)

يقدم البروتوكول عملية التزام مكونة من مرحلتين تتطلب إجماع المدققين:

مرحلة الالتزام (Commit Phase): يبث المستخدمون التزاماً $c_i = H(tx_i \parallel r_i \parallel id_i \parallel s)$ موقعاً بمفتاح المصادقة الخاص بهم. يتحقق المدققون من التوقيع ومن ضمان الهوية. بمجرد حصول الالتزام على عدد من الإيصالات من عتبة ( $q_c \ge 2f+1$ ) من المدققين، يصبح الالتزام مقبولاً (admissible).
مرحلة الكشف (Open Phase): بعد تحديد الترتيب، يكشف المستخدمون عن المعاملة والـ nonce. يتحقق المدققون من الكشف مقابل الالتزام. إنشاء عتبة ( $q_o \ge 2f+1$ ) من الإيصالات يخلق كشفاً قابلاً للتنفيذ (executable opening).

المساءلة (Accountability): إذا أغفل المنتج معاملة ذات إيصالات صالحة، يمكن لأي مشارك تقديم إثبات إغفال (omission proof) لإبطال الكتلة.

ج. العشوائية ذات التأخير القابل للتحقق (VDF)

آلية الترتيب: يتم تحديد ترتيب التنفيذ فقط بعد تثبيت مجموعة الالتزامات المقبولة.
العملية: يقوم المنتج بحساب بذرة (seed) من الجذر الميركلي (Merkle root) للمجموعة المقبولة ومن هاش الكتلة السابقة. يتم تغذية هذه البذرة في دالة التأخير القابلة للتحقق (VDF).
الأمان: تتطلب مخرجات الـ VDF (البذرة العشوائية للخلط) عدد $T$ من الخطوات المتتالية لحسابها، ولكنها قابلة للتحقق فورياً. وهذا يخلق تأخيراً إلزامياً بين تثبيت مجموعة المعاملات ومعرفة الترتيب، مما يمنع المنتج من اختيار كشف المعاملات المربحة فقط.

3. المساهمات الرئيسية

نموذج رسمي للترتيب العادل المقبول: يحدد نموذج أمان تصبح فيه الالتزامات إلزامية فقط بعد جمع إيصالات المدققين عند العتبة، مما يصيغ رسمياً ثلاث خصائص: عدم قابلية التنبؤ بالترتيب، أصالة الالتزام، والإدراج الخاضع للمساءلة.
بروتوكول MEV-ACE: بنية تحتية لشريحة واحدة تجمع بين اشتقاق هوية ACE-GF، وإيصالات العتبة، والعشوائية المتأخرة القائمة على VDF دون الحاجة إلى لجنة تشفير عتبة.
البراهين الأمنية:
- عدم قابلية التنبؤ بالترتيب: مثبتة تحت فرضية التسلسل لـ VDFs؛ لا يمكن التنبؤ بالترتيب قبل تثبيت المجموعة المقبولة.
- أصالة الالتزام: مثبتة تحت أمن EUF-CMA لنظام التوقيع؛ فقط الهويات المسجلة يمكنها إنشاء التزامات صالحة.
- الإدراج الخاضع للمساءلة: مثبت تحت افتراضات BFT؛ يجب إدراج أي معاملة ذات إيصالات commit/open صالحة، وإلا ستكون الكتلة باطلة بشكل مثبت.
تحليل الحوافز الاقتصادية: يوضح أنه إذا كانت تكلفة الضمانات وعقوبات الجزاء ( $\delta \cdot \text{Bond}$ ) تتجاوز الربح المحتمل من التلاعب، فإن التنفيذ النزيه هو أفضل استجابة للمنتج.
إرشادات النشر: يفصل بين معلمات التأخير التشفيري ووقت التشغيل الفعلي، مما يوفر إطاراً لميزانية زمن الاستجابة ( $\Delta_{slot} = \Delta_c + \Delta_v + \Delta_o + \text{margin}$ ).

4. النتائج والخصائص الأمنية

في ظل الافتراضات التشفيرية القياسية (EUF-CMA، ومقاومة التصادم، وتسلسل VDF) والمعايير الاقتصادية:

إلغاء السلطة التقديرية: بمجرد تثبيت المجموعة المقبولة، لا يمكن للمنتج إعادة ترتيب أو إغفال المعاملات دون التعرض لإبطال كتلة مثبت أو عقوبة مالية تتجاوز ربح الـ MEV المحتمل.
مقاومة الهجمات الرمزية (Sybil Resistance): أصبح حشو الالتزامات غير مجدٍ اقتصادياً. لإدخال $k$ من الالتزامات الإضافية، يجب على المهاجم حجز $\lceil k/\ell \rceil \cdot D_{stake}$ في الضمانات.
التوافق مع الحوسبة ما بعد الكم: يدعم البروتوكول التواقيع ما بعد الكم (ML-DSA-44) عبر إطار عمل ACE-GF.
لا توجد تشفير عتبة: على عكس مخططات تشفير العتبة، لا يتطلب MEV-ACE لجنة تشفير عتبة، مما يقلل من زمن الاستجابة وافتراضات الثقة.

5. الأهمية

يمثل MEV-ACE تحولاً من إخفاء محتويات المعاملات (التشفير) إلى توثيق قبول المعاملات (الهوية والإيصالات).

تغيير هيكلي: ينقل حدود الأمان من "الثقة في عدم غش المنتج" إلى "الإنفاذ التشفيري والاقتصادي للإدراج".
العملية: من خلال العمل ضمن شريحة زمنية واحدة وتجنب لجان التشفير المعقدة، فإنه يقدم مساراً أكثر قابلية للنشر لأنظمة البلوكشين الحالية مقارنة بأنظمة الـ commit-reveal متعددة الجولات أو أنظمة تشفير العتبة.
النطاق: يستهدف MEV-ACE تحديداً الـ MEV القائم على الترتيب الذي يتحكم فيه المقترح. وهو يقر بأن الـ MEV القائم على المعلومات (مثل التحكيم على تحديثات الأوراكل العامة) يتطلب حلولاً موازية مثل المزادات بالدفعة (batch auctions).

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