succinctlabs

SP1は、RISC-Vアーキテクチャ向けにコンパイルされたプログラムの正しい実行を証明するゼロ知識仮想マシンです。