openvm_continuations::verifier::common

Function get_memory_pvs

Source 
pub fn get_memory_pvs<C: Config>(
    builder: &mut Builder<C>,
    proof: &StarkProofVariable<C>,
) -> MemoryMerklePvs<Felt<C::F>, DIGEST_SIZE>
Expand description

ยงSafety

proof.per_air.len() must be at least MERKLE_AIR_ID + 1.