Expand description
This module obtains the gates of a foreign field addition circuit.
Constants§
- GATE_
COUNT - Number of gates in this gadget
Functions§
- circuit_
gate_ constraint_ count - Number of constraints for a given foreign field mul circuit gate type
- circuit_
gate_ constraints - Get combined constraints for a given foreign field multiplication circuit gate
- circuit_
gate_ selector_ index - circuit_
gates - Get vector of foreign field multiplication circuit gate types
- combined_
constraints - Get the combined constraints for all foreign field multiplication circuit gates
- lookup_
table - Get the foreign field multiplication lookup table