يعد إعلان الإثبات في الوقت الفعلي بالأمس علامة فارقة كبيرة ، ويطرح @VitalikButerin بعض النقاط الجيدة حول المزيد من العمل المطلوب. لكنني أعتقد أننا أقرب إلى كل هذه النقاط مما قد يدركه الناس ... 1. يمكن حل أسوأ الحالات للإثبات في الوقت الفعلي من خلال تغييرات بسيطة في جدول غاز Ethereum: اليوم ، يمكن إثبات ~ 94٪ من الكتل في < 12 ثانية ، ويمكن إثبات 99٪ من الكتل في < 13 ثانية. بالنسبة للقيم المتطرفة المتبقية ، يجب أن تكون التعديلات البسيطة على جدول غاز Ethereum كافية (حاليا يتم تخفيض أسعار التجميع المسبق bn254 و bls12-381 مقارنة بتكاليف الإثبات الخاصة بها). كما أن EIP الذي يحد من الحد الأقصى لاستخدام الغاز لمعاملة واحدة سيساعد في ضمان عدم وجود متجهات DDOS (نظرا لأننا نثبت الكتل الفرعية للمعاملات بالتوازي لتحقيق زمن انتقال منخفض). 2. التحقق الرسمي ل SP1 جاري بالفعل: بشكل ملائم ، تلقينا إعلانين في الأسبوع الماضي حول التحقق الرسمي ل SP1 ، والعمل مع @NethermindEth و @VeridiseInc! لدينا خط رؤية واضح للتحقق رسميا من جميع AIRs الأساسية لدينا خلال الأشهر القليلة المقبلة. 3. ليست هناك حاجة إلى إثبات في المنزل مع شبكات prover اللامركزية: في الوقت الحالي يتطلب RTP ~ 160 وحدة معالجة رسومات ، وهي صغيرة جدا لأي مركز بيانات ولكنها ربما تكون كبيرة قليلا للإعداد في المنزل. ومع ذلك ، مع الإطلاقات القادمة لشبكات prover اللامركزية ، لست متأكدا من أننا بحاجة إلى السعي إلى الإثبات في المنزل. ستحفز الشبكة اقتصاديا على أن هناك دائما مثبتين عبر الإنترنت على استعداد للإثبات في الوقت الفعلي. 4. الإثبات المتوازي للكتل الفرعية يعني أن حد الغاز 100x ليس مشكلة في زمن الوصول: أنا جميعا مع 100 ضعف حد الغاز ولن تكون هذه مشكلة بالنسبة لنا. يستخدم تنفيذ الإثبات في الوقت الفعلي نهج الكتلة الفرعية ، حيث نأخذ كتلة ونقسمها إلى كتل فرعية أصغر من عدد قليل من المعاملات. يتم إثبات هذه الكتل الفرعية بالتوازي ، ثم يتم تجميعها في دليل واحد في النهاية. حتى إذا زاد حد الغاز بمقدار 100 مرة ، فلا يزال بإمكاننا موازاة إثبات الكتل الفرعية (يوجد المزيد منها) ، مما يعني أن زمن الوصول لن يتأثر آمن بشيء حقيقي. نؤمن بالإثبات في الوقت الفعلي.
vitalik.eth
vitalik.eth‏21 مايو 2025
1. This is average case, not worst case. We need real-time worst case for safe L1 use 2. Not formally verified 3. ~100 kW to prove. Proving is a 1-of-n trust model, but even still, perhaps we want proving doable at home (~10 kW) 4. We wanna 10-100x the L1 gaslimit So, truly amazing work by @pumatheuma and team, but definitely still a few steps to the final destination.
‏‎60.69‏K