Selector values read from a gate. More...

#include <gate_patterns.hpp>

Public Attributes
int64_t	gate_selector = 0

bool	q_m_nz = false

bool	q_1_nz = false

bool	q_2_nz = false

bool	q_3_nz = false

bool	q_4_nz = false

bool	q_c_nz = false

Detailed Description

Selector values read from a gate.

Each block type only activates one relation, so we don't need to check which relation is active. We just need the selector values to determine which wires are constrained within that relation.

Definition at line 38 of file gate_patterns.hpp.

Member Data Documentation

◆ gate_selector

int64_t bb::gate_patterns::Selectors::gate_selector = 0

Definition at line 40 of file gate_patterns.hpp.

◆ q_1_nz

bool bb::gate_patterns::Selectors::q_1_nz = false

Definition at line 44 of file gate_patterns.hpp.

◆ q_2_nz

bool bb::gate_patterns::Selectors::q_2_nz = false

Definition at line 45 of file gate_patterns.hpp.

◆ q_3_nz

bool bb::gate_patterns::Selectors::q_3_nz = false

Definition at line 46 of file gate_patterns.hpp.

◆ q_4_nz

bool bb::gate_patterns::Selectors::q_4_nz = false

Definition at line 47 of file gate_patterns.hpp.

◆ q_c_nz

bool bb::gate_patterns::Selectors::q_c_nz = false

Definition at line 48 of file gate_patterns.hpp.

◆ q_m_nz

bool bb::gate_patterns::Selectors::q_m_nz = false

Definition at line 43 of file gate_patterns.hpp.

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

src/barretenberg/boomerang_value_detection/gate_patterns.hpp

Public Attributes