Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
bb::RamRecord Struct Reference

A RAM memory record that can be ordered, first by index, then by timestamp. More...

#include <rom_ram_logic.hpp>

Public Types

enum  AccessType { READ , WRITE }
 

Public Member Functions

bool operator< (const RamRecord &other) const
 
bool operator== (const RamRecord &other) const noexcept
 

Public Attributes

uint32_t index_witness = 0
 
uint32_t timestamp_witness = 0
 
uint32_t value_witness = 0
 
uint32_t index = 0
 
uint32_t timestamp = 0
 
AccessType access_type = AccessType::READ
 
uint32_t record_witness = 0
 
size_t gate_index = 0
 

Detailed Description

A RAM memory record that can be ordered, first by index, then by timestamp.

Note
In distinction to a RomRecord, this also contains an access_type member, which records if the memory operation is a READ or WRITE.
timestamp (resp. timestamp_witness) will not be constrained to "increase by one". In particular, from the perspective of the constraint system, we could skip timestamps. The consecutive differences of the timestamp_witness fields in the sorted records will be constrained to be no greater than the final access_count.

Definition at line 47 of file rom_ram_logic.hpp.

Member Enumeration Documentation

◆ AccessType

enum bb::RamRecord::AccessType
Enumerator
READ 
WRITE 

Definition at line 48 of file rom_ram_logic.hpp.

Member Function Documentation

◆ operator<()

bool bb::RamRecord::operator< ( const RamRecord &  other) const
inline

Definition at line 60 of file rom_ram_logic.hpp.

◆ operator==()

bool bb::RamRecord::operator== ( const RamRecord &  other) const
inlinenoexcept

Definition at line 65 of file rom_ram_logic.hpp.

Member Data Documentation

◆ access_type

AccessType bb::RamRecord::access_type = AccessType::READ

Definition at line 57 of file rom_ram_logic.hpp.

◆ gate_index

size_t bb::RamRecord::gate_index = 0

Definition at line 59 of file rom_ram_logic.hpp.

◆ index

uint32_t bb::RamRecord::index = 0

Definition at line 55 of file rom_ram_logic.hpp.

◆ index_witness

uint32_t bb::RamRecord::index_witness = 0

Definition at line 52 of file rom_ram_logic.hpp.

◆ record_witness

uint32_t bb::RamRecord::record_witness = 0

Definition at line 58 of file rom_ram_logic.hpp.

◆ timestamp

uint32_t bb::RamRecord::timestamp = 0

Definition at line 56 of file rom_ram_logic.hpp.

◆ timestamp_witness

uint32_t bb::RamRecord::timestamp_witness = 0

Definition at line 53 of file rom_ram_logic.hpp.

◆ value_witness

uint32_t bb::RamRecord::value_witness = 0

Definition at line 54 of file rom_ram_logic.hpp.

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