هل هو صعب؟ نعم حشرات السلامة لدينا مدمرة؟ نعم هل نحن أقرب مما تعتقد؟ نعم من اليوم الأول ، نعم في نفس اليوم الذي أصدرنا فيه نظام الإثبات الخاص بنا ، @RiscZero بدأت العملية الطويلة للتحقق رسميا من zkVM الخاص بنا. أطلقنا مؤخرا "Picus" الذي يثبت رياضيا الحتمية في دوائرنا أثناء CI! هذا هو سبب 96٪ من أخطاء السلامة في أنظمة ZK (لكل ZK-Security). يظهر هذا الجهد بالإضافة إلى المزيد الذي نعمل عليه ، أنه يمكننا الوصول إلى RISC-V zkVM صوت يمكن إثباته بشكل أسرع مما تعتقد.