House of ZK Radio #95: ستيفن دوان، المدير التقني ل ZKM، وبن سيبانسكي، مدير التقنية في Veridise - متوفر الآن على Spotify وYouTube 🔳 في هذه الحلقة نجلس مع @ProjectZKM المدير التقني @sd_eigen و@VeridiseInc @bensepanski CSO لاستكشاف التدقيق الكامل ل Ziren، ZKVM الإنتاجي من ZKM. تتناول المحادثة سبب إدخال أجهزة zkVM لمخاطر أمنية فريدة، ولماذا معظم الأخطاء الحرجة ناتجة عن الدوائر غير المقيدة، وكيف أنشأت فيريديز خط تحقق مخصص لفحص قيود زيرين رسميا - رغم أن زيرين استخدم بنية دائرة غير معتادة (MIPS32r2) وبنية دائرة تعتمد على Plonky3. يناقش ستيفن سبب اعتبار ZKM للتحقق الرسمي متطلبا أساسيا للأمان المستدام، وكيف تشكل تعقيد زيرين (طبقة المحاكاة، نظام القيود، الترجمة المسبقة) استراتيجية التحقق، وما الذي يفتحه هذا التدقيق للإصدارات المستقبلية. سبوتيفاي: يوتيوب: