Module gadget
kimchi
0.1.0
In kimchi::
circuits::
polynomials::
foreign_
field_
add
kimchi
::
circuits
::
polynomials
::
foreign_field_add
Module
gadget
Copy item path
Source
Expand description
This module obtains the gates of a foreign field addition circuit.