القيود العملية على آليات الإدراج القسري لمقاومة الرقابة

متقدم9/27/2024, 4:04:38 PM
يناقش هذا المقال قيود آلية الإدراج القسري في معالجة قضايا رقابة المعاملات. على الرغم من أن أنظمة مثل Arbitrum و Optimism تستخدم هذه الآلية، مما يتيح للمستخدمين طلب تضمين معاملات محددة في فترة زمنية معينة، إلا أنه على السلاسل ذات الحالة الغنية، يمكن للمتسلسلين ما زالت تسبب فشل هذه المعاملات عن طريق تعديل الحالة المشتركة.

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

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

الدومينو يذهب بتسلسل أيضاً :) الصورة بواسطةتوم ويلسونعلىUnsplash

تحديد المراقبة

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

آليات الإدماج القسري

هدف الأمان الأساسي لسلاسل OP Stack هو ألا يمكن للمتسلسل منع المستخدمين من تقديم المعاملات إلى السلسلة L2.

المدرنة rollups تميل إلى وجود تسلسل مركزي. وهذا يعني أن الرقابة من قبل المسلسل بسيطة ، حيث يمكنهم ببساطة عدم تضمين أي صفقة مستخدم معينة. للتخفيف من ذلك ، يتضمن العديد من rollups - بما في ذلك Optimismوأربتروم- لديها آليات الإدراج القسري. تتيح هذه الآليات للمستخدم ضمان تنفيذ معاملته بواسطة الـ rollup بعد فترة تأخير معينة، بغض النظر عن سلوك المتسلسل. يتم الإدراج بشكل قسري عبر عقد منشور على L1. لذلك، تكون المعاملات ذات الإدراج القسري (نظريًا) لديها نفس مقاومة الرقابة كما في حالة المعاملات الأخرى على إيثريوم.

الاضطرار الى الانضمام يحدد النطاق الفرعي الذي يجب الاحتفاظ به في أي ترتيب صالح.

تم اقتراح آلية الإدراج القسري أيضًا لإيثريوم عبر Gate.EIP-7547. ستسمح قوائم التضمين لمقترحات الكتلة بتحديد محتويات الكتلة التالية جزئيا. على افتراض أن مقترحي الكتلة لديهم حوافز أقل للرقابة من بناة الكتل ، فإنه سيوفر تخفيفا فعالا للرقابة.

بشكل عام، تؤدي آليات الإدراج القسري إلى إنشاء قيود جديدة على الترتيبات الصالحة. إنها تجعل فئات واسعة من الترتيبات غير صالحة وفقًا لقواعد البرتوكول.1. يجب أن يُعتَبَر الإدراج القسري كما لو كان يسمح للمستخدم بتحديد جزء من ترتيب المستقبل. يجب أن توسِّع جميع الترتيبات الصحيحة على الجزء المُضطر إليه.

توسيع نموذجنا لمقاومة الرقابة

عذراً، تأكيد المعاملة هو الوسيلة وليس الهدف. نموذجنا للرقابة غير مكتمل!

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

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

نصف رسمياً، نقول أنه لأي تفاعل مع السلسلة معينة، هناك بعض دالة تسجيل f التي تقيم الترتيب الناتج، وتنتج 0 (فشل الهدف) أو 1 (تحقيق الهدف). في هذا النموذج، تكون دالة تسجيل الرقيب ببساطة النفي: f' = !f. يحقق الرقيب هدفه عندما لا يفعل المستخدم.3

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

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

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

مشكلة تسليم اليد

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

يجب أن يكون هناك تسليم من الاستدراج غير الإجباري إلى الاستدراج الإجباري.

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

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

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

في الأنظمة العملية

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

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

