Мы рады сообщить, что команда Формальной Верификации @NethermindSec, возглавляемая @PetarMax, совместно с @SuccinctLabs и при щедрой поддержке @ethereumfndn, официально подтвердила правильность всех основных чипов RV-64 из SP1 HyperCube RISC-V zkVM в @leanprover. 1/