Giters
starkware-libs
/
stone-prover
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
239
Watchers:
10
Issues:
20
Forks:
69
starkware-libs/stone-prover Issues
cpu_air_prover: command not found
Closed
20 days ago
Comments count
2
Can't build docker image on M1 macbook
Updated
23 days ago
Comments count
20
Whether the proof generated by stone-prover can be verified in stark_test.py in the starkware-libs/cairo-lang repo?
Closed
24 days ago
Comments count
1
Can't build docker image on M1 macbook #1
Closed
24 days ago
Can't Compile from Command-Line or VSCode
Closed
24 days ago
Comments count
2
Build on macOS and aarch64 issue
Closed
24 days ago
Comments count
2
Can't run example
Closed
24 days ago
Comments count
1
Proof Parameters: FRI step list
Updated
2 months ago
Comments count
5
Replace example from Cairo 0 with Cairo1
Closed
2 months ago
Comments count
1
Request for Turkish Translation of README
Updated
2 months ago
Update Cairo 1 example to use input variables?
Updated
3 months ago
Can't find `fibonacci.cairo`?
Closed
3 months ago
Most of end to end tests fail in Docker
Closed
10 months ago
Comments count
1
Prove non-CairoZero programs
Closed
10 months ago
Comments count
1
Proving in zero-knowledge (private inputs)
Closed
10 months ago
Comments count
3
OOM Optimisation Configs
Closed
10 months ago
Comments count
1
cpu_air_prover has a hidden assumption about trace and memory
Closed
10 months ago
Comments count
1
Verifying proof authenticity with regards to program
Closed
10 months ago
Comments count
5
Does this support the current Cairo version?
Closed
10 months ago
Comments count
2
Prover breaks when using arbitrary programs
Closed
a year ago
Comments count
1