بالنسبة لـ EIP-7547، يختار المُنشئون مكان حدوث تسليم الكتلة.8نتيجة لذلك، يمكن للمُنشئ اختيار موقع نقطة الانتقال داخل الكتلة. وهذا يعني أنه يمكنهم تحديد بادئة ولاحقة حسب رغبتهم،9طالما احترام قواعد غاز الكتلة. يمكن أن يضع البادئة السلسلة في حالة يتم فيها إرجاع المعاملة ، في حين أن اللاحقة ستعيد السلسلة إلى حالة طبيعية. قوائم الاستبعاد EIP-7547 غير كافية لمنع الرقابة على أي معاملة تصل إلى الحالة المثيرة للجدل. مشكلة التسليم تمنع ILs من ضمان تنفيذ المعاملة في معظم الحالات.

الإدماج القسري غير فعال في حماية المستخدمين من الرقابة لمعظم الاستخدامات غير التافهة للبلوكشين. مشكلة التسليم تضمن أن لدى المراقب كفاءة كافية في التقرير حتى لو لم يكن لديه كفاءة كافية في النظام. تؤثر هذه المشكلة على AMMs وأسواق الإقراض والمزادات ومعظم الإجراءات الأخرى في DeFi. العديد من الإجراءات المهمة قابلة للرقابة حتى إذا كنت تستطيع ضمان إدراج الصفقة. يخلق التنافس على الحالة حدودًا صعبة على فعالية الإدماج القسري كآلية لمقاومة الرقابة.

دراسة الحالة

لرؤية تأثيرات هذا النطاق الواسع، يُرجى النظر في مستخدم يقرض USDC في سوق الاقتراض على نظام التفاؤل. عندما يرغب المستخدم في سحب USDC من السوق، يقوم بتقديم معاملة تفاؤل، التي يعترضها المُوَجه. ثم يستخدم آلية الإدراج الإجباري الرسمية لوضع معاملته في طابور الانتظار على الإيثيريوم، متجاوزًا المُوَجه.

يمكن للمُسلسل رؤية تلك العملية في الصف، ويمكنه اختيار تضمينها. من أجل رقابة العملية، يقترض المسلسل جميع USDC المتاحة من السوق على الفور قبل العملية الإجبارية. نظرًا لعدم توفر السيولة في السوق، تُعيد العملية الإجبارية. يمكن للمُسلسل بعد ذلك سداد الـ USDC على الفور.

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

يتطلب ذلك من المتتابع أن يكون لديه ضمان كافٍ لاستدانة USDC ، لكنه يفرض فقط تكلفة استدانة صغيرة جدًا.10وبالإضافة إلى ذلك، يمكن إعادة استخدام الضمان لجميع أشكال المقاومة للرقابة، حيث لا يتم الاحتفاظ بالاقتراض مفتوحًا. نتيجة لذلك، ليس لدى مستخدم AAVE أو Compound على Optimism (أو Arbitrum أو أي تكديس متسلسل آخر بشكل مركزي) أي ضمان بأنه سيكون قادرًا على سحب الضمان أبدًا. يمكن للمتسلسل أن يراقب أي سحب من أي سوق إقراض في أي وقت. الإدراج القسري ليس كافيًا ببساطة لحماية المستخدمين من الرقابة.

العمل التكميلي

لدينا بعض مجالات البحث المتابعة.

