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: Vec<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,
    PackedType<U, Tower::B128>: PackedTop<Tower> + PackedFieldIndexable + RepackedExtension<PackedType<U, Tower::B128>>,

Verifies a proof against a constraint system.