إن تفسير الفرز الخاص بالتطبيق (ASS) يجعل Defi مستدامًا

المؤلف: Yuki Yuminaga المصدر: Sorella Translation: Shan Oppa ، Vishain Vision

مقدمة

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

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

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

خلفية

يأتي مفهوم الفرز الخاص بالتطبيق (ASS) من أبحاث Matheus حول قواعد الفرز القابلة للتحقق (VSR) في التبادلات اللامركزية (DEXS).يثبت Matheus أن VSR يمكنه تحسين تنفيذ المعاملات وتخفيف MEV عن طريق تقليل تأثير عمال المناجم على فرز المعاملات.ثم قام تارون بتوسيع هذه الفلسفة لإظهار كيفية تأثير قواعد الفرز الخاصة بالتطبيق بشكل كبير على وظائف الإرجاع للمشاركين في البروتوكول مثل المستخدمين والتحققات والاحتفالات.

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

عودة غير ناجحة: يمكن أن تؤدي التغييرات الصغيرة في الفرز إلى تقلبات كبيرة في MEV.
عوائد غير متجانسة: قد تزيد التغييرات الصغيرة في الفرز أو تقلل من MEV ، لكن اتجاه التغيير غير متسق.

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

كيف يعمل فرز التطبيق المحدد؟

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

في الأنظمة الحالية:

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

على العكس من ذلك ، فإن التطبيقات القائمة على الحمار لها الخصائص التالية:

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

من خلال هذه المبادئ الأساسية ، تمكن ASS أي تطبيق على سلسلة من استعادة السيادة على تنفيذها وحالة التعاقد ، وبالتالي تحقيق التطبيق السيادي.

الحالة الفعلية: Angstrom

كمثال عملي للتطبيق السيادي ، يعد Angstrom خطافًا لـ UNISWAPv4 لحماية مقدمي السيولة من الآثار الضارة للتبادلات المركزية (CEX) والبورصات اللامركزية (DEX) ، مع حماية المعاملات أيضًا من “هجمات الميزانين”.توافق شبكة Angstrom Node و Ethereum على مجموعة المعاملات التي سيتم تنفيذها بالتوازي.العملية كما يلي:

يفوز محكمو Cex-Dex بالمعاملة الأولى التي يتم تبادلها من خلال AMM (لا توجد رسوم معالجة).
وفي الوقت نفسه ، يرسل المستخدم عمليات التبادل المجدولة إلى تجمع الذاكرة في Angstrom في شكل ترتيب حد موقّع.
تقوم شبكة Angstrom بتشغيل بروتوكول الإجماع وتشكل حزمة حيث يكون البورصة الأولى أعلى صفقة تحكيم للمزايد.يتم توزيع مبلغ العطاء على مزود السيولة الأساسي داخل نطاق التبادل.يتم تنفيذ جميع أوامر الحد الصحيح الأخرى وسيولة AMM بنفس سعر التصفية الموحد.
ثم يتم إرسال الحزمة بواسطة عقدة Angstrom المقترحة إلى Builder’s Ethereum ومجمع الذاكرة العامة.

النشاط وافتراضات الثقة

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

افتراضات النشاط

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

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

الافتراض الثقة

للتأكد من أن الفارز يتوافق مع قواعد الفرز المقررة ، يمكن للتطبيقات السيادية الاستفادة من حلول التشفير الاقتصادية (مثل POS) أو طرق التشفير (مثل TEE أو MPC).قد تختلف الأساليب المحددة بشكل كبير حسب احتياجات التطبيق ؛هناك عدد من الأدوات المتاحة لتقليل ثقة الثقة في الفارز وتلبية الأهداف الفريدة لكل تطبيق سيادي.

مقاومة المراجعة

هناك العديد من أنواع الرقابة في النظام البيئي Ethereum:

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

قال العديد من الباحثين إن Ethereum يحتاج إلى آلية أفضل لمكافحة التصور.ظهرت بعض المقترحات مثل مقترح العملات المتعددة (MCP) وقائمة التضمين القسري الشوكة (FOCIL) وتصبح محور المناقشة المستمرة.

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

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

معضلة التكلفة

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

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

مدرج في التأكيد المسبق

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

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

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

مشاركة أبحاث التطبيقات المحددة والتزامات الشركة المصنعة

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

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

توضيح الالتزام بوسائل البناء للتكوين الذري بين DAPPs ذات السيادة وغير المتصاعدة (يمين) وتطبيق مشترك توضيح لخزف خاص بالتكامل الذري بين التطبيقات السيادية (يسار)

