Module kimchi::circuits::polynomials::foreign_field_add::gadget

source ·
Expand description

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