إلى أي مدى يمكننا تقييد بناة؟

https://ethresear.ch/t/how-much-can-we-constrain-builders-without-bringing-back-heavy-burdens-to-proposers/13808

إلى أي مدى يمكننا تقييد البنائين دون إعادة الأعباء الثقيلة لمقدمي العروض؟

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

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

قوائم الدمج

في نموذج قائمة التضمين ، يقدم العارض ملفقائمة التضمين ، يجب تضمين قائمة المعاملات التي يطلبونها في الكتلة ، ما لم يتمكن المنشئ من ملء كتلةبالكامل مع معاملات أخرى.

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

في حالة ملء الكتلة إلى حد الغاز الكامل (2x الهدف) ، لذلك سيتعين على المنشئ الاختيار بين تلك المعاملة والمعاملات الأخرى ، يتم تعطيل القيد. لا يؤثر هذا على التضمين على المدى الطويل ، لأن تشغيل الكتل الكاملة لا يمكن أن يستمر إلا لفترة وجيزة لأنه يجعل الرسوم الأساسية ترتفع بشكل كبير (~ 2.02x كل 6 كتل).

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

هذا التصميم بسيط بشكل معقول ، ولكن من المهم وصف بعض نقاط الضعف فيه:

• قضايا توافق الحوافز : يرى المنشئ قائمة التضمين مسبقًا ، ويمكن للمُنشئ رفض إنشاء الكتل التي تحتوي على قائمة التضمين التي لا يريدون البناء عليها. هذا يخلق حافزًا فوريًا لمقدمي العروض للحصول على قوائم إدراج فارغة ، لزيادة فرصة قيام البناة ببناء الكتل لهم.
• أعباء إضافية على مقدمي العروض : يجب أن يكون مقدم الطلب قادرًا على تحديد معاملات دفع الرسوم. يتطلب هذا (1) الوصول إلى mempool و (2) القدرة على قراءة الحالة لتحديد دفع الرسوم ، أو الشهود المرتبطين بالمعاملات. يفضل الشهود ، لأنهم سيحافظون على خاصية PBS التي يمكن أن يكون المدققون عملاء عديمي الجنسية.
• لا يزال بإمكان المنشئ الانخراط في بعض الانتهاكات : هجمات شطيرة بشكل ملحوظ. ومع ذلك ، ليس من الواضح كيف يمكن إزالة هذه المشكلة دون اتباع أساليب متطرفة مثل استخدام التشفير المتقدم لتشفير وحدات الذاكرة ، نظرًا لأن أخذ هذه القوة بعيدًا عن المنشئ يعني ضمناً منحها إلى مقدم العرض ، مما يحفز مقدمي العروض على الانضمام إلى مجموعات الأسهم.
• يتطلب تكريسًا جزئيًا لسحب الحساب للعمل: يرىالطريق إلى تجريد الحساب - HackMD

اقترح اللواحق

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

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

الإصلاح للواحق المقترحة: الالتزام المسبق

يلتزم مقدم العرض مسبقًا بالتزام شجرة Merkle أو KZG أو أي تراكم آخر لمجموعة txs التي يريد تضمينها. يقوم المنشئ بإنشاء الكتلة الخاصة بهم. يجب على مقدم الاقتراح بعد ذلك إضافة اللاحقة التي تتكون بالضبط من المجموعة الفرعية لشجرة Merkle التي لم يتم تضمينها من قبل المنشئ بعد ، وأن حد الغاز يسمح لهم بتضمين الطلب بواسطة txhash أو أي ترتيب قياسي آخر (إذا أضافوا أي أمر آخر لاحقة ، يتم قطعها).

تفاصيل فرض القطع متضمنة إلى حد ما ، خاصة إذا كنت تريد تجنب وضع شجرة تضمين مقدم العرض في وضع واضح. يمكن إجراؤه بسهولة بشكل معقول مع التزامات KZG و ZK-SNARKs ذات الأغراض الخاصة ، باستخدام معادلات متعددة الحدود المتخصصة للتحقق من مفهوم "إذا بدأت من المجموعة بالالتزام X ، وإزالة أي شيء موجود في Y ، فإن المجموعة المتبقية هي Z ".

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

نهاية اللعبة على المدى الطويل: كيف نقيد المنشئو تقليل مسؤوليات مقدم العرض؟

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

لكن هذا يترك العديد من المهام الهامة الأخرى غير مخصصة ، خاصة المهام التي ستصبح ضرورية في المستقبل:

• مهمة حساب جذر ما بعد الحالة
• مهمة حوسبة ونشر الشاهد
• مهمة جعل ZK-SNARK تشهد على صحة الكتلة

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

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

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