Module kimchi::circuits::polynomials::foreign_field_add::witness

source ·
Expand description

This module computes the witness of a foreign field addition circuit.

Enums

  • FFOps
    All foreign field operations allowed

Functions

  • create_chain
    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
  • extend_witness_bound_addition
    Create witness for bound computation addition gate