كان التقدم الذي أحرزته @SuccinctLabs و @RiscZero نحو الإثبات في الوقت الفعلي مثيرا للإعجاب للغاية. QT-ing لا تكون حاسمة ولكن لأنني أعتقد أن هذه الأسئلة مثيرة للاهتمام حقا (وأود أن أرى RTP ضرب Ethereum!). 1. إثبات جميع كتل Ethereum التاريخية في غضون 12 ثانية لا يكفي لتغطية وقت prover في أسوأ الحالات. هذا مهم لأن هناك كتل مرضية محتملة ("قاتل أمثل") حيث إثبات التكلفة >> تكلفة الغاز (إثبات التكلفة هو مقياس زمن الوصول أو $). الخطوة الأولى هي إثبات جميع الكتل التاريخية في غضون 12 ثانية. لكن هذا لا يكفي. نحن بحاجة إلى العمل على تحديد الحالات المرضية التي لم تظهر على Ethereum بعد. لست متأكدا من جدول التكلفة ل SP1 ، ولكن شيئا مثل كتلة كاملة مليئة ب extcodehash قد يكون مكلفا من حيث زمن الانتقال. 2. يحتاج التحقق الرسمي أيضا إلى تغطية المترجم 😱 كان @argumentxyz مقالا جيدا حول تكرار العثور على أخطاء المترجم (tl; DR هناك فئة معينة من "أخطاء التحسين الخاطئ" التي يمكن استغلالها في zkVMs لإنشاء مشكلات في السلامة. تم العثور على هذه الحشرات بشكل متكرر إلى حد ما. جادل @drakefjustin بأنه يمكننا التغلب على هذا من خلال العديد من تطبيقات zkVM. ولكن هذا لا ينجح إذا كانت zkVMs تشترك في نفس سلسلة أدوات المحول البرمجي وكانت عرضة لنفس الأخطاء. 3. ليست هناك حاجة إلى إثبات في المنزل أعتقد أنني أوافق على أن الإثبات في المنزل ليس ضروريا. نحن نعتمد بالفعل على الجهات الفاعلة الإضافية مثل البناة لبناء الكتل. الضمان الذي نريده هو أن * شخص ما * متاح دائما لإنشاء البراهين. يبدو تأجيل RTP لسيناريو WW3 حيث يذهب جميع المثبتين في وضع عدم الاتصال بالإنترنت مبالغة. ربما في هذا السيناريو ، يمكن أن تعود Ethereum افتراضيا إلى الوضع الذي ينخفض فيه حد الغاز ويتم إعادة تنفيذ الكتل بدلا من التحقق من ذلك باستخدام ZKPs. 4. 100 ضعف حد الغاز يمكن أن يخلق مشاكل يساعد الإثبات المتوازي بالتأكيد ، لكن التوقيت ضيق للغاية لدرجة أننا نحتاج إلى التفكير في إنشاء الشهود (غير المتوازي في العديد من zkVMs) والعودية. يجب أن يتوسع التكرار الزائد لوغاريتميا ، ولكن إذا زاد حد الغاز بمقدار 100 مرة ، فقد تتجاوز أوقات الإثبات أوقات الكتلة. المكافأة - أود أن أزعم أنه من المهم حقا أن تقلل Ethereum من أوقات الحظر والوقت حتى النهاية ، من أجل مساعدة المستخدمين على متن الطائرة في L2s ، والجسر من CEXs ، وما إلى ذلك. هذا يزيد من متطلبات زمن الوصول عند الإثبات. سيكون دون المستوى الأمثل إذا لم نتمكن من الانتقال إلى مرات كتلة 1 ثانية لأن الحد الأدنى في زمن انتقال RTP في أسوأ الحالات هو 10 ثوان.