Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::avm2::simulation::NullifierTreeCheck Member List

This is the complete list of members for bb::avm2::simulation::NullifierTreeCheck, including all inherited members.

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) overridebb::avm2::simulation::NullifierTreeCheckvirtual
eventsbb::avm2::simulation::NullifierTreeCheckprivate
field_gtbb::avm2::simulation::NullifierTreeCheckprivate
merkle_checkbb::avm2::simulation::NullifierTreeCheckprivate
NullifierTreeCheck(Poseidon2Interface &poseidon2, MerkleCheckInterface &merkle_check, FieldGreaterThanInterface &field_gt, EventEmitterInterface< NullifierTreeCheckEvent > &event_emitter)bb::avm2::simulation::NullifierTreeCheckinline
on_checkpoint_committed() overridebb::avm2::simulation::NullifierTreeCheckvirtual
on_checkpoint_created() overridebb::avm2::simulation::NullifierTreeCheckvirtual
on_checkpoint_reverted() overridebb::avm2::simulation::NullifierTreeCheckvirtual
poseidon2bb::avm2::simulation::NullifierTreeCheckprivate
silo_nullifier(const FF &nullifier, AztecAddress contract_address)bb::avm2::simulation::NullifierTreeCheckprivate
validate_low_leaf(const FF &nullifier, const NullifierTreeLeafPreimage &low_leaf_preimage, bool exists)bb::avm2::simulation::NullifierTreeCheckprivate
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) overridebb::avm2::simulation::NullifierTreeCheckvirtual
~CheckpointNotifiable()=defaultbb::avm2::simulation::CheckpointNotifiablevirtual
~NullifierTreeCheckInterface()=defaultbb::avm2::simulation::NullifierTreeCheckInterfacevirtual