SP1 Hypercube đã bảo đảm hàng tỷ trong TVL. Độ chính xác của các ràng buộc RISC-V của nó không nên chỉ dựa vào việc kiểm tra. Hợp tác với @SuccinctLabs và được hỗ trợ bởi @ethereumfndn, @NethermindSec đã xác minh chính thức tất cả 62 mã lệnh cốt lõi theo thông số kỹ thuật RISC-V Sail chính thức trong Lean. Các phương pháp chính thức cứng, được áp dụng cho cơ sở hạ tầng zk sản xuất. Chúc mừng về mainnet