على الرغم من أنه لا تزال هناك أسئلة حول الديناميات الاقتصادية لالتزامات البناء ، وجدوى دمج المهمة المسبقة ، والتأثيرات المحتملة من الدرجة الثانية ، نعتقد أن تحدي القابلية للتسمية سيتم معالجته بمرور الوقت.تقوم فرق مثل Astria و PriminV بالبحث بنشاط وتطوير أطر عمل محسنة مشتركة للفرز والالتزامات.مع تقدم هذه التطورات ، لن تكون القابلية للتكامل مشكلة للتطبيقات السيادية.

الحمار مع تطبيق L2 و L1 الخاص بالتطبيق

حاليًا ، يجب على DAPPs إنشاء سلاسل خاصة بالتطبيق للتحكم في فرز معاملاتها.تسمح مفاهيم مثل بناة البروتوكول (POBs) Cosmos L1 أن يكون لها المزيد من المجموعات التعبيرية التي تساعد على التقاط MEVs وإعادة تعيينها على تطبيقاتها.وبالمثل ، يمكن لخزف L2 مع VSR القيام بهذه العمليات.على الرغم من أن كلا الحللين يسمحان لتطبيقاتهما بفرز MEVs والتقاطها بشكل أكثر صبرًا ، إلا أن ASS فريدة من نوعها للميزات التالية.

تنفيذ المعاملات لا يتحمل النفقات العامة الثقة – لا يقوم ASS بتنفيذ أو تسوية المعاملات المرتبة.يتم تفويض الفرز فقط.تمتد افتراضات الثقة الأساسية من بيئات التنفيذ الأصلية مثل Ethereum أو L2 الأخرى.
احصل على السيولة وتدفق الطلب – لا يحتاج المستخدمون إلى سد.يمكن لـ DAPPs استخدام حركة المرور والسيولة مباشرة في السلسلة.
تبقى الأصول في بيئات التنفيذ الأصلية ولا يمكن تجميدها – على عكس L2 ، لا تتطلب معظم Asss من المستخدمين قفل الأموال في عقود الجسر.يوفر خيار التصميم هذا أمانًا أفضل: في حالة فشل خبير خاص بالتطبيق ، يكون الضرر المحتمل محدودًا ، لأن الفارز يمكنه فقط التحكم في المعاملات داخل الحدود التي يحددها العقد الذكي.في حين أن بعض حلول L2 تنفذ ميزات أمنية مثل مخارج الطوارئ والإدماج الإلزامي ، فغالبًا ما يصعب استخدام هذه التدابير في الممارسة العملية.بعد فقدان الاتصال بتحديث L2 ، قد يضطر المستخدمون إلى الانتظار بضعة أيام قبل تنشيط مخرج الطوارئ.وبالمثل ، فإن العلبة عبر L1 تتطلب عادة تأخير يوم واحد على الأقل.ولعل الأهم من ذلك ، تتطلب هذه التدابير الأمنية عادة خبرة فنية لا يتمتع بها معظم المستخدمين وبالتالي فهي ليست عملية للشخص العادي.
افتراض النشاط الحزيم القوي-يعتمد نشاط L2 على عقدة التنفيذ ، وعادةً ما يكون فورف رولوب ، ما لم يستند إلى الفرز.يعتمد نشاط L1 على الغالبية العظمى من العقد إعادة تنفيذ وظيفة انتقال الحالة المقابلة.يعتمد نشاط التطبيق السيادي في المقام الأول على بيئة التنفيذ الأساسية ، ويمكن للعقود الذكية تحديد الأجزاء التي تحتاج إلى الاعتماد على الخزف الخاص بالتطبيق.

التطبيقات السيادية ، جدول المقارنة القائم على L2 و L2 و L1

ختاماً

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

بالإضافة إلى ذلك ، يمكن لـ ASS الاستفادة من مجموعة من اقتصاد التشفير وأدوات التشفير لإجبار المدفوعات المثالية على مدفوعات المستخدم وتنفيذ آلية مقاطعة رقابة قوية.يمكن أن تلهم حلول التشفير الاقتصادية ، مثل Staking and Slashing ، السلوك الصادق بين sorters ، في حين أن أساليب التشفير مثل TEE و MPC يمكن أن تعزز الخصوصية والأمن.من خلال هذه الأدوات ، تتمتع ASS بإمكانية تصميم رائعة لإنشاء تطبيقات سيادية أكثر أمانًا وأكثر كفاءة تركز على المستخدم.

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

هدفنا هو جعل Defi أكثر استدامة مع الحمار واحد في وقت واحد.