Function prove

pub fn prove<U, Tower, FBase, Digest, DomainFactory, Hash, Compress, Challenger_, Backend>(
    constraint_system: &ConstraintSystem<PackedType<U, Tower::B128>, PackedType<U, FBase>>,
    log_inv_rate: usize,
    security_bits: usize,
    witness: MultilinearExtensionIndex<'_, U, Tower::B128>,
    domain_factory: DomainFactory,
    backend: &Backend,
) -> Result<Proof<Tower::B128, Digest, Hash, Compress>, Error>
where
    U: TowerUnderlier<Tower> + PackScalar<FBase>,
    Tower: TowerFamily,
    Tower::B128: PackedTop<Tower> + ExtensionField<FBase>,
    FBase: TowerField + ExtensionField<Tower::B8>,
    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,
    Backend: ComputationBackend,
    PackedType<U, Tower::B128>: PackedTop<Tower> + PackedFieldIndexable + RepackedExtension<PackedType<U, Tower::B128>>,
    PackedType<U, FBase>: PackedFieldIndexable + PackedExtension<Tower::B8, PackedSubfield: PackedFieldIndexable>,

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