Function kimchi::circuits::polynomials::foreign_field_add::witness::create_chain

pub fn create_chain<F: PrimeField>(
    inputs: &Vec<BigUint>,
    opcodes: &[FFOps],
    modulus: BigUint
) -> [Vec<F>; 15]

Creates a FFAdd witness (including ForeignFieldAdd rows, and one final ForeignFieldAdd row for bound) inputs: list of all inputs to the chain of additions/subtractions opcode: true for addition, false for subtraction modulus: modulus of the foreign field