طريق Ethereum إلى مكافحة الخيار: أيهما أفضل أو جديلة أو مركزة؟

المؤلف: 0xnatalie

أثناء عملية توليد وتكوين كتلة Ethereum ، يكون المنشئ مسؤولاً عن اختيار المعاملات وفرزها من تجمع المعاملات وتقديم الكتل إلى المقترح من خلال آلية المزاد.يختار المقترح كتلة من هذه الكتل المقدمة للتوقيع ويقترحها إلى blockchain.نظرًا لأن المقترح ، ككيان واحد ، لديه الخيار النهائي ، فإن هذا يجلب خطر التواطؤ المحتمل بين المقترح والبناء لمراجعة المعاملة.

واحدة من القيم الأساسية لـ blockchain هي مقاومة الرقابة ، أي أن أي شخص يمكنه التداول دون تدخل من السلطة المركزية.يتم تهديد هذه الميزة عندما يتمكن المقترح من التحكم في المعاملات في الكتلة.إصابة الإنصاف والشفافية.ويمكن استخدام هذه القوة لمعالجة ترتيب المعاملات في الكتلة ، وبالتالي الحصول على فوائد اقتصادية إضافية ، مما يسبب مشاكل في MEV.

حلول مكافحة الخالص الحالية

لمواجهة هذا التحدي ، اقترح المجتمع مجموعة متنوعة من حلول مكافحة الخالص ، مثل قائمة التضمين القسري (Focil).في آلية التركيز ، ستقوم كل فتحة (فتحة زمنية) باختيار مجموعة من المدققين بشكل عشوائي لتشكيل لجنة تحتوي على قوائم.يقوم أعضاء اللجنة بإنشاء قوائم التضمين المحلية بناءً على وجهات نظرهم الذاتية لمجموعة المعاملات (MEMPOOL).المقترح مسؤول عن جمع وتجميع هذه القوائم المحلية لتشكيل قائمة إجمالية وإدراجها في الكتلة.تضمن هذه الآلية عدالة الكتل ، لأن المدقق سوف يتحقق من صحة القائمة المجمعة بناءً على القائمة المحلية التي تم بثها مسبقًا ، وسيتم قبول الكتل فقط التي تمتثل لقواعد الإجماع وإضافتها إلى blockchain.

بالإضافة إلى التركيز ، ناقش المجتمع أيضًا مخططات مقترحات التزامن المتعددة (MCPs).تم اقتراح هذا المفهوم لأول مرة من قبل Max Resnick في الآلية المضاعفة ، بهدفقلل من قدرة عقدة واحدة على مراجعة المعاملات من خلال إدخال مقترحات كتلة متوازية متعددة لتنويع الطاقة.في آلية القابلية للضرب ، سيقوم كل مصلحة بتحديد جزء من المعاملة من مجموعة التداول الخاصة به لتشكيل “حزمة معاملات خاصة”.يوقع هؤلاء المدققون ويرسلون حزمة المعاملات المحددة إلى مقترح الجولة الحالية.بعد استلام المقترح ، يحتاج إلى تضمين ما لا يقل عن 2/3 من حزم المعاملات في الكتلة المقترحة.فقط بهذه الطريقة يمكن اعتبار هذه الكتلة صالحة.تضمن هذه الآلية أن المقترح لا يمكنه تحديد محتوى الكتلة بشكل منفصل ، مما يقلل من إمكانية الرقابة.لمزيد من تحفيز المقترحين لتشمل المعاملات بشكل عادل ، تنفذ هذه الآلية قاعدة “الحافة الشرطية” ، أي أن المقترحين الذين يتضمنون المعاملة يمكنهم فقط الحصول على نصائح للمعاملات.لا يتم إعطاء طرف المعاملة تلقائيًا للمقترح الأول الذي يحتوي على المعاملة ، ولكن يتم توزيعه على جميع المقترحين الذين يحتويون بالفعل على المعاملة وفقًا لشروط معينة.هذا يزيد من تكلفة المراجعة ، وإذا كنت ترغب في المراجعة ، فأنت بحاجة إلى رشوة جميع المقترحات الذين يتضمنون المعاملة.

جديلة: حل تنفيذ MCP محسّن

استنادًا إلى مضاعفة ، اقترح Max Resnick المزيد من الجديلة ، وهو تطبيق MCP أكثر تعقيدًا وشمولاً.في حلقة دراسية حول “Defi in MEV Era” الذي عقدته Paradigm ، قدم Max جديلة.يقوم Braid بتنفيذ MCP من خلال السماح لمقترحات متعددة باقتراح كتل على سلاسل متوازية مختلفة واستخدام آلية إجماع متزامنة للحفاظ على الاتساق بين السلسلة.كل سلسلة لها اقتراحها الخاص ، ونشر جميع المقترحين كتلهم في وقت واحد في نفس الفتحة.تجمع طبقة تنفيذ Ethereum جميع المعاملات التي تم إنشاؤها بواسطة العناصر الفرعية في هذه الفتحة لتشكيل كتلة تنفيذ ، وتصوير هذه المعاملات وتنفيذها وفقًا للقواعد المحددة مسبقًا ، مما يقلل من معالجة سجل المعاملات من قبل أي كيان واحد.

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

مشاكل مع آلية الجديلة

أشار فريق Blockchain Capital Jonahb إلى مشكلة في آلية Braid: يحتوي نموذج “الطرف الشرطي” على متطلبات للسيولة ، مما يؤثر على تأثير تجربة المستخدم.هذا النموذج هو استراتيجية تسعير ديناميكية تتطلب من المستخدمين إعداد قدر معين من السيولة لضمان مقاومة الرقابة على المعاملة.يحتاج المستخدمون إلى تعيين قيمتين طرفتين (T و T) عند إرسال معاملة.تعتمد النصائح الفعلية المدفوعة في النهاية على عدد المقترحات التي تحتوي على المعاملة.

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

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

في هذا الصدد ، اقترح Jonahb حلين:

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

وجهات نظر المجتمع على التركيز والجديلة

مطور PRYSM عميل Ethereumيعتقد Terence أن هناك ميزة كبيرة من الجديلة هي أنها لا تتطلب مشاركين إضافيين.في معظم تصميمات قائمة التضمين (IL) بما في ذلك FOCIL ، يلزم وجود مشارك إضافي ، مما يضيف قيودًا زمنية في فتحات وقت Ethereum ، مثل الوقت لتقديم IL ، ووقت تحديث العطاءات ، والتحقق من مصلحة IL.ومع ذلك ، فإن حل التركيز أبسط وأكثر مرونة من الجديلة.

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

يعتقد Dev ، وهو مطور ، التركيز على MCP ، أن Focil لديه المزيد من المزايا في توفير مقاومة قوية وتبسيط التنفيذ.ويتم توفير بعض التحسينات لجعل التركيز أسهل في التنفيذ.

يعتقد باحث Ethereum Barnabe أن التركيب هو آلية عامة وقابلة للتطوير. هذا ليس إجماعًا في الوقت الحالي ، وهناك حاجة إلى مزيد من العمل لإثبات جدواه.