تقديم R0VM 2.0. تم تصميم zkVM لعصر الوقت الفعلي.
7 / السرعة لا تعني شيئا بدون أمان. مع @veridiseInc، نجعل التحقق الرسمي جزءا أساسيا من R0VM. لقد أثبتنا حتى الآن أن 122 مكونا من أصل 123 مكونا لوظائف RISC-V الأساسية في دائرة v2 الخاصة بنا حتمية.
RISC Zero
RISC Zero‏22 مارس 2025
يقوم RISC Zero ببناء أول RISC-V zkVM تم التحقق منه رسميا. باستخدام أداة Picus من @VeridiseInc ، نثبت رياضيا الحتمية في دوائرنا. هدفنا: zkVM سريع بشكل لا يصدق وآمن بشكل يمكن إثباته ، لذلك لا يضطر المطورون أبدا إلى تقديم تنازلات.
‏‎437.15‏K