kimchi::circuits::polynomials::foreign_field_add

Module gadget

Source
Expand description

This module obtains the gates of a foreign field addition circuit.