pub fn verify<G: KimchiCurve, EFqSponge: Clone + FqSponge<G::BaseField, G, G::ScalarField>, EFrSponge: FrSponge<G::ScalarField>>(
domain: EvaluationDomains<G::ScalarField>,
srs: &<OpeningProof<G> as OpenProof<G>>::SRS,
constraints: &[Expr<ConstantExpr<G::ScalarField, BerkeleyChallengeTerm>, Column>],
proof: &Proof<G>
) -> boolwhere
<G as AffineRepr>::BaseField: PrimeField,