Function prove

pub fn prove<U, Tower, DomainFactory, Hash, Compress, Challenger_, Backend>(
    constraint_system: &ConstraintSystem<<Tower as TowerFamily>::B128>,
    log_inv_rate: usize,
    security_bits: usize,
    witness: MultilinearExtensionIndex<'_, U, <Tower as TowerFamily>::B128>,
    domain_factory: DomainFactory,
    backend: &Backend,
) -> Result<Proof, Error>
where
    U: ProverTowerUnderlier<Tower>,
    Tower: ProverTowerFamily,
    Tower::B128: PackedTop<Tower>,
    DomainFactory: EvaluationDomainFactory<<Tower as TowerFamily>::B8>,
    Hash: Digest + BlockSizeUser + FixedOutputReset,
    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>: PackedFieldIndexable + PackedTransformationFactory<PackedType<U, Tower::B128>>,
    PackedType<U, Tower::B8>: PackedFieldIndexable + PackedExtension<<Tower as TowerFamily>::B8, PackedSubfield: PackedFieldIndexable>,
    PackedType<U, Tower::B16>: PackedFieldIndexable + PackedExtension<<Tower as TowerFamily>::B8, PackedSubfield: PackedFieldIndexable>,
    PackedType<U, Tower::B32>: PackedFieldIndexable + PackedExtension<<Tower as TowerFamily>::B8, PackedSubfield: PackedFieldIndexable>,
    PackedType<U, Tower::B64>: PackedFieldIndexable + PackedExtension<<Tower as TowerFamily>::B8, PackedSubfield: PackedFieldIndexable>,

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