Module static_verifier 

Functions

keygen_halo2

Generate a Halo2ProvingKey (static verifier + wrapper) by running a dummy root proof through the pipeline.

keygen_static_verifier

Generate a [StaticVerifierProvingKey] from a root VK, heights, and a dummy root proof. This is the lower-level keygen without the wrapper.