يسعدنا أن نعلن أن فريق التحقق الرسمي @NethermindSec ، بقيادة @PetarMax ، جنبا إلى جنب مع @SuccinctLabs ، وبدعم سخي من @ethereumfndn ، قد تحقق رسميا من صحة جميع رقائق RV-64 الأساسية من SP1 HyperCube RISC-V zkVM في @leanprover. 1/