openvm_sdk::verifier::common

Function get_program_commit

Source
pub fn get_program_commit<C: Config>(
    builder: &mut Builder<C>,
    proof: &StarkProofVariable<C>,
) -> [Felt<C::F>; 8]