أولاً ، يمكن تحسين EIP-7547 بسهولة من خلال طلب معالجة معاملات IL في نهاية الكتلة التالية. في سياق مزاد PBS ، المراقبة هي MEV. يستمد المنشئ قيمة غير اقتصادية معينة ، يجب عليهم تعيين قيمة ذاتية موضوعية مقاسة بالإيثر. يسبب الرقابة من قبل المنشئ زيادة في عرض الكتلة للمنشئ.11وتمتد هذه الى الباحثين، الذين قد يقومون بتقديم حزم الرقابة. وبعد ذلك يتم التقاط جزء من القيمة الاقتصادية للرقابة من قبل المقترح، مما يوفر حافزًا لتحمل الرقابة حتى عندما لا يشارك فيها مباشرة. ووضع صفقات الاستدراج الإجبارية في نهاية الكتلة يزيل قدرة بناء الكتلة على وضع بسهولة صفقات الاستدراج الإجبارية، ويزيد من التكلفة الاقتصادية للرقابة الجدلية. على سبيل المثال، قد يتطلب تقديم تفاعل AMM عبر صراع الحالة التخلي عن بعض تحكيم AMM أو تكلفة عالية لدفع السوق خارج النطاق الذي لا يمكن استرداده عن طريق إغلاق السندويتش. بالإضافة إلى ذلك، سيقوم هذا بتقييد حزم الرقابة التي ينتجها الباحثون (بدلاً من البنائين) بواحدة في كل كتلة.12سنوصي بتنفيذ أعلى مستوى من الكتلة، حيث أن البادئة أكثر أهمية من اللاحقة، ومع ذلك، سيزيد ذلك بشكل drastical من تكلفة عملية IL، حيث سيسمح بسحب MEV أعلى مستوى من الكتلة عن طريق الإدراج الإجباري.13إزالة حق الرقابة لإضافة اللاحق الذري لمعاملات IL هو تحسين طفيف.

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

ثالثًا، هناك فئة مثيرة للاهتمام من وظائف التسجيل "غير المعتمدة على الترتيب". هذه أهداف لا يمكن أن تتم تصفيتها من قبل الصراع الدولي، إما لأنها لا تصل إلى الحالة المثيرة للجدل، أو لأن الحالة المثيرة للجدل التي تصل إليها لديها قيود كافية لجعلها "موثوقة" بمعنى ما. تتضمن الإجراءات غير المعتمدة على الترتيب إرسال ETH إلى EOA، معظم عمليات إرسال ERC-20،14 وبعض تفاعلات DeFi مثل إضافة ضمانات إلى السوق. هذه الإجراءات محمية من الرقابة عن طريق الخلاف. تحتوي هذه الفئة من الأهداف أيضا على مراسلات مثيرة للاهتمام في الاتصال الآمن عبر السلسلة ومقاومة MEV وتستحق دراسة أكثر تعمقا. قد يتم تصميم التطبيقات والبروتوكولات لتشمل فقط الإجراءات المستقلة عن النظام في بعض الحالات ، ولكن هناك حاجة إلى مزيد من الدراسة.

استنتاج

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

نود أن نشكرمايك نيودر, تارون تشيترا، وبراندون كورتيسللمراجعة والتغذية المرتدة.

1

كما هو المعتاد ، يتم ذلك بالنسبة لـ L1s عن طريق رفض الكتل غير الصالحة ، في حين يتم ذلك في اللفات عن طريق إجبار التسلسلات غير الصالحة على التسلسلات الصالحة عبر وظيفة تصفية ما.

2

هذا ليس منشورا عن النوايا ، فالعالم لا يحتاج إلى المزيد منها في هذه المرحلة.

3

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

4

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

5

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

6

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

7

لقد غطينا بشكل خاص استخدام المنافسة الحالية لإلغاء المعاملات في مقالتنا لعام 2017عمال المناجم ليسوا أصدقائكفي ذلك الوقت لم يكن مصطلح 'MEV' قيد الاستخدام بعد.

8

من المعروف جيدًا أن PBS يعقد بشكل كبير مقاومة الرقابة. انظر إلى VB.@vbuterin/pbs_censorship_resistance">research note.

9

تسمى تسمية البادئة واللاحقة للمعاملة بشكل شائع "تشكيل السندويتش" ومفهومة جيدًا كوسيلة لاستخدام الصراع الحالة لاستخراج MEV.

10

يتم الاحتفاظ بالاقتراض لبضع ثوان فقط ، إذا كان ذلك. يمكن أن تحتفظ أجهزة التسلسل التراكمي في بعض الحالات بطوابع زمنية أو حدود كتلة لجعل وقت الاقتراض الفعال 0.

