cycle_node represents the index 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_index

uint32_t	gate_index

Detailed Description

cycle_node represents the index 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.

The documentation for this struct was generated from the following file:

src/barretenberg/proof_system/composer/permutation_lib.hpp

Public Attributes

Detailed Description