succinctlabs

SP1 是一個零知識虛擬機器，用於證明針對 RISC-V 架構編譯之程式的正確執行。