zkmopro / mopro

Making client-side proving on mobile simple.
https://zkmopro.org
Apache License 2.0
131 stars 35 forks source link

Halo2: Upload keys at runtime #176

Closed ElusAegis closed 4 months ago

ElusAegis commented 5 months ago

Create a Halo2State just like there is a mopro_core::middleware::circom::CircomState to allow to load keys on the fly.

Difficulties

Unlike Circom, the Halo2 prover code right now is baked in at compile time, so even if we were able to upload different keys, they still must be for the compiled circuit code, and can not be for a different circuit.

ElusAegis commented 4 months ago

Done in #214