Succinct luôn đặt sự an toàn lên hàng đầu. Trong sự hợp tác với @NethermindSec và @EthereumFndn, chúng tôi đã chính thức xác minh tính chính xác của các ràng buộc RISC-V cho SP1 Hypercube.

4/ Trong sáu tháng qua, chúng tôi đã chuẩn bị Hypercube cho sản xuất một cách cẩn thận. Để tối đa hóa tính bảo mật, chúng tôi đã yêu cầu Nethermind xác minh chính thức Hypercube. Chúng tôi cũng đã nhận được một khoản tài trợ một phần từ Quỹ Ethereum cho nỗ lực này.

5/ Xác minh hình thức là một đảm bảo toán học rằng các mạch của Hypercube hoạt động chính xác như đã chỉ định. Nethermind là một nhà lãnh đạo trong các phương pháp hình thức này và bảo mật ZK.

6/ Hypercube hiện là zkVM đầu tiên có các ràng buộc opcode được xác minh chính thức. Đây cũng là lần đầu tiên mà thông số kỹ thuật RISC-V chính thức được sử dụng trong việc xác minh chính thức của một hệ thống như vậy.