Constraint representing a polynomial of degree 1 or 2 that does not fit into a standard UltraHonk arithmetic constraint of width 4. More...
#include <arithmetic_constraints.hpp>
Public Types | |
| using | Base = std::vector< QuadConstraint > |
Public Member Functions | |
| BigQuadConstraint (const std::vector< QuadConstraint > &fields) | |
Detailed Description
Constraint representing a polynomial of degree 1 or 2 that does not fit into a standard UltraHonk arithmetic constraint of width 4.
Each BigQuadConstraint represents an expression
\[ \sum_{i, j} c_{ij} w_i * w_j + \sum_i c_i w_i + const = 0 \]
that has been split into multiple QuadConstraint gates using w4_shift (the 4th wire of the next gate) to reduce the number of intermediate variables. See also the documentation for create_big_quad_constraint
Definition at line 37 of file arithmetic_constraints.hpp.
Member Typedef Documentation
◆ Base
| using acir_format::BigQuadConstraint::Base = std::vector<QuadConstraint> |
Definition at line 39 of file arithmetic_constraints.hpp.
Constructor & Destructor Documentation
◆ BigQuadConstraint()
|
inline |
Definition at line 43 of file arithmetic_constraints.hpp.
The documentation for this class was generated from the following file:
- src/barretenberg/dsl/acir_format/arithmetic_constraints.hpp
