Function kimchi::circuits::polynomials::foreign_field_add::witness::extend_witness_bound_addition

source · 
pub fn extend_witness_bound_addition<F: PrimeField>(
    witness: &mut [Vec<F>; 15],
    limbs: &[F; 3],
    foreign_field_modulus: &[F; 3]
)
Expand description

Create witness for bound computation addition gate