Barretenberg
The ZK-SNARK library at the core of Aztec
|
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) override | bb::avm2::simulation::PublicDataTreeCheck | virtual |
compute_leaf_slot(const AztecAddress &contract_address, const FF &slot) | bb::avm2::simulation::PublicDataTreeCheck | private |
events | bb::avm2::simulation::PublicDataTreeCheck | private |
execution_id_manager | bb::avm2::simulation::PublicDataTreeCheck | private |
field_gt | bb::avm2::simulation::PublicDataTreeCheck | private |
merkle_check | bb::avm2::simulation::PublicDataTreeCheck | private |
on_checkpoint_committed() override | bb::avm2::simulation::PublicDataTreeCheck | virtual |
on_checkpoint_created() override | bb::avm2::simulation::PublicDataTreeCheck | virtual |
on_checkpoint_reverted() override | bb::avm2::simulation::PublicDataTreeCheck | virtual |
poseidon2 | bb::avm2::simulation::PublicDataTreeCheck | private |
PublicDataTreeCheck(Poseidon2Interface &poseidon2, MerkleCheckInterface &merkle_check, FieldGreaterThanInterface &field_gt, ExecutionIdGetterInterface &execution_id_manager, EventEmitterInterface< PublicDataTreeCheckEvent > &read_event_emitter) | bb::avm2::simulation::PublicDataTreeCheck | inline |
validate_low_leaf_jumps_over_slot(const PublicDataTreeLeafPreimage &low_leaf_preimage, const FF &leaf_slot) | bb::avm2::simulation::PublicDataTreeCheck | private |
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) override | bb::avm2::simulation::PublicDataTreeCheck | virtual |
~CheckpointNotifiable()=default | bb::avm2::simulation::CheckpointNotifiable | virtual |
~PublicDataTreeCheckInterface()=default | bb::avm2::simulation::PublicDataTreeCheckInterface | virtual |