smt_circuit::WireType Struct Reference

#include <ultra_circuit.hpp>

Static Public Attributes
static const size_t	w_l = 0
static const size_t	w_r = 1
static const size_t	w_o = 2
static const size_t	w_4 = 3
static const size_t	w_l_shift = 4
static const size_t	w_r_shift = 5
static const size_t	w_o_shift = 6
static const size_t	w_4_shift = 7

Detailed Description

Definition at line 36 of file ultra_circuit.hpp.

Member Data Documentation

w_4

const size_t smt_circuit::WireType::w_4 = 3

static

Definition at line 40 of file ultra_circuit.hpp.

w_4_shift

const size_t smt_circuit::WireType::w_4_shift = 7

static

Definition at line 44 of file ultra_circuit.hpp.

w_l

const size_t smt_circuit::WireType::w_l = 0

static

Definition at line 37 of file ultra_circuit.hpp.

w_l_shift

const size_t smt_circuit::WireType::w_l_shift = 4

static

Definition at line 41 of file ultra_circuit.hpp.

w_o

const size_t smt_circuit::WireType::w_o = 2

static

Definition at line 39 of file ultra_circuit.hpp.

w_o_shift

const size_t smt_circuit::WireType::w_o_shift = 6

static

Definition at line 43 of file ultra_circuit.hpp.

w_r

const size_t smt_circuit::WireType::w_r = 1

static

Definition at line 38 of file ultra_circuit.hpp.

w_r_shift

const size_t smt_circuit::WireType::w_r_shift = 5

static

Definition at line 42 of file ultra_circuit.hpp.

---

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

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