openvm_sdk::verifier::common

Function assert_or_assign_memory_pvs

Source 
pub fn assert_or_assign_memory_pvs<C: Config>(
    builder: &mut Builder<C>,
    dst: &MemoryMerklePvs<Felt<C::F>, DIGEST_SIZE>,
    proof_idx: RVar<C::N>,
    proof_pvs: &MemoryMerklePvs<Felt<C::F>, DIGEST_SIZE>,
)