|
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.