compute_witness_variables

kimchi::circuits::polynomials::foreign_field_mul::witness

Function compute_witness_variables 

Source 
pub(crate) fn compute_witness_variables<F: PrimeField>(
    products: &[BigUint; 3],
    remainder: &[BigUint; 3],
) -> [F; 5]