Expand description
Module for various circuit gates.
Structs§
- An addition gate
- A boolean gate, selectors identical to
MultiplicationGate, achieve through constraining a * a = a - A gate for conditional selection
- Adding a variable by a constant.
- A constant gate
- A mul constant gate. Multiply the first variable with the constant.
- A gate for point addition on x-coordinate between two Curve Points
- A gate for point addition on y-coordinate between two Curve Points
- A gate for checking a point conforming the twisted Edwards curve equation
- An equality gate, selectors identical to
SubtractionGate, achieve through constraining a - b = 0 - Gate for checking a value is the fifth root of another
- An I/O gate for public inputs
- A linear combination gate
- A gate for logic OR
- A gate for computing the logic OR value of 2 variables
- An UltraPlonk lookup gate
- A multiplication-then-addition gate
- A multiplication gate
- A empty gate for circuit padding
- A deg-2 polynomial gate
- A point selection gate on x-coordinate for conditional selection among 4 point candidates P0 is default neutral point, P1, P2, P3 are public constants
- A point selection gate on y-coordinate for conditional selection among 4 point candidates P0 is default neutral point, P1, P2, P3 are public constants
- A subtraction gate
Traits§
- Describes a gate with getter for all selectors configuration