يعد إعلان الإثبات في الوقت الفعلي بالأمس علامة فارقة كبيرة ، ويطرح @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. هذه حالة متوسطة وليست أسوأ حالة. نحتاج إلى أسوأ حالة في الوقت الفعلي للاستخدام الآمن ل L1 2. لم يتم التحقق منه رسميا 3. ~ 100 كيلو واط لإثبات. الإثبات هو نموذج ثقة 1 من n ، ولكن مع ذلك ، ربما نريد إثبات أنه قابل للتنفيذ في المنزل (~ 10 كيلو واط) 4. نريد 10-100x من L1 gaslimit لذا ، فإن العمل المذهل حقا من قبل @pumatheuma والفريق ، ولكن بالتأكيد لا يزال هناك خطوات قليلة إلى الوجهة النهائية.
‏‎60.71‏K