11

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

12

توجه إلى حقيقة أن هذا يعتمد على قواعد مزاد MEV التي تمنع تداخل المعاملات من حزم مختلفة وعدم السماح بمعاملات "يجب إلغاؤها". إذا تم تخفيف تلك القواعد للسماح بتداخل معاملات الحزمة، و / أو إذا بدأ المنشئون في دعم كتل "يجب إلغاؤها" في الحزم، فإن الحماية ستتبخر. تنشأ هذه الديناميكية لأنه إذا كانت المعاملات IL يجب أن تكون في نهاية الكتلة، فلا يجوز تداخل أي معاملات غير مجبرة، وبالتالي يمكن أن تحدث حزمة مراقبة بحث واحدة كحد أقصى.

13

السماح بشكل فعال للمُنشئ بإنشاء حُزَم بين الكتل المحدودة. أنظمة ما قبل الإجماع مثل فوسيليمكن الحد من هذا.

14

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

اخلاء المسؤوليه:

  1. تمت إعادة طبع هذه المقالة من [التكنولوجيا], جميع حقوق الطبع والنشر تنتمي إلى المؤلف الأصلي [init4]. إذا كان هناك اعتراضات على هذه الإعادة الطبع، يرجى التواصل معبوابة التعلمالفريق، وسوف يتولون التعامل معه بسرعة.
  2. تنصل المسؤولية: الآراء والآراء المعبر عنها في هذه المقالة هي تلك فقط للكاتب ولا تشكل أي نصيحة استثمارية.
  3. تتم ترجمة المقالات إلى لغات أخرى بواسطة فريق Gate Learn. ما لم يذكر غير ذلك ، فإن نسخ أو توزيع أو سرقة المقالات المترجمة ممنوعة.

القيود العملية على آليات الإدراج القسري لمقاومة الرقابة

متقدم9/27/2024, 4:04:38 PM
يناقش هذا المقال قيود آلية الإدراج القسري في معالجة قضايا رقابة المعاملات. على الرغم من أن أنظمة مثل Arbitrum و Optimism تستخدم هذه الآلية، مما يتيح للمستخدمين طلب تضمين معاملات محددة في فترة زمنية معينة، إلا أنه على السلاسل ذات الحالة الغنية، يمكن للمتسلسلين ما زالت تسبب فشل هذه المعاملات عن طريق تعديل الحالة المشتركة.

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

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

الدومينو يذهب بتسلسل أيضاً :) الصورة بواسطةتوم ويلسونعلىUnsplash

تحديد المراقبة

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

آليات الإدماج القسري

هدف الأمان الأساسي لسلاسل OP Stack هو ألا يمكن للمتسلسل منع المستخدمين من تقديم المعاملات إلى السلسلة L2.

المدرنة rollups تميل إلى وجود تسلسل مركزي. وهذا يعني أن الرقابة من قبل المسلسل بسيطة ، حيث يمكنهم ببساطة عدم تضمين أي صفقة مستخدم معينة. للتخفيف من ذلك ، يتضمن العديد من rollups - بما في ذلك Optimismوأربتروم- لديها آليات الإدراج القسري. تتيح هذه الآليات للمستخدم ضمان تنفيذ معاملته بواسطة الـ rollup بعد فترة تأخير معينة، بغض النظر عن سلوك المتسلسل. يتم الإدراج بشكل قسري عبر عقد منشور على L1. لذلك، تكون المعاملات ذات الإدراج القسري (نظريًا) لديها نفس مقاومة الرقابة كما في حالة المعاملات الأخرى على إيثريوم.

الاضطرار الى الانضمام يحدد النطاق الفرعي الذي يجب الاحتفاظ به في أي ترتيب صالح.

