mock_nullifier_tree_check.hpp

Go to the documentation of this file.

#pragma once
 
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/common/field.hpp"
#include "barretenberg/vm2/simulation/interfaces/nullifier_tree_check.hpp"
#include "barretenberg/vm2/simulation/lib/db_types.hpp"
 
#include <cstdint>
#include <gmock/gmock.h>
#include <optional>
#include <span>
 
namespace bb::avm2::simulation {
 
class MockNullifierTreeCheck : public NullifierTreeCheckInterface {
  public:
    MockNullifierTreeCheck();
    ~MockNullifierTreeCheck() override;
 
    MOCK_METHOD(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));
 
    MOCK_METHOD(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));
};
 
} // namespace bb::avm2::simulation