axiom-crypto / halo2-lib

Monorepo of halo2 crates
MIT License
236 stars 145 forks source link

chore: add utility traits to aid in proving key generation #227

Closed jonathanpwang closed 9 months ago

jonathanpwang commented 9 months ago

Adds KeygenCircuitIntent trait to be implemented on a minimum circuit configuration struct to produce a dummy circuit that can be used for keygen_vk, keygen_pk to get the proving key corresponding to that configuration.