تم اقتراح آلية الإدراج القسري أيضًا لإيثريوم عبر Gate.EIP-7547. ستسمح قوائم التضمين لمقترحات الكتلة بتحديد محتويات الكتلة التالية جزئيا. على افتراض أن مقترحي الكتلة لديهم حوافز أقل للرقابة من بناة الكتل ، فإنه سيوفر تخفيفا فعالا للرقابة.

بشكل عام، تؤدي آليات الإدراج القسري إلى إنشاء قيود جديدة على الترتيبات الصالحة. إنها تجعل فئات واسعة من الترتيبات غير صالحة وفقًا لقواعد البرتوكول.1. يجب أن يُعتَبَر الإدراج القسري كما لو كان يسمح للمستخدم بتحديد جزء من ترتيب المستقبل. يجب أن توسِّع جميع الترتيبات الصحيحة على الجزء المُضطر إليه.

توسيع نموذجنا لمقاومة الرقابة

عذراً، تأكيد المعاملة هو الوسيلة وليس الهدف. نموذجنا للرقابة غير مكتمل!

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

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

نصف رسمياً، نقول أنه لأي تفاعل مع السلسلة معينة، هناك بعض دالة تسجيل f التي تقيم الترتيب الناتج، وتنتج 0 (فشل الهدف) أو 1 (تحقيق الهدف). في هذا النموذج، تكون دالة تسجيل الرقيب ببساطة النفي: f' = !f. يحقق الرقيب هدفه عندما لا يفعل المستخدم.3

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

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

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

مشكلة تسليم اليد

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

يجب أن يكون هناك تسليم من الاستدراج غير الإجباري إلى الاستدراج الإجباري.

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

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

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

في الأنظمة العملية

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

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

بالنسبة لـ EIP-7547، يختار المُنشئون مكان حدوث تسليم الكتلة.8نتيجة لذلك، يمكن للمُنشئ اختيار موقع نقطة الانتقال داخل الكتلة. وهذا يعني أنه يمكنهم تحديد بادئة ولاحقة حسب رغبتهم،9طالما احترام قواعد غاز الكتلة. يمكن أن يضع البادئة السلسلة في حالة يتم فيها إرجاع المعاملة ، في حين أن اللاحقة ستعيد السلسلة إلى حالة طبيعية. قوائم الاستبعاد EIP-7547 غير كافية لمنع الرقابة على أي معاملة تصل إلى الحالة المثيرة للجدل. مشكلة التسليم تمنع ILs من ضمان تنفيذ المعاملة في معظم الحالات.

الإدماج القسري غير فعال في حماية المستخدمين من الرقابة لمعظم الاستخدامات غير التافهة للبلوكشين. مشكلة التسليم تضمن أن لدى المراقب كفاءة كافية في التقرير حتى لو لم يكن لديه كفاءة كافية في النظام. تؤثر هذه المشكلة على AMMs وأسواق الإقراض والمزادات ومعظم الإجراءات الأخرى في DeFi. العديد من الإجراءات المهمة قابلة للرقابة حتى إذا كنت تستطيع ضمان إدراج الصفقة. يخلق التنافس على الحالة حدودًا صعبة على فعالية الإدماج القسري كآلية لمقاومة الرقابة.

دراسة الحالة

لرؤية تأثيرات هذا النطاق الواسع، يُرجى النظر في مستخدم يقرض USDC في سوق الاقتراض على نظام التفاؤل. عندما يرغب المستخدم في سحب USDC من السوق، يقوم بتقديم معاملة تفاؤل، التي يعترضها المُوَجه. ثم يستخدم آلية الإدراج الإجباري الرسمية لوضع معاملته في طابور الانتظار على الإيثيريوم، متجاوزًا المُوَجه.

يمكن للمُسلسل رؤية تلك العملية في الصف، ويمكنه اختيار تضمينها. من أجل رقابة العملية، يقترض المسلسل جميع USDC المتاحة من السوق على الفور قبل العملية الإجبارية. نظرًا لعدم توفر السيولة في السوق، تُعيد العملية الإجبارية. يمكن للمُسلسل بعد ذلك سداد الـ USDC على الفور.

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

