Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | Private Member Functions | Private Attributes | List of all members
bb::avm2::simulation::NullifierTreeCheck Class Reference

#include <nullifier_tree_check.hpp>

Inheritance diagram for bb::avm2::simulation::NullifierTreeCheck:
bb::avm2::simulation::NullifierTreeCheckInterface bb::avm2::simulation::CheckpointNotifiable

Public Member Functions

 NullifierTreeCheck (Poseidon2Interface &poseidon2, MerkleCheckInterface &merkle_check, FieldGreaterThanInterface &field_gt, EventEmitterInterface< NullifierTreeCheckEvent > &event_emitter)
 
void assert_read (const FF &nullifier, std::optional< AztecAddress > contract_address, bool exists, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot) override
 
AppendOnlyTreeSnapshot write (const FF &nullifier, std::optional< AztecAddress > contract_address, uint64_t nullifier_counter, const NullifierTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::optional< std::span< const FF > > insertion_sibling_path) override
 
void on_checkpoint_created () override
 
void on_checkpoint_committed () override
 
void on_checkpoint_reverted () override
 
- Public Member Functions inherited from bb::avm2::simulation::NullifierTreeCheckInterface
virtual ~NullifierTreeCheckInterface ()=default
 
- Public Member Functions inherited from bb::avm2::simulation::CheckpointNotifiable
virtual ~CheckpointNotifiable ()=default
 

Private Member Functions

FF silo_nullifier (const FF &nullifier, AztecAddress contract_address)
 
void validate_low_leaf (const FF &nullifier, const NullifierTreeLeafPreimage &low_leaf_preimage, bool exists)
 

Private Attributes

EventEmitterInterface< NullifierTreeCheckEvent > & events
 
Poseidon2Interface & poseidon2
 
MerkleCheckInterface & merkle_check
 
FieldGreaterThanInterface & field_gt
 

Detailed Description

Definition at line 13 of file nullifier_tree_check.hpp.

Constructor & Destructor Documentation

◆ NullifierTreeCheck()

bb::avm2::simulation::NullifierTreeCheck::NullifierTreeCheck ( Poseidon2Interface &  poseidon2,
MerkleCheckInterface &  merkle_check,
FieldGreaterThanInterface &  field_gt,
EventEmitterInterface< NullifierTreeCheckEvent > &  event_emitter 
)
inline

Definition at line 15 of file nullifier_tree_check.hpp.

Member Function Documentation

◆ assert_read()

void bb::avm2::simulation::NullifierTreeCheck::assert_read ( const FF &  nullifier,
std::optional< AztecAddress >  contract_address,
bool  exists,
const NullifierTreeLeafPreimage &  low_leaf_preimage,
uint64_t  low_leaf_index,
std::span< const FF >  sibling_path,
const AppendOnlyTreeSnapshot &  snapshot 
)
overridevirtual

Implements bb::avm2::simulation::NullifierTreeCheckInterface.

Definition at line 35 of file nullifier_tree_check.cpp.

◆ on_checkpoint_committed()

void bb::avm2::simulation::NullifierTreeCheck::on_checkpoint_committed ( )
overridevirtual

Implements bb::avm2::simulation::CheckpointNotifiable.

Definition at line 146 of file nullifier_tree_check.cpp.

◆ on_checkpoint_created()

void bb::avm2::simulation::NullifierTreeCheck::on_checkpoint_created ( )
overridevirtual

Implements bb::avm2::simulation::CheckpointNotifiable.

Definition at line 141 of file nullifier_tree_check.cpp.

◆ on_checkpoint_reverted()

void bb::avm2::simulation::NullifierTreeCheck::on_checkpoint_reverted ( )
overridevirtual

Implements bb::avm2::simulation::CheckpointNotifiable.

Definition at line 151 of file nullifier_tree_check.cpp.

◆ silo_nullifier()

FF bb::avm2::simulation::NullifierTreeCheck::silo_nullifier ( const FF &  nullifier,
AztecAddress  contract_address 
)
private

Definition at line 8 of file nullifier_tree_check.cpp.

◆ validate_low_leaf()

void bb::avm2::simulation::NullifierTreeCheck::validate_low_leaf ( const FF &  nullifier,
const NullifierTreeLeafPreimage &  low_leaf_preimage,
bool  exists 
)
private

Definition at line 13 of file nullifier_tree_check.cpp.

◆ write()

AppendOnlyTreeSnapshot bb::avm2::simulation::NullifierTreeCheck::write ( const FF &  nullifier,
std::optional< AztecAddress >  contract_address,
uint64_t  nullifier_counter,
const NullifierTreeLeafPreimage &  low_leaf_preimage,
uint64_t  low_leaf_index,
std::span< const FF >  low_leaf_sibling_path,
const AppendOnlyTreeSnapshot &  prev_snapshot,
std::optional< std::span< const FF > >  insertion_sibling_path 
)
overridevirtual

Implements bb::avm2::simulation::NullifierTreeCheckInterface.

Definition at line 67 of file nullifier_tree_check.cpp.

Member Data Documentation

◆ events

EventEmitterInterface<NullifierTreeCheckEvent>& bb::avm2::simulation::NullifierTreeCheck::events
private

Definition at line 49 of file nullifier_tree_check.hpp.

◆ field_gt

FieldGreaterThanInterface& bb::avm2::simulation::NullifierTreeCheck::field_gt
private

Definition at line 52 of file nullifier_tree_check.hpp.

◆ merkle_check

MerkleCheckInterface& bb::avm2::simulation::NullifierTreeCheck::merkle_check
private

Definition at line 51 of file nullifier_tree_check.hpp.

◆ poseidon2

Poseidon2Interface& bb::avm2::simulation::NullifierTreeCheck::poseidon2
private

Definition at line 50 of file nullifier_tree_check.hpp.

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