logic_constraint.hpp File Reference

#include "barretenberg/dsl/acir_format/witness_constant.hpp"
#include "barretenberg/serialize/msgpack.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders_fwd.hpp"
#include <cstdint>

Go to the source code of this file.

Classes
struct	acir_format::LogicConstraint

Namespaces
namespace	acir_format

Functions
template<typename Builder >
void	acir_format::create_logic_gate (Builder &builder, WitnessOrConstant< bb::fr > a, WitnessOrConstant< bb::fr > b, uint32_t result, std::size_t num_bits, bool is_xor_gate)
void	acir_format::xor_gate (Builder &builder, WitnessOrConstant< bb::fr > a, WitnessOrConstant< bb::fr > b, uint32_t result)
void	acir_format::and_gate (Builder &builder, WitnessOrConstant< bb::fr > a, WitnessOrConstant< bb::fr > b, uint32_t result)