كيف تستخدم ZK و VDF لتحقيق فكرة "mempool الخصوصية"؟

تعتمد معظم أجهزة التسلسل L2 الحالية بشكل أساسي طريقة طلب المعاملات "الوارد أولاً يصرف أولاً" (FIFS) لحماية المستخدمين من MEV ، ولكن هذا أيضًا يضعف قيمة الكتل.

ومن خلال حل Blockspace المقسم هذا ، يمكننا الحصول على مخلب سمكة ودب.

العملية المحددة هي: يستخدم المستخدم "لغز الوقت" لتشفير معاملته ، وفي نفس الوقت يحسب "zk proof" لإثبات أن لغز الوقت "له حل" ، ثم يستخدم "لغز الوقت" و "إثبات Zk" المقابل وإرساله إلى "Sequencer".

بعد أن يتلقى جهاز التسلسل "المعاملة المشفرة":

1. تحقق مما إذا كان "إثبات zk" صحيحًا. إذا ثبت أنه صحيح ، فهذا يعني أنه يمكن حل "لغز الوقت" هذا بعد فترة من الحساب ؛
2. ضعها في "Top Blockspace" وأعطِ "Order Committee" في المربع الذي توجد فيه المعاملة ؛
3. سيحسب Sequencer "لغز الوقت" لفترة من الوقت ، وأخيراً يأتي بالإجابة ؛
4. بعد الحصول على الإجابة ، يمكن لجهاز التسلسل فك تشفير "المعاملة المشفرة" للمستخدم والحصول على بيانات "المعاملة الأصلية" ؛
5. بعد أن يملأ جهاز التسلسل "Top Blockspace" ، فإنه يرمي "الكتلة شبه النهائية" التي تحتوي فقط "Top Blockspace" على معاملات لبث شبكة L2 p2p ؛
6. بعد أن يتلقى برنامج MEV Searcher "الكتلة شبه النهائية" ، يمكنه إنشاء "حزمة المعاملات" المربحة الخاصة به وفقًا لترتيب المعاملات في "Top Blockspace" ؛
7. يرسل برنامج MEV Searcher "حزمة المعاملات" و "العطاء" إلى L2 Block Builder ؛
8. في هذا الوقت ، تلقى المنشئ "الكتلة شبه النهائية" ، وسيقوم بوضع "حزمة التداول" من "أعلى عرض" في "Botton Blockspace" ؛
9. أخيرًا ، يحتاج المنشئ إلى المرور بعملية L2 Mev Boost ، وسيقبل Sequencer "الكتلة الأعلى قيمة" مع "Top Blockspace" المخصص لها.

! [scale70] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-430469c41e-dd1a6f-7649e1)

لخص

من خلال تقسيم "Blockspace" إلى جزأين ، يمكن حماية معاملات المستخدم في "Top Blockspace" ، ويمكن لـ Mev Searcher الانتقال إلى "مساحة الكتلة السفلية" معًا ، مما يحمي معاملات المستخدم من أن تكون مضرًا ، ويمكن لـ Sequencer زيادة "الكتلة" دخل". ومع ذلك ، فإن هذا الحل يدفع تكاليف حسابية إضافية ، ويرجع ذلك أساسًا إلى حاجة المستخدمين إلى حساب "zk proof" لألغاز الوقت الخاصة بهم ويحتاج جهاز التسلسل إلى حل "ألغاز الوقت" التي يوفرها كل مستخدم.

يمكننا إجراء مقارنة مع إستراتيجية Arbitrum السابقة لتصنيف المعاملات التي تسمح لـ Mev Searcher بالحصول على أعلى أولوية 0.5 ثانية من خلال العطاءات الأعلى. بالمقارنة مع المخطط المقترح في هذه الورقة ، تتميز طريقة Arbitrum بما يلي:

1. حفظ موارد الحوسبة.
2. لا يمكن لبحث MEV رؤية المعاملات في الكتلة (Private Mempool) ؛
3. ستظل معاملة المستخدم في قائمة الانتظار.

أخيرًا ، بالمناسبة: سبب "zk proof" هو منع مُسلسِل التسجيل من التعرض لهجوم DDOS.