Module kimchi::circuits::polynomials::foreign_field_mul::gadget

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