andrewmilson/sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
RustMIT
Issues
- 0
Bad parameter leads to an infinite loop
#14 opened by pventuzelo - 0
- 0
- 0
- 0
- 3
Default ProofParams on sandstorm and Starkware Verifier expected ProofParams
#6 opened by tiagorvmartins - 3
- 1
Does this project support cairo1
#5 opened by nihaoqingtuan - 4
thread 'main' panicked at 'mismatch at xxx
#2 opened by nschoe - 1
Add goldilocks field support
#3 opened by andrewmilson