Function verify

pub fn verify<U, Tower, Digest, DomainFactory, Hash, Compress, Challenger_>(
    constraint_system: &ConstraintSystem<<Tower as TowerFamily>::B128>,
    log_inv_rate: usize,
    security_bits: usize,
    domain_factory: DomainFactory,
    proof: Proof,
) -> Result<(), Error>
where
    U: TowerUnderlier<Tower>,
    Tower: TowerFamily,
    Tower::B128: PackedTop<Tower>,
    DomainFactory: EvaluationDomainFactory<Tower::B8>,
    Digest: PackedField<Scalar: TowerField>,
    Hash: Hasher<Tower::B128, Digest = Digest> + Send + Sync,
    Compress: PseudoCompressionFunction<Digest, 2> + Default + Sync,
    Challenger_: Challenger + Default,
    PackedType<U, Tower::B128>: PackedTop<Tower> + PackedFieldIndexable + RepackedExtension<PackedType<U, Tower::B128>>,

Verifies a proof against a constraint system.