Function prove

pub fn prove<U, Tower, Hash, Compress, Challenger_, Backend>(
    constraint_system: &ConstraintSystem<<Tower as TowerFamily>::B128>,
    log_inv_rate: usize,
    security_bits: usize,
    boundaries: &[Boundary<<Tower as TowerFamily>::B128>],
    witness: MultilinearExtensionIndex<'_, PackedType<U, <Tower as TowerFamily>::B128>>,
    backend: &Backend,
) -> Result<Proof, Error>
where
    U: ProverTowerUnderlier<Tower>,
    Tower: ProverTowerFamily,
    Tower::B128: PackedTop<Tower>,
    Hash: Digest + BlockSizeUser + FixedOutputReset + Send + Sync + Clone,
    Compress: PseudoCompressionFunction<Output<Hash>, 2> + Default + Sync,
    Challenger_: Challenger + Default,
    Backend: ComputationBackend,
    PackedType<U, Tower::B128>: PackedTop<Tower> + PackedFieldIndexable + RepackedExtension<PackedType<U, Tower::B8>> + RepackedExtension<PackedType<U, Tower::B16>> + RepackedExtension<PackedType<U, Tower::B32>> + RepackedExtension<PackedType<U, Tower::B64>> + RepackedExtension<PackedType<U, Tower::B128>> + PackedTransformationFactory<PackedType<U, Tower::FastB128>>,
    PackedType<U, Tower::FastB128>: PackedTransformationFactory<PackedType<U, Tower::B128>>,

Generates a proof that a witness satisfies a constraint system with the standard FRI PCS.