arithmetic_constraints.hpp File Reference

#include "barretenberg/common/assert.hpp"
#include "barretenberg/honk/execution_trace/gate_data.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include "barretenberg/stdlib/primitives/witness/witness.hpp"
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <vector>

Go to the source code of this file.

Classes
class	acir_format::BigQuadConstraint
	Constraint representing a polynomial of degree 1 or 2 that does not fit into a standard UltraHonk arithmetic constraint of width 4. More...

Namespaces
namespace	acir_format

Typedefs
using	acir_format::QuadConstraint = mul_quad_< bb::fr >
	Standard UltraHonk arithmetic constraint of width 4.

Functions
template<typename Builder >
void	acir_format::set_zero_idx (const Builder &builder, QuadConstraint &mul_quad)
	Replace indices which are set to IS_CONSTANT with the zero index of the builder.
template<typename Builder >
void	acir_format::check_mul_add_gate (Builder &builder, const QuadConstraint &mul_quad, const typename Builder::FF next_wire_w4=Builder::FF::zero())
	Check if a mul add gate is valid.
template<typename Builder >
void	acir_format::create_quad_constraint (Builder &builder, QuadConstraint &mul_quad)
	Create a simple width-4 Ultra arithmetic gate constraint representing the equation.
template<typename Builder >
void	acir_format::create_big_quad_constraint (Builder &builder, BigQuadConstraint &big_constraint)