search

zkmopro / mopro

Making client-side proving on mobile simple.
Apache License 2.0
102 stars 28 forks source link

(fix)build: Enable changing Halo2 Circuits #169

Closed ElusAegis closed 1 week ago

ElusAegis commented 1 week ago

PR to fix an issue of being unable to switch between two different Halo2 circuits.

  1. mopro-core/build.rs: remove the old code to create .cargo/config.toml from the build script because the changes to .cargo/config.toml must be made before the cargo build is invoked.
  2. scripts/.../build_ios.sh: introduced the code to create/update .cargo/config.toml to be early enough

Future Work:

Update other platform build scripts.