kimchi::circuits::polynomials

Module foreign_field_mul

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