オーナー · starkware-libs

starkware-libs

starkware-libs の追跡中のオープンソースリポジトリを、スター数順に表示します。

4 件のリポジトリ

#1
cairo ↗@starkware-libsRust
Cairoは、汎用計算のための証明可能なプログラムを作成するための最初のチューリング完全言語です。
★ 1,904+2直近 7 日のスター増減
#2
cairo-lang ↗@starkware-libsPython
★ 1,369+0直近 7 日のスター増減
#3
cairo-vm ↗@starkware-libsRust
cairo-vm は Cairo VM の Rust 実装です。Cairo (CPU Algebraic Intermediate Representation) は、ある当事者が別の当事者に対して、特定の計算が正しく実行されたことを、その当事者が同じプログラムを再実行することなく証明できる、証明可能なプログラムを書くためのプログラミング言語です。
★ 586+1直近 7 日のスター増減
#4
stwo ↗@starkware-libsRust
StarkWare's next gen prover
★ 502+1直近 7 日のスター増減