Function verify

pub fn verify<U, Tower, Hash, Compress, Challenger_>(
    constraint_system: &ConstraintSystem<<Tower as TowerFamily>::B128>,
    log_inv_rate: usize,
    security_bits: usize,
    boundaries: &[Boundary<<Tower as TowerFamily>::B128>],
    proof: Proof,
) -> Result<(), Error>
where
    U: TowerUnderlier<Tower>,
    Tower: TowerFamily,
    Tower::B128: PackedTop<Tower>,
    Hash: Digest + BlockSizeUser,
    Compress: PseudoCompressionFunction<Output<Hash>, 2> + Default + Sync,
    Challenger_: Challenger + Default,

Verifies a proof against a constraint system.