Barretenberg
The ZK-SNARK library at the core of Aztec
|
cycle_node represents the idx of a value of the circuit. It will belong to a CyclicPermutation, such that all nodes in a CyclicPermutation must have the value. The total number of constraints is always <2^32 since that is the type used to represent variables, so we can save space by using a type smaller than size_t. More...
#include <permutation_lib.hpp>
Public Attributes | |
uint32_t | wire_idx |
uint32_t | gate_idx |
cycle_node represents the idx of a value of the circuit. It will belong to a CyclicPermutation, such that all nodes in a CyclicPermutation must have the value. The total number of constraints is always <2^32 since that is the type used to represent variables, so we can save space by using a type smaller than size_t.
Definition at line 41 of file permutation_lib.hpp.
uint32_t bb::cycle_node::gate_idx |
Definition at line 43 of file permutation_lib.hpp.
uint32_t bb::cycle_node::wire_idx |
Definition at line 42 of file permutation_lib.hpp.