arithmetic_constraints.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#pragma once
#include "acir_format.hpp"
#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_circuit_builders/mega_circuit_builder.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <vector>
 
namespace acir_format {
 
template <typename Builder> void set_zero_idx(const Builder& builder, mul_quad_<typename Builder::FF>& mul_quad);
 
template <typename Builder>
void check_mul_add_gate(Builder& builder,
                        const mul_quad_<typename Builder::FF>& mul_quad,
                        const typename Builder::FF next_wire_w4 = Builder::FF::zero());
 
template <typename Builder>
void create_quad_constraint(Builder& builder, bb::mul_quad_<typename Builder::FF>& mul_quad);
 
// clang-format off
// clang-format on
template <typename Builder>
void create_big_quad_constraint(Builder& builder, std::vector<bb::mul_quad_<typename Builder::FF>>& big_constraint);
 
} // namespace acir_format