andrewmilson/sandstorm

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

语言：Rust · GitHub 星标：162 · Fork：22

话题：cairo · cairo-lang · computational-integrity · ministark · stark · starknet · zkp

在 GitHub 上查看原仓库