1/ معظم مبروهات ZK مصممة لإنتاج براهين صحيحة. قليل منها مصمم ليكون سريعا وقابلا للتدقيق وجاهزا للإنتاج. الجزء الأول قدم إثبات الرسوم البيانية أولا. الجزء الثاني عرض الأرقام. الجزء الثالث هو خارطة الطريق لإدخال فينوس في الإنتاج. مرحبا بكم في نهاية ثلاثية zkVM. 🧵

2/ المرحلة الأولى: الأداء. نحن نبني باستخدام الرسم البياني الحاسوبي – وليس HAL – كواجهة تنفيذ أساسية منذ اليوم الأول. أظهر تكامل cudaGraph المبكر بالفعل تحسينات تتراوح بين 9–12٪ على RTX 5090. الهدف: 15٪+، مع إثبات تعدد وحدات معالجة الرسومات التالي. كل تحسين يتراكم.

3/ المرحلة 2: الأمن يمكن لنفس أداء تشغيل الرسم البياني أيضا التحقق الآلي من بروتوكول الإثبات نفسه. النقطة الأساسية: أنواع حجج ZK صغيرة وقابلة للتعداد – SumCheck يتحلل إلى اثنين فقط. ابن مكتبة موثوقة محدودة، تحقق من أي بروتوكول بشكل ميكانيكي.

4/ المرحلة 3: دمج rbuilder. بناء الكتل لا يستطيع الانتظار لاختبار بطيء. لذا نحن نبني خط أنابيب غير متزامن مع استباق واع لإعادة التنظيم وبديل أنيق عند تجاوز الإثبات. الهدف: إثبات ZK أن ذلك يتناسب مع إنتاج الكتل الحية دون إبطاءه.

5/ المرحلة 4: الاقتصاد. هل يمكن لعقدة zkEVM أن تحافظ على نفسها؟ نحن نقوم بنمذجة رسوم البراعة، وحصة MEV، والحوافز على البروتوكولات مقابل تكاليف الأجهزة والعمليات عبر 3 تكوينات لوحدات معالجة الرسوميات (من RTX 5090 واحد إلى 8x) لإيجاد نقطة التعادل. الرسم البياني أولا يفوز فقط إذا كان من الممكن تشغيله.

6/ معظم مبروهات ZK مصممة لإنتاج براهين صحيحة. البراهين الصحيحة هي الأساس. نحن نبني واحدة سريعة وقابلة للتدقيق وجاهزة للإنتاج ومستدامة للتشغيل. هذا ما يجعله الرسم البياني أولا ممكنا. اقرأ الجزء الثالث: