Module kimchi::circuits::polynomials::foreign_field_add

source ·
Expand description

Foreign Field Addition module

Modules

  • circuitgates
    Foreign field addition gate.
  • gadget
    This module obtains the gates of a foreign field addition circuit.
  • witness
    This module computes the witness of a foreign field addition circuit.