Chúng tôi rất vui mừng thông báo rằng đội ngũ Xác minh Chính thức của @NethermindSec, do @PetarMax dẫn dắt, cùng với @SuccinctLabs, và với sự hỗ trợ hào phóng từ @ethereumfndn, đã chính thức xác minh tính chính xác của tất cả các chip RV-64 cốt lõi từ SP1 HyperCube RISC-V zkVM trong @leanprover. 1/