يتطلب ذلك من المتتابع أن يكون لديه ضمان كافٍ لاستدانة USDC ، لكنه يفرض فقط تكلفة استدانة صغيرة جدًا.10وبالإضافة إلى ذلك، يمكن إعادة استخدام الضمان لجميع أشكال المقاومة للرقابة، حيث لا يتم الاحتفاظ بالاقتراض مفتوحًا. نتيجة لذلك، ليس لدى مستخدم AAVE أو Compound على Optimism (أو Arbitrum أو أي تكديس متسلسل آخر بشكل مركزي) أي ضمان بأنه سيكون قادرًا على سحب الضمان أبدًا. يمكن للمتسلسل أن يراقب أي سحب من أي سوق إقراض في أي وقت. الإدراج القسري ليس كافيًا ببساطة لحماية المستخدمين من الرقابة.

العمل التكميلي

لدينا بعض مجالات البحث المتابعة.

أولاً ، يمكن تحسين EIP-7547 بسهولة من خلال طلب معالجة معاملات IL في نهاية الكتلة التالية. في سياق مزاد PBS ، المراقبة هي MEV. يستمد المنشئ قيمة غير اقتصادية معينة ، يجب عليهم تعيين قيمة ذاتية موضوعية مقاسة بالإيثر. يسبب الرقابة من قبل المنشئ زيادة في عرض الكتلة للمنشئ.11وتمتد هذه الى الباحثين، الذين قد يقومون بتقديم حزم الرقابة. وبعد ذلك يتم التقاط جزء من القيمة الاقتصادية للرقابة من قبل المقترح، مما يوفر حافزًا لتحمل الرقابة حتى عندما لا يشارك فيها مباشرة. ووضع صفقات الاستدراج الإجبارية في نهاية الكتلة يزيل قدرة بناء الكتلة على وضع بسهولة صفقات الاستدراج الإجبارية، ويزيد من التكلفة الاقتصادية للرقابة الجدلية. على سبيل المثال، قد يتطلب تقديم تفاعل AMM عبر صراع الحالة التخلي عن بعض تحكيم AMM أو تكلفة عالية لدفع السوق خارج النطاق الذي لا يمكن استرداده عن طريق إغلاق السندويتش. بالإضافة إلى ذلك، سيقوم هذا بتقييد حزم الرقابة التي ينتجها الباحثون (بدلاً من البنائين) بواحدة في كل كتلة.12سنوصي بتنفيذ أعلى مستوى من الكتلة، حيث أن البادئة أكثر أهمية من اللاحقة، ومع ذلك، سيزيد ذلك بشكل drastical من تكلفة عملية IL، حيث سيسمح بسحب MEV أعلى مستوى من الكتلة عن طريق الإدراج الإجباري.13إزالة حق الرقابة لإضافة اللاحق الذري لمعاملات IL هو تحسين طفيف.

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

ثالثًا، هناك فئة مثيرة للاهتمام من وظائف التسجيل "غير المعتمدة على الترتيب". هذه أهداف لا يمكن أن تتم تصفيتها من قبل الصراع الدولي، إما لأنها لا تصل إلى الحالة المثيرة للجدل، أو لأن الحالة المثيرة للجدل التي تصل إليها لديها قيود كافية لجعلها "موثوقة" بمعنى ما. تتضمن الإجراءات غير المعتمدة على الترتيب إرسال ETH إلى EOA، معظم عمليات إرسال ERC-20،14 وبعض تفاعلات DeFi مثل إضافة ضمانات إلى السوق. هذه الإجراءات محمية من الرقابة عن طريق الخلاف. تحتوي هذه الفئة من الأهداف أيضا على مراسلات مثيرة للاهتمام في الاتصال الآمن عبر السلسلة ومقاومة MEV وتستحق دراسة أكثر تعمقا. قد يتم تصميم التطبيقات والبروتوكولات لتشمل فقط الإجراءات المستقلة عن النظام في بعض الحالات ، ولكن هناك حاجة إلى مزيد من الدراسة.

