Kami dengan senang hati mengumumkan bahwa tim Verifikasi Formal @NethermindSec, yang dipimpin oleh @PetarMax, bersama-sama dengan @SuccinctLabs, dan dengan dukungan murah hati dari @ethereumfndn, telah secara resmi memverifikasi kebenaran semua chip RV-64 inti dari SP1 HyperCube RISC-V zkVM pada tahun @leanprover. 1/