SP1 Hypercube يؤمن مليارات من قيمة TVL. لا ينبغي أن تعتمد صحة قيود RISC-V على الاختبار فقط. بالشراكة مع @SuccinctLabs و@ethereumfndn المدعومة، تحقق @NethermindSec رسميا من جميع رموز العمليات الأساسية ال 62 مقابل المواصفة الرسمية ل RISC-V Sail في لين. طرق رسمية صارمة، مطبقة على بنية إنتاج zk. مبروك على الشبكة الرئيسية