Module kimchi::circuits::polynomials::foreign_field_mul

source ·
Expand description

Foreign field multiplication module

Modules

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