pub type CommitmentWithOpeningPoints<Challenge, Commitment, Domain> = (Commitment, Vec<(Domain, Vec<(Challenge, Vec<Challenge>)>)>);
A joint commitment to a collection of matrices and their opening at a collection of points.