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

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

assert_read(const FF &slot, const AztecAddress &contract_address, const FF &value, const PublicDataTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > sibling_path, const AppendOnlyTreeSnapshot &snapshot) overridebb::avm2::simulation::PublicDataTreeCheckvirtual
compute_leaf_slot(const AztecAddress &contract_address, const FF &slot)bb::avm2::simulation::PublicDataTreeCheckprivate
eventsbb::avm2::simulation::PublicDataTreeCheckprivate
execution_id_managerbb::avm2::simulation::PublicDataTreeCheckprivate
field_gtbb::avm2::simulation::PublicDataTreeCheckprivate
merkle_checkbb::avm2::simulation::PublicDataTreeCheckprivate
on_checkpoint_committed() overridebb::avm2::simulation::PublicDataTreeCheckvirtual
on_checkpoint_created() overridebb::avm2::simulation::PublicDataTreeCheckvirtual
on_checkpoint_reverted() overridebb::avm2::simulation::PublicDataTreeCheckvirtual
poseidon2bb::avm2::simulation::PublicDataTreeCheckprivate
PublicDataTreeCheck(Poseidon2Interface &poseidon2, MerkleCheckInterface &merkle_check, FieldGreaterThanInterface &field_gt, ExecutionIdGetterInterface &execution_id_manager, EventEmitterInterface< PublicDataTreeCheckEvent > &read_event_emitter)bb::avm2::simulation::PublicDataTreeCheckinline
validate_low_leaf_jumps_over_slot(const PublicDataTreeLeafPreimage &low_leaf_preimage, const FF &leaf_slot)bb::avm2::simulation::PublicDataTreeCheckprivate
write(const FF &slot, const AztecAddress &contract_address, const FF &value, const PublicDataTreeLeafPreimage &low_leaf_preimage, uint64_t low_leaf_index, std::span< const FF > low_leaf_sibling_path, const AppendOnlyTreeSnapshot &prev_snapshot, std::span< const FF > insertion_sibling_path, bool is_protocol_write) overridebb::avm2::simulation::PublicDataTreeCheckvirtual
~CheckpointNotifiable()=defaultbb::avm2::simulation::CheckpointNotifiablevirtual
~PublicDataTreeCheckInterface()=defaultbb::avm2::simulation::PublicDataTreeCheckInterfacevirtual