issues
search
andrewmilson
/
sandstorm
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
MIT License
156
stars
21
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bad parameter leads to an infinite loop
#14
pventuzelo
opened
3 months ago
0
Maintenance Fixes
#13
neotheprogramist
opened
6 months ago
2
Can I submit Sandstorm proofs to the Cairo verifier?
#12
Retamogordo
opened
9 months ago
0
Poseidon hashing
#11
neotheprogramist
opened
10 months ago
0
Generating memory and trace for the Bootloader
#10
MauroToscano
opened
10 months ago
0
Proof compatibility between Stone verifier and Sandstorm
#9
MauroToscano
opened
10 months ago
0
Replicate proof compatibility with Starknet Cairo verifier
#8
MauroToscano
opened
10 months ago
0
Fix examples + Update deps + M1 troubleshoot
#7
tarrencev
closed
11 months ago
0
Default ProofParams on sandstorm and Starkware Verifier expected ProofParams
#6
tiagorvmartins
opened
1 year ago
3
Does this project support cairo1
#5
nihaoqingtuan
closed
1 year ago
1
unresolved import `ministark::TraceInfo`
#4
tiagorvmartins
closed
1 year ago
3
Add goldilocks field support
#3
andrewmilson
closed
1 year ago
1
thread 'main' panicked at 'mismatch at xxx
#2
nschoe
closed
1 year ago
4
[wip] Darude mods
#1
liamzebedee
opened
1 year ago
1