استنتاج

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

نود أن نشكرمايك نيودر, تارون تشيترا، وبراندون كورتيسللمراجعة والتغذية المرتدة.

1

كما هو المعتاد ، يتم ذلك بالنسبة لـ L1s عن طريق رفض الكتل غير الصالحة ، في حين يتم ذلك في اللفات عن طريق إجبار التسلسلات غير الصالحة على التسلسلات الصالحة عبر وظيفة تصفية ما.

2

هذا ليس منشورا عن النوايا ، فالعالم لا يحتاج إلى المزيد منها في هذه المرحلة.

3

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

4

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

5

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

6

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

7

لقد غطينا بشكل خاص استخدام المنافسة الحالية لإلغاء المعاملات في مقالتنا لعام 2017عمال المناجم ليسوا أصدقائكفي ذلك الوقت لم يكن مصطلح 'MEV' قيد الاستخدام بعد.

8

من المعروف جيدًا أن PBS يعقد بشكل كبير مقاومة الرقابة. انظر إلى VB.@vbuterin/pbs_censorship_resistance">research note.

9

تسمى تسمية البادئة واللاحقة للمعاملة بشكل شائع "تشكيل السندويتش" ومفهومة جيدًا كوسيلة لاستخدام الصراع الحالة لاستخراج MEV.

10

يتم الاحتفاظ بالاقتراض لبضع ثوان فقط ، إذا كان ذلك. يمكن أن تحتفظ أجهزة التسلسل التراكمي في بعض الحالات بطوابع زمنية أو حدود كتلة لجعل وقت الاقتراض الفعال 0.

11

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

12

توجه إلى حقيقة أن هذا يعتمد على قواعد مزاد MEV التي تمنع تداخل المعاملات من حزم مختلفة وعدم السماح بمعاملات "يجب إلغاؤها". إذا تم تخفيف تلك القواعد للسماح بتداخل معاملات الحزمة، و / أو إذا بدأ المنشئون في دعم كتل "يجب إلغاؤها" في الحزم، فإن الحماية ستتبخر. تنشأ هذه الديناميكية لأنه إذا كانت المعاملات IL يجب أن تكون في نهاية الكتلة، فلا يجوز تداخل أي معاملات غير مجبرة، وبالتالي يمكن أن تحدث حزمة مراقبة بحث واحدة كحد أقصى.

13

السماح بشكل فعال للمُنشئ بإنشاء حُزَم بين الكتل المحدودة. أنظمة ما قبل الإجماع مثل فوسيليمكن الحد من هذا.

14

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

اخلاء المسؤوليه:

  1. تمت إعادة طبع هذه المقالة من [التكنولوجيا], جميع حقوق الطبع والنشر تنتمي إلى المؤلف الأصلي [init4]. إذا كان هناك اعتراضات على هذه الإعادة الطبع، يرجى التواصل معبوابة التعلمالفريق، وسوف يتولون التعامل معه بسرعة.
  2. تنصل المسؤولية: الآراء والآراء المعبر عنها في هذه المقالة هي تلك فقط للكاتب ولا تشكل أي نصيحة استثمارية.
  3. تتم ترجمة المقالات إلى لغات أخرى بواسطة فريق Gate Learn. ما لم يذكر غير ذلك ، فإن نسخ أو توزيع أو سرقة المقالات المترجمة ممنوعة.
ابدأ التداول الآن
اشترك وتداول لتحصل على جوائز ذهبية بقيمة
100 دولار أمريكي
و
5500 دولارًا أمريكيًا
لتجربة الإدارة المالية الذهبية!