starkware-libs stone-prover issues

starkware-libs / stone-prover

Apache License 2.0

260 stars 76 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Can't prove program that uses `add_mod` builtin using the `all_cairo` layout

#38 mellowcroc opened 1 month ago
0
docs: Update link to CRYPTOGAMS license

#37 Oemerbeck opened 1 month ago
0
Enable building on ARM and MacOS

#36 Groxan opened 2 months ago
0
Pin sympy to 1.12.1

#35 steebchen opened 2 months ago
0
Add script to publish images to ghcr

#34 steebchen closed 2 months ago
0
Cairo1-compile working on bumped corelib

#33 piotr-stec closed 3 months ago
0
Fix spelling issues

#32 nnsW3 opened 3 months ago
0
Specify the SymPy version in the Dockerfile

#31 jaehunkim opened 3 months ago
0
cpu_air_prover: command not found

#30 HiteshMittal07 closed 3 months ago
2
Add script to automate the configuration of the fri steps

#29 FilipLaurentiu opened 4 months ago
0
Remove `.json` file extension from `trace` and `memory` file

#28 FilipLaurentiu closed 3 months ago
1
fix fibonacci cairo

#27 Lawliet-Chan closed 3 months ago
1
Info to checkout specific cairo-vm commit

#26 microbecode closed 3 months ago
2
Request for Turkish Translation of README

#25 Rumeyst opened 5 months ago
0
Update Cairo 1 example to use input variables?

#24 delaaxe opened 5 months ago
1
[refactor] Enhance Developer Experience

#23 neotheprogramist closed 5 months ago
0
Can't run example

#22 DylanVerstraete closed 3 months ago
1
Fix build

#21 delaaxe closed 5 months ago
0
Can't find `fibonacci.cairo`?

#20 delaaxe closed 5 months ago
0
Instructions for creating and verifying a proof of a Cairo program

#19 LandauRaz closed 6 months ago
0
chore: fix typos

#18 xiaoxianBoy closed 3 months ago
1
Replace example from Cairo 0 with Cairo1

#17 L0GYKAL closed 5 months ago
1
feat(stone-prover): fixing native build issues on macOS and arm64

#16 hel-kame closed 3 months ago
1
Build on macOS and aarch64 issue

#15 hel-kame closed 3 months ago
2
Can't Compile from Command-Line or VSCode

#14 aszepieniec closed 3 months ago
2
Whether the proof generated by stone-prover can be verified in stark_test.py in the starkware-libs/cairo-lang repo?

#13 abel-byte closed 3 months ago
1
Can't build docker image on M1 macbook #1

#12 Subbitoooo closed 3 months ago
0
Most of end to end tests fail in Docker

#11 Retamogordo closed 1 year ago
1
Prove non-CairoZero programs

#10 raphaelDkhn closed 1 year ago
1
cpu_air_prover has a hidden assumption about trace and memory

#9 maoudia-via closed 1 year ago
1
Proving in zero-knowledge (private inputs)

#8 amusgrave-via closed 1 year ago
3
Verifying proof authenticity with regards to program

#7 maoudia-via closed 1 year ago
5
OOM Optimisation Configs

#6 maxharrison00 closed 1 year ago
1
Prover breaks when using arbitrary programs

#5 entropidelic closed 1 year ago
1
Proof Parameters: FRI step list

#4 maxharrison00 opened 1 year ago
5
Does this support the current Cairo version?

#3 jonZlotnik closed 1 year ago
2
chore(boundary air test): fix typo

#2 0xLucqs closed 1 year ago
0
Can't build docker image on M1 macbook

#1 delaaxe opened 1 year ago
21