8000 GitHub - petscheit/garaga-zero: Garaga for CairoZero
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

petscheit/garaga-zero

 
 

Repository files navigation

Garaga Zero

Cairo Zero version library of garaga. Made for the most efficient local proving performance.

Setup

git clone https://github.com/feltroidprime/garaga-zero.git
cd garaga-zero
make setup
source venv/bin/activate

Compile

cairo-compile tests/fustat_programs/test_mpc_bls_2.cairo --proof_mode --cairo_path 'src' --output main.json

Generate trace

cairo-run --program main.json --layout=all_cairo --proof_mode --print_info --air_public_input public.json --air_private_input private.json

Generate proof

...

About

Garaga for CairoZero

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Cairo 98.0%
  • Python 1.4%
  • Other 0.6%
0