kimchi::circuits::polynomials::foreign_field_mul::circuitgates

Function compute_native_modulus_values

Source 
pub fn compute_native_modulus_values<F: PrimeField, T: ExprOps<F, BerkeleyChallengeTerm>>(
    left_input: &[T; 3],
    right_input: &[T; 3],
    quotient: &[T; 3],
    remainder: &[T; 2],
    neg_foreign_field_modulus: &[T; 3],
) -> [T; 5]