إثبات الأسئلة والأجوبة في الوقت الحقيقي :) ما هذا؟ إلي 12. ج: قام جيش من المهووسين بحل مشكلة خيال علمي: إثبات كل كتلة شبكة Ethereum الرئيسية في الوقت الفعلي. تعد براهين zk هذه أرخص بشكل كبير في التحقق من إعادة تنفيذ المعاملات - فقط بضعة أجزاء من الثانية ، بغض النظر عن الغاز المستخدم. كتل Thicc ، مدققون صغار. اللامركزية maxis تفرح. ألم يثبت الوقت الحقيقي أنه من المستحيل حسابات القمر؟ ج: كان كذلك. قبل خمس سنوات كنا على بعد خمسة مراتب من حيث الحجم. لكن التكنولوجيا استمرت في التراكم 10 أضعاف في السنة ، والآن نحن هنا. لا تتلاشى الأسس. أيضا ، على الأسية: → لا تتلاشى أجهزة الكمبيوتر الكمومية التي تكسر ECDSA → لا تتلاشى النصف مما يكسر أمان البيتكوين كيف تصبح Ethereum L1 "مجموعة أساسية وأصلية"؟ ج: دعنا نقسمها. → تستند: L1 المقترحون يطلبون المعاملات. Ethereum L1 هي الطبقة الأساسية - وهي قائمة على أساس توتوجيولوجيا. → الأصلي: ينفذ L1 المعاملات عبر وظيفة انتقال حالة EVM المكرسة. بحكم التعريف ، Ethereum L1 أصلي. سيكون دائما. القيمة المحتسبة →: تحتوي القيمة المحتسبة على بيانات على السلسلة وتنفيذ خارج السلسلة. من خلال مزخرفة كتل EVM للشبكة الرئيسية ، يتحول Ethereum L1 إلى مجموعة zk. القوائم تفتح حدودا كبيرة للغاز. القاعدة بالفعل عند 35 ميغاس/ثانية - 20x Ethereum L1. تهدف القاعدة إلى 1 جيجاجاس/ثانية، ويمكن أن تصل Ethereum L1 إلى هناك أيضا. ون جيجاجاس L1؟ ج: سيتم تخصيص مكالمة Ethproofs # 3 ل gigagas L1 - قم بالاستماع. مع EIP-9698 يقترح Dankrad ~ 3x / سنة مطبات الغاز ، أو ~ 10x كل 2 سنوات. هذا 1,000 مرة في 6 سنوات. محترمة - لكنها لا تزال أرقام مبتدئة. رأيي المتفائل؟ الآن بعد أن تطابقت zkVMs مع أداء EVM، يمكن لحدود الغاز تتبع تحسينات zkVM. إذا واصلنا الوصول إلى 10x / سنة ، فهذا يعني 1 جيجا / ثانية في 3 سنوات. لقد عملت مع Dankrad لأكثر من عقد من الزمان - عادة ما يقع الواقع بين حذره وهوبيومي. أليست zkVM عربات التي تجرها الدواب؟ ماذا عن التحقق الرسمي؟ ج: التحقق الرسمي هو نهاية اللعبة - وليس الخطوة الأولى. الاستراتيجية قصيرة المدى: تنوع zkVM. بحلول نهاية الربع الثاني ، ستصل حفنة من zkVMs إلى الإثبات في الوقت الفعلي. تماما مثل عملاء CL و EL ، يفترض أن أي عميل فردي عربات التي تجرها الدواب. يأتي الأمن من التنوع. هل يمكن أن يثبت زمن الوصول المنخفض التوسع إلى gigagas؟ ج: نعم. إثبات SNARK متوازي إلى حد كبير. فقط التنفيذ الأولي ل x86 والتقسيم هو التسلسلي. يقترح EIP-7825 الحد الأقصى لكمية الغاز المستخدمة لكل معاملة. هذا يسمح بسهولة التقسيم عند حدود المعاملات. مقاييس التوازي. يظل زمن الوصول منخفضا. ما هو عنق الزجاجة التالي في zkVM؟ قوة. تعني الحيوية الموثوقة 1 من n prover أن إثبات المنزل يجب أن يكون في متناول المتحمسين. قد يكون الهدف المعقول 10 كيلو واط أو أقل لكل مجموعة اختبار. كيف ننمو حد الغاز 1,000 مرة بميزانية 10 كيلو واط؟ → البرمجيات: أنظمة الإثبات ، الدوائر ، الطحالب تستمر في التفاقم → الأجهزة: قانون مور + SNARK ASICs → إثبات موزع: نشر العبء بلا ثقة