sandstorm

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

GitHub

157 stars
7 watching
21 forks
Language: Rust
last commit: 7 months ago
Linked from 1 awesome list

cairocairo-langcomputational-integrityministarkstarkstarknetzkp

Backlinks from these awesome lists: