bb::UltraCircuitChecker::MemoryCheckData Struct Reference

Struct for managing memory record data for ensuring RAM/ROM correctness. More...

Public Member Functions
	MemoryCheckData (const auto &builder)

Public Attributes
FF	eta = FF::random_element()
FF	eta_two = FF::random_element()
FF	eta_three = FF::random_element()
std::unordered_set< size_t >	read_record_gates
std::unordered_set< size_t >	write_record_gates

Detailed Description

Struct for managing memory record data for ensuring RAM/ROM correctness.

Definition at line 153 of file ultra_circuit_checker.hpp.

Constructor & Destructor Documentation

MemoryCheckData()

bb::UltraCircuitChecker::MemoryCheckData::MemoryCheckData ( const auto &  builder )

inline

Definition at line 162 of file ultra_circuit_checker.hpp.

Member Data Documentation

eta

FF bb::UltraCircuitChecker::MemoryCheckData::eta = FF::random_element()

Definition at line 155 of file ultra_circuit_checker.hpp.

eta_three

FF bb::UltraCircuitChecker::MemoryCheckData::eta_three = FF::random_element()

Definition at line 157 of file ultra_circuit_checker.hpp.

eta_two

FF bb::UltraCircuitChecker::MemoryCheckData::eta_two = FF::random_element()

Definition at line 156 of file ultra_circuit_checker.hpp.

read_record_gates

std::unordered_set<size_t> bb::UltraCircuitChecker::MemoryCheckData::read_record_gates

Definition at line 159 of file ultra_circuit_checker.hpp.

write_record_gates

std::unordered_set<size_t> bb::UltraCircuitChecker::MemoryCheckData::write_record_gates

Definition at line 160 of file ultra_circuit_checker.hpp.

---

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

• src/barretenberg/circuit_checker/ultra_circuit_checker.hpp