Succinctのゼロ知識バーチャルマシンSP1 Hypercubeがメインネットで正式にローンチされました

Foresight Newsによると、ZK証明ソフトウェアのSuccinctは、zkVM（ゼロ知識仮想マシン）SP1 Hypercubeがメインネットで正式にローンチされたことを発表しました。SP1 Hypercubeは、全62個のRISC-Vオペコードの形式的検証を完了したzkVMです。SP1を利用することで、開発者はRustなどの言語を使って通常のコードを書き、証明可能なプログラムを作成することができます。