"اكتب Rust عاديا كما تفعل مع الواجهة الخلفية لخادم الويب ، ثم ضع منطق العمل هذا في zkVM واجعله قابلا للتحقق." - @pumatheuma ، المؤسس المشارك لشركة @SuccinctLabs باستخدام VAPs (التطبيقات التي يمكن التحقق منها) ، يمكنك الاحتفاظ بتطوير web2 ونموذج زمن الوصول (معالجة الطلبات خارج السلسلة ، والمطابقة السريعة ، والبنية التحتية الرخيصة) مع إرفاق دليل موجز على أن البرنامج يعمل بالفعل على المدخلات المعلنة واتبع قواعده. يتم التحقق من الإثبات على السلسلة (أو عند البوابة)، لذلك لا تحدث تحديثات التسوية أو الحالة إلا إذا تم سحب معرف البرنامج والمدخلات والقيود بالضبط. لا توجد إعادة تنفيذ ، ولا تشفير يدوي للدائرة ، ولا خبرة في التشفير المطلوبة - فقط رمز قياسي تم تجميعه لهدف zkVM. والنتيجة هي web2 DX مع ضمانات web3: صحة قواعد العمل وعدم التنصل منها ، وسلامة المدخلات ، والخصوصية الاختيارية (إثبات الخصائص دون الكشف عن البيانات) ، وقابلية نقل الثقة حيث يمكن التحقق من نفس الدليل في أي مكان. شاهد الحلقة الكاملة مع Uma Roy لترى كيف تجعل VAPs والإثبات في الوقت الفعلي "كتابة التعليمات البرمجية العادية ، والحصول على إمكانية التحقق" مسارا عمليا لأنظمة الإنتاج: