يقوم RISC Zero ببناء أول RISC-V zkVM تم التحقق منه رسميا. باستخدام أداة Picus من @VeridiseInc ، نثبت رياضيا الحتمية في دوائرنا. هدفنا: zkVM سريع بشكل لا يصدق وآمن بشكل يمكن إثباته ، لذلك لا يضطر المطورون أبدا إلى تقديم تنازلات.