|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
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) override | bb::avm2::simulation::NullifierTreeCheck | virtual |
| events | bb::avm2::simulation::NullifierTreeCheck | private |
| field_gt | bb::avm2::simulation::NullifierTreeCheck | private |
| merkle_check | bb::avm2::simulation::NullifierTreeCheck | private |
| NullifierTreeCheck(Poseidon2Interface &poseidon2, MerkleCheckInterface &merkle_check, FieldGreaterThanInterface &field_gt, EventEmitterInterface< NullifierTreeCheckEvent > &event_emitter) | bb::avm2::simulation::NullifierTreeCheck | inline |
| on_checkpoint_committed() override | bb::avm2::simulation::NullifierTreeCheck | virtual |
| on_checkpoint_created() override | bb::avm2::simulation::NullifierTreeCheck | virtual |
| on_checkpoint_reverted() override | bb::avm2::simulation::NullifierTreeCheck | virtual |
| poseidon2 | bb::avm2::simulation::NullifierTreeCheck | private |
| silo_nullifier(const FF &nullifier, AztecAddress contract_address) | bb::avm2::simulation::NullifierTreeCheck | private |
| validate_low_leaf(const FF &nullifier, const NullifierTreeLeafPreimage &low_leaf_preimage, bool exists) | bb::avm2::simulation::NullifierTreeCheck | private |
| 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 | bb::avm2::simulation::NullifierTreeCheck | virtual |
| ~CheckpointNotifiable()=default | bb::avm2::simulation::CheckpointNotifiable | virtual |
| ~NullifierTreeCheckInterface()=default | bb::avm2::simulation::NullifierTreeCheckInterface | virtual |