Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::simulation::WrittenPublicDataSlotsInterface Class Referenceabstract

#include <written_public_data_slots_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::WrittenPublicDataSlotsInterface:
bb::avm2::simulation::WrittenPublicDataSlotsTreeCheckInterface bb::avm2::simulation::MockWrittenPublicDataSlotsTreeCheck bb::avm2::simulation::WrittenPublicDataSlotsTreeCheck

Public Member Functions

virtual ~WrittenPublicDataSlotsInterface ()=default
 
virtual bool contains (const AztecAddress &contract_address, const FF &slot)=0
 
virtual void insert (const AztecAddress &contract_address, const FF &slot)=0
 
virtual uint32_t size () const =0
 
virtual void create_checkpoint ()=0
 
virtual void commit_checkpoint ()=0
 
virtual void revert_checkpoint ()=0
 

Detailed Description

Definition at line 16 of file written_public_data_slots_tree_check.hpp.

Constructor & Destructor Documentation

◆ ~WrittenPublicDataSlotsInterface()

virtual bb::avm2::simulation::WrittenPublicDataSlotsInterface::~WrittenPublicDataSlotsInterface ( )
virtualdefault

Member Function Documentation

◆ commit_checkpoint()

virtual void bb::avm2::simulation::WrittenPublicDataSlotsInterface::commit_checkpoint ( )
pure virtual

◆ contains()

virtual bool bb::avm2::simulation::WrittenPublicDataSlotsInterface::contains ( const AztecAddress contract_address,
const FF slot 
)
pure virtual

◆ create_checkpoint()

virtual void bb::avm2::simulation::WrittenPublicDataSlotsInterface::create_checkpoint ( )
pure virtual

◆ insert()

virtual void bb::avm2::simulation::WrittenPublicDataSlotsInterface::insert ( const AztecAddress contract_address,
const FF slot 
)
pure virtual

◆ revert_checkpoint()

virtual void bb::avm2::simulation::WrittenPublicDataSlotsInterface::revert_checkpoint ( )
pure virtual

◆ size()

virtual uint32_t bb::avm2::simulation::WrittenPublicDataSlotsInterface::size ( ) const
pure virtual

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