bb::CircuitSchemaInternal< FF > Struct Template Reference

Serialized state of a circuit. More...

#include <circuit_builder_base.hpp>

Public Member Functions
	MSGPACK_FIELDS (modulus, public_inps, vars_of_interest, variables, selectors, wires, real_variable_index, lookup_tables, real_variable_tags, range_tags, rom_records, rom_states, ram_records, ram_states, circuit_finalized)

Public Attributes
std::string	modulus
std::vector< uint32_t >	public_inps
std::unordered_map< uint32_t, std::string >	vars_of_interest
std::vector< FF >	variables
std::vector< std::vector< std::vector< FF > > >	selectors
std::vector< std::vector< std::vector< uint32_t > > >	wires
std::vector< uint32_t >	real_variable_index
std::vector< std::vector< std::vector< FF > > >	lookup_tables
std::vector< uint32_t >	real_variable_tags
std::unordered_map< uint32_t, uint64_t >	range_tags
std::vector< std::vector< std::vector< uint32_t > > >	rom_records
std::vector< std::vector< std::array< uint32_t, 2 > > >	rom_states
std::vector< std::vector< std::vector< uint32_t > > >	ram_records
std::vector< std::vector< uint32_t > >	ram_states
bool	circuit_finalized

Detailed Description

template<typename FF>
struct bb::CircuitSchemaInternal< FF >

Serialized state of a circuit.

Used to transfer the state of the circuit to Symbolic Circuit class. Symbolic circuit is then used to produce SMT statements that describe needed properties of the circuit.

Parameters

modulus	Modulus of the field we are working with
public_inps	Public inputs to the current circuit
vars_of_interest	Map wires indices to their given names
variables	List of wires values in the current circuit
selectors	List of selectors in the current circuit
wires	List of wires indices for each selector
real_variable_index	Encoded copy constraints
lookup_tables	List of lookup tables
real_variable_tag	Variables' tags for range constraints
range_lists	Existing range lists

Definition at line 264 of file circuit_builder_base.hpp.

Member Function Documentation

MSGPACK_FIELDS()

template<typename FF >

bb::CircuitSchemaInternal< FF >::MSGPACK_FIELDS	(	modulus	,
		public_inps	,
		vars_of_interest	,
		variables	,
		selectors	,
		wires	,
		real_variable_index	,
		lookup_tables	,
		real_variable_tags	,
		range_tags	,
		rom_records	,
		rom_states	,
		ram_records	,
		ram_states	,
		circuit_finalized
	)

Member Data Documentation

circuit_finalized

template<typename FF >

bool bb::CircuitSchemaInternal< FF >::circuit_finalized

Definition at line 279 of file circuit_builder_base.hpp.

lookup_tables

template<typename FF >

std::vector<std::vector<std::vector<FF> > > bb::CircuitSchemaInternal< FF >::lookup_tables

Definition at line 272 of file circuit_builder_base.hpp.

modulus

template<typename FF >

std::string bb::CircuitSchemaInternal< FF >::modulus

Definition at line 265 of file circuit_builder_base.hpp.

public_inps

template<typename FF >

std::vector<uint32_t> bb::CircuitSchemaInternal< FF >::public_inps

Definition at line 266 of file circuit_builder_base.hpp.

ram_records

template<typename FF >

std::vector<std::vector<std::vector<uint32_t> > > bb::CircuitSchemaInternal< FF >::ram_records

Definition at line 277 of file circuit_builder_base.hpp.

ram_states

template<typename FF >

std::vector<std::vector<uint32_t> > bb::CircuitSchemaInternal< FF >::ram_states

Definition at line 278 of file circuit_builder_base.hpp.

range_tags

template<typename FF >

std::unordered_map<uint32_t, uint64_t> bb::CircuitSchemaInternal< FF >::range_tags

Definition at line 274 of file circuit_builder_base.hpp.

real_variable_index

template<typename FF >

std::vector<uint32_t> bb::CircuitSchemaInternal< FF >::real_variable_index

Definition at line 271 of file circuit_builder_base.hpp.

real_variable_tags

template<typename FF >

std::vector<uint32_t> bb::CircuitSchemaInternal< FF >::real_variable_tags

Definition at line 273 of file circuit_builder_base.hpp.

rom_records

template<typename FF >

std::vector<std::vector<std::vector<uint32_t> > > bb::CircuitSchemaInternal< FF >::rom_records

Definition at line 275 of file circuit_builder_base.hpp.

rom_states

template<typename FF >

std::vector<std::vector<std::array<uint32_t, 2> > > bb::CircuitSchemaInternal< FF >::rom_states

Definition at line 276 of file circuit_builder_base.hpp.

selectors

template<typename FF >

std::vector<std::vector<std::vector<FF> > > bb::CircuitSchemaInternal< FF >::selectors

Definition at line 269 of file circuit_builder_base.hpp.

variables

template<typename FF >

std::vector<FF> bb::CircuitSchemaInternal< FF >::variables

Definition at line 268 of file circuit_builder_base.hpp.

vars_of_interest

template<typename FF >

std::unordered_map<uint32_t, std::string> bb::CircuitSchemaInternal< FF >::vars_of_interest

Definition at line 267 of file circuit_builder_base.hpp.

wires

template<typename FF >

std::vector<std::vector<std::vector<uint32_t> > > bb::CircuitSchemaInternal< FF >::wires

Definition at line 270 of file circuit_builder_base.hpp.

---

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

• src/barretenberg/stdlib_circuit_builders/circuit_builder_base.hpp