logic_constraint.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: Complete, auditors: [Suyash], commit: e4712cda8def49d75fbba2d361625fc5e21945f5 }
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include <cstdint>
 
namespace acir_format {
 
using namespace bb;
 
struct LogicConstraint {
    WitnessOrConstant<fr> a;
    WitnessOrConstant<fr> b;
    uint32_t result;
    uint32_t num_bits;
    bool is_xor_gate;
 
    friend bool operator==(LogicConstraint const& lhs, LogicConstraint const& rhs) = default;
};
 
template <typename Builder>
void create_logic_gate(Builder& builder,
                       WitnessOrConstant<fr> a,
                       WitnessOrConstant<fr> b,
                       uint32_t result,
                       std::size_t num_bits,
                       bool is_xor_gate);
 
void xor_gate(UltraCircuitBuilder& builder, WitnessOrConstant<fr> a, WitnessOrConstant<fr> b, uint32_t result);
 
void and_gate(UltraCircuitBuilder& builder, WitnessOrConstant<fr> a, WitnessOrConstant<fr> b, uint32_t result);
} // namespace acir_format