keygen_static_verifier

openvm_sdk::keygen::static_verifier

Function keygen_static_verifier 

Source 
pub fn keygen_static_verifier(
    params: &Halo2Params,
    shape: StaticVerifierShape,
    internal_recursive_vk: &MultiStarkVerifyingKey<SC>,
    root_vk: &MultiStarkVerifyingKey<RootSC>,
    dummy_root_proof: &Proof<RootSC>,
) -> StaticVerifierProvingKey
Expand description

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