نحن نبني zkVM قائم على الرسوم البيانية فوق نظام @ziskvm. هدفنا: إعادة التفكير في بنية النماذج من المبادئ الأساسية لفتح أداء أفضل، وقابلية حمل، وأمان أفضل. 🧵

إثبات ZKP يدخل عصر "السرعة أولا". تقريبا كل الموسعات الآن تدعم تسريع وحدة معالجة الرسومات (مثل CUDA، Metal، إلخ). لكن البنية المعمارية وراء تفريغ الأجهزة مهمة بقدر أهمية الأجهزة الخام.

هناك نهجان رئيسيان اليوم: - وضع HAL: نفس استدعاءات الوظائف، وخلفيات أجهزة مختلفة. - وضع الرسم البياني: ترميز عملية الإثبات بأكملها كرسم بياني حسابي، ثم تحسين وتجميع كل منصة.

الانقسام واضح: - أنظمة الذكاء الاصطناعي → وضع الرسم البياني - معظم أجهزة إثبات ZKP → وضع HAL (لأسباب تاريخية تعتمد على المعالج أولا) HAL مريح، لكنه يخفي البنية العالمية للحوسبة.

يجعل وضع الرسم البياني النموذج الكامل صريحا وقابلا للفحص، مما يتيح تحسينا أعمق، وتنفيذ عبر المنصات، وتعزيز الأمان والتدقيق. في المنشور القادم، سنشارك كيف يشكل هذا التصميم جهاز zkVM القائم على الرسوم البيانية وما الذي يفتحه. ⚡️