HerodotusDev/cairo0-verifier-playground
1
0
Fork 0
mirror of https://github.com/HerodotusDev/cairo0-verifier-playground.git synced 2026-05-22 13:16:29 +00:00
Code Issues Projects Releases Packages Wiki Activity
No description
4 commits 1 branch 0 tags 1.2 MiB
  • Cairo 98.5%
  • Python 1.2%
  • Starlark 0.3%
Find a file
Exact
Marcello Bardus 1ce0530889 reproduction
2023-12-04 10:41:24 +00:00
src reproduction 2023-12-04 10:41:24 +00:00
.gitignore compiling 2023-11-23 17:02:08 +00:00
fibonacci.json breaking down the parser 2023-12-04 10:10:54 +00:00
proof_with_annotations.json compiling 2023-11-23 17:02:08 +00:00
README.md compiling 2023-11-23 17:02:08 +00:00
requirements.txt initial commit 2023-11-20 18:35:03 +00:00
setup.sh breaking down the parser 2023-12-04 10:10:54 +00:00

README.md

Compiling the verifier

cairo-compile src/main.cairo --output verifier.compiled.json This can take a while, the output file is 11GB. The sha256 hash computed with: shasum -a 256 verifier_compiled.json Should be: 62c970167286141be3975d149069cacb1a28f61539557d39f4e8da7a29700d77

Running the verifier

cairo-run --program=verifier_compiled.json --layout=recursive --program_input=verifier_from_cairo_lang.input.json --print_output Running the verifier can take long. On a Macbook Pro M2 MAX it took 50minutes.

Missing files

If you are missing some files pls ask Marcello