sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
157 stars
7 watching
21 forks
Language: Rust
last commit: 7 months ago
Linked from 1 awesome list
cairocairo-langcomputational-integrityministarkstarkstarknetzkp