smt_circuit::SelectorType Struct Reference

#include <ultra_circuit.hpp>

Static Public Attributes
static const size_t	q_m = 0
static const size_t	q_1 = 1
static const size_t	q_2 = 2
static const size_t	q_3 = 3
static const size_t	q_4 = 4
static const size_t	q_c = 5
static const size_t	q_arith = 6
static const size_t	q_delta_range = 7
static const size_t	q_elliptic = 8
static const size_t	q_memory = 9
static const size_t	q_nnf = 10
static const size_t	q_lookup = 11
static const size_t	curve_b = 12

Detailed Description

Definition at line 20 of file ultra_circuit.hpp.

Member Data Documentation

curve_b

const size_t smt_circuit::SelectorType::curve_b = 12

static

Definition at line 33 of file ultra_circuit.hpp.

q_1

const size_t smt_circuit::SelectorType::q_1 = 1

static

Definition at line 22 of file ultra_circuit.hpp.

q_2

const size_t smt_circuit::SelectorType::q_2 = 2

static

Definition at line 23 of file ultra_circuit.hpp.

q_3

const size_t smt_circuit::SelectorType::q_3 = 3

static

Definition at line 24 of file ultra_circuit.hpp.

q_4

const size_t smt_circuit::SelectorType::q_4 = 4

static

Definition at line 25 of file ultra_circuit.hpp.

q_arith

const size_t smt_circuit::SelectorType::q_arith = 6

static

Definition at line 27 of file ultra_circuit.hpp.

q_c

const size_t smt_circuit::SelectorType::q_c = 5

static

Definition at line 26 of file ultra_circuit.hpp.

q_delta_range

const size_t smt_circuit::SelectorType::q_delta_range = 7

static

Definition at line 28 of file ultra_circuit.hpp.

q_elliptic

const size_t smt_circuit::SelectorType::q_elliptic = 8

static

Definition at line 29 of file ultra_circuit.hpp.

q_lookup

const size_t smt_circuit::SelectorType::q_lookup = 11

static

Definition at line 32 of file ultra_circuit.hpp.

q_m

const size_t smt_circuit::SelectorType::q_m = 0

static

Definition at line 21 of file ultra_circuit.hpp.

q_memory

const size_t smt_circuit::SelectorType::q_memory = 9

static

Definition at line 30 of file ultra_circuit.hpp.

q_nnf

const size_t smt_circuit::SelectorType::q_nnf = 10

static

Definition at line 31 of file ultra_circuit.hpp.

---

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

• src/barretenberg/smt_verification/circuit/ultra_circuit.hpp