kimchi::circuits::polynomials::foreign_field_add

Module circuitgates

Source
Expand description

Foreign field addition gate.

Structsยง

ForeignFieldAdd
Implementation of the foreign field addition gate