Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <logic_constraint.hpp>
Public Member Functions | |
MSGPACK_FIELDS (a, b, result, num_bits, is_xor_gate) | |
Public Attributes | |
WitnessOrConstant< bb::fr > | a |
WitnessOrConstant< bb::fr > | b |
uint32_t | result |
uint32_t | num_bits |
uint32_t | is_xor_gate |
Friends | |
bool | operator== (LogicConstraint const &lhs, LogicConstraint const &rhs)=default |
Definition at line 17 of file logic_constraint.hpp.
acir_format::LogicConstraint::MSGPACK_FIELDS | ( | a | , |
b | , | ||
result | , | ||
num_bits | , | ||
is_xor_gate | |||
) |
|
friend |
WitnessOrConstant<bb::fr> acir_format::LogicConstraint::a |
Definition at line 18 of file logic_constraint.hpp.
WitnessOrConstant<bb::fr> acir_format::LogicConstraint::b |
Definition at line 19 of file logic_constraint.hpp.
uint32_t acir_format::LogicConstraint::is_xor_gate |
Definition at line 22 of file logic_constraint.hpp.
uint32_t acir_format::LogicConstraint::num_bits |
Definition at line 21 of file logic_constraint.hpp.
uint32_t acir_format::LogicConstraint::result |
Definition at line 20 of file logic_constraint.hpp.