search

keep-starknet-strange / raito

Bitcoin ZK client written in Cairo.
https://raito.wtf
MIT License
40 stars 34 forks source link

Cairo1-run compatibility #264

Closed m-kus closed 2 weeks ago

m-kus commented 2 weeks ago

This PR:

  1. Introduces new scarb profile cairo1-run which configures cairo compiler in a special way
  2. Sets integration testing entrypoint as main (we don't use main anyways) because cairo1-run cannot run arbitrary functions
  3. Updates scripts accordingly
  4. Misc: makes gas metering more accurate

How to use:

cargo install --git https://github.com/lambdaclass/cairo-vm cairo1-run
scarb --profile cairo1-run build
python scripts/data/format_args.py --input_file packages/client/tests/data/light_169.json --cairo1_run > args.json
cairo1-run --args_file args.json --layout all_cairo target/cairo1-run/client.sierra.json
vercel[bot] commented 2 weeks ago

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
raito ✅ Ready (Inspect) Visit Preview 💬 Add feedback Oct 14, 2024 11:36pm