succinctlabs/sp1
@succinctlabsSP1は、RISC-Vアーキテクチャ向けにコンパイルされたプログラムの正しい実行を証明するゼロ知識仮想マシンです。
スター
1,734
フォーク
691
言語
Rust
ライセンス
Apache-2.0
最終プッシュ
7 日前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。