Function sp1_recursion_circuit::mmcs::verify_batch

source ยท 
pub fn verify_batch<C: Config, const D: usize>(
    builder: &mut Builder<C>,
    commit: OuterDigestVariable<C>,
    dimensions: Vec<Dimensions>,
    index_bits: Vec<Var<C::N>>,
    opened_values: Vec<Vec<Vec<Felt<C::F>>>>,
    proof: Vec<OuterDigestVariable<C>>,
)