لطالما كانت ZK هي اللعبة النهائية المقترحة لتوسيع نطاق Ethereum وتتقدم بشكل أسرع مما كان متوقعا ، وتسحب الجداول الزمنية بقوة. ومع ذلك ، هناك نقص في الوضوح حول تصميم السوق عند تكريس ZK في L1. باختصار 🧵من حديثي في EthCC حول هذا الموضوع ↓

1 / من المفيد مقارنة تفويض الإثبات بمزاد PBS المألوف. كلاهما يستعين بمصادر خارجية للمهام المعقدة لأطراف خارجية ، لكن التدفقات النقدية في اتجاهين متعاكسين: يشتري البناة مساحة Blockspace قيمة يبيع Provers خدمة توليد الإثبات هذا يجعل مساءلة الوكيل أكثر صعوبة

3 / نقدم نموذجا للمشتريات مع عقوبة الحيوية. تلتقط العقوبة C الخسارة الاقتصادية من الفتحة الفائتة ، ويتم تكبدها إذا لم يتم تقديم دليل. يمكن أن يصل هذا إلى مئات ETH (وفقا لعروض الأسعار الفائزة مؤخرا في MEV-Boost @mevproposerbot)!

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

H / T @ks_kulk @_julianma @kevaundray لوظائفهم ذات الصلة: - -