pub fn verify_batch<C: Config>(
builder: &mut Builder<C>,
commit: &DigestVariable<C>,
dimensions: Array<C, DimensionsVariable<C>>,
index_bits: Array<C, Var<C::N>>,
opened_values: &NestedOpenedValues<C>,
proof: &Array<C, DigestVariable<C>>,
)
Expand description
Verifies a batch opening.
Assumes the dimensions have already been sorted by tallest first.
Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/merkle-tree/src/mmcs.rs#L92