Expand description
Module for various circuit gates.
Structs§
- Addition
Gate - An addition gate
- Bool
Gate - A boolean gate, selectors identical to
MultiplicationGate, achieve through constraining a * a = a - Cond
Select Gate - A gate for conditional selection
- Constant
Addition Gate - Adding a variable by a constant.
- Constant
Gate - A constant gate
- Constant
Multiplication Gate - A mul constant gate. Multiply the first variable with the constant.
- Curve
PointX Addition Gate - A gate for point addition on x-coordinate between two Curve Points
- Curve
PointY Addition Gate - A gate for point addition on y-coordinate between two Curve Points
- Edwards
Curve Equation Gate - A gate for checking a point conforming the twisted Edwards curve equation
- Equality
Gate - An equality gate, selectors identical to
SubtractionGate, achieve through constraining a - b = 0 - Fifth
Root Gate - Gate for checking a value is the fifth root of another
- IoGate
- An I/O gate for public inputs
- LinComb
Gate - A linear combination gate
- Logic
OrGate - A gate for logic OR
- Logic
OrOutput Gate - A gate for computing the logic OR value of 2 variables
- Lookup
Gate - An UltraPlonk lookup gate
- MulAdd
Gate - A multiplication-then-addition gate
- Multiplication
Gate - A multiplication gate
- Padding
Gate - A empty gate for circuit padding
- Quad
Poly Gate - A deg-2 polynomial gate
- Quaternary
Point SelectX 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
- Quaternary
Point SelectY Gate - 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
- Subtraction
Gate - A subtraction gate
Traits§
- Gate
- Describes a gate with getter for all selectors configuration