arithmetic_constraints.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Federico], commit: 2094fd1467dd9a94803b2c5007cf60ac357aa7d2 }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#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>
 
namespace acir_format {
 
using namespace bb;
using namespace bb::stdlib;
 
using QuadConstraint = mul_quad_<bb::fr>;
 
class BigQuadConstraint : public std::vector<QuadConstraint> {
  public:
    using Base = std::vector<QuadConstraint>;
    using Base::Base; // Inherit all constructors from std::vector
 
    // Explicitly define vector copy constructor (not inherited by default)
    BigQuadConstraint(const std::vector<QuadConstraint>& fields)
        : Base(fields)
    {}
};
 
template <typename Builder> void set_zero_idx(const Builder& builder, QuadConstraint& mul_quad);
 
template <typename Builder>
void check_mul_add_gate(Builder& builder,
                        const QuadConstraint& mul_quad,
                        const typename Builder::FF next_wire_w4 = Builder::FF::zero());
 
template <typename Builder> void create_quad_constraint(Builder& builder, QuadConstraint& mul_quad);
 
// clang-format off
// clang-format on
template <typename Builder> void create_big_quad_constraint(Builder& builder, BigQuadConstraint& big_constraint);
 
} // namespace acir_format