Function sp1_recursion_program::utils::hash_vkey

source ยท 
pub fn hash_vkey<C: Config>(
    builder: &mut Builder<C>,
    vk: &VerifyingKeyVariable<C>,
) -> Array<C, Felt<C::F>>
Expand description

Hash the verifying key + prep domains into a single digest. poseidon2( commit[0..8] || pc_start || prep_domains[N].{log_n, .size, .shift, .g})