pub type CommitmentWithOpeningPoints<Challenge, Commitment, Domain> = (Commitment, Vec<(Domain, Vec<(Challenge, Vec<Challenge>)>)>);Expand description
A joint commitment to a collection of matrices and their opening at a collection of points.
This is the shape Pcs::verify checks an opening argument against, so it is also what
any code building that argument produces.