Function prove_reduction_transparent 

pub fn prove_reduction_transparent<A, F, P>(
    alloc: &A,
    gamma: F,
    tables: &[TableLookup<'_, P>],
    numerators: Vec<Vec<FieldVec<P, A>>>,
    pushforwards: &[FieldSlice<'_, P>],
    channel: &mut impl IPProverChannel<F>,
) -> LogupTransparentOutput<F>
where
    A: Allocator,
    F: BinaryField<Underlier: Divisible<u64>>,
    P: PackedField<Scalar = F>,

Run the transparent-table logUp* reduction over the pre-built witnesses.

This is the prover for binius_ip::logup_star::verify_reduction_transparent, and the reduction core of prove_transparent the way prove_reduction is the core of prove. It stops before the pushforward sumcheck, returning each table’s two open claims on its Y_t.

Arguments

The arguments of prove_reduction.

Preconditions

The preconditions of prove_reduction.