1 / احذر من الضجيج: بينما تظهر SNARKs و zkVMs وعدا هائلا ، إلا أنها ليست جاهزة لعمليات النشر المعقدة وعالية المخاطر. الأخطاء موجودة في كل مكان ، والتحقق الرسمي ناشئ ، ويمكن أن تكون البراهين أبطأ بمئات الآلاف من المرات من التنفيذ الأصلي.

2 / لقد نشرت للتو منشورا يحدد خارطة طريق منظمة لتطوير zkVM. إنه يفصل "مراحل الأمان" عن "مراحل السرعة" ، مما يمنحنا طريقة شفافة لتتبع التقدم. اقرأها هنا:

3 / فيما يتعلق بالأمن ، أحدد ثلاث مراحل للتحقق الرسمي: • البروتوكولات التي تم التحقق منها • المدققين الذين تم التحقق منهم • مثبتون تم التحقق منهم حتى نصل إلى المرحلة 2 ، لا يمكننا حقا تسمية zkVM بأنه "آمن" - ولا يزال من المحتمل أن يكون الوصول إلى هناك عدة سنوات.

4/ فيما يتعلق بالأداء ، لا تزال النفقات العامة مقابل التنفيذ الأصلي تتجاوز 100,000× - وهو أمر غير مبتدئ لمعظم حالات الاستخدام. تقترح رسالتي خمس "مراحل أداء" لخفض هذه النفقات العامة بأوامر من حيث الحجم وتمكين البراهين على الجهاز في النهاية.

5 / بشكل حاسم ، يجب علينا عزل الكفاءة الأساسية لنظام الإثبات. في الوقت الحالي ، تجمع العديد من المعايير كل شيء - نظام الإثبات ، والهندسة ، وتعزيزات الأجهزة ، والتجميع المسبق المضبوطة يدويا - في رقم سطر علوي واحد ، مما يحجب مكاننا حقا.

6 / لذا نعم ، تتمتع zkVMs و SNARKs بإمكانيات هائلة ، لكننا نغازل الكارثة إذا تظاهرنا بأنها جاهزة لوقت الذروة. سأستخدم هذه المراحل لتتبع تقدم zkVM في السنوات القادمة - وآمل أن يفعل الآخرون ذلك أيضا. تحقق من رسالتي هنا: