written_public_data_slots_tree_check.test.cpp File Reference

#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <cmath>
#include <cstdint>
#include "barretenberg/crypto/poseidon2/poseidon2.hpp"
#include "barretenberg/vm2/common/avm_inputs.hpp"
#include "barretenberg/vm2/common/aztec_types.hpp"
#include "barretenberg/vm2/constraining/flavor_settings.hpp"
#include "barretenberg/vm2/constraining/testing/check_relation.hpp"
#include "barretenberg/vm2/generated/relations/merkle_check.hpp"
#include "barretenberg/vm2/generated/relations/written_public_data_slots_tree_check.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/written_public_data_slot_tree_check_event.hpp"
#include "barretenberg/vm2/simulation/gadgets/field_gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/poseidon2.hpp"
#include "barretenberg/vm2/simulation/gadgets/written_public_data_slots_tree_check.hpp"
#include "barretenberg/vm2/simulation/lib/merkle.hpp"
#include "barretenberg/vm2/simulation/testing/mock_execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/testing/mock_gt.hpp"
#include "barretenberg/vm2/simulation/testing/mock_range_check.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include "barretenberg/vm2/testing/test_tree.hpp"
#include "barretenberg/vm2/tracegen/field_gt_trace.hpp"
#include "barretenberg/vm2/tracegen/merkle_check_trace.hpp"
#include "barretenberg/vm2/tracegen/poseidon2_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"
#include "barretenberg/vm2/tracegen/written_public_data_slots_tree_check_trace.hpp"

Go to the source code of this file.

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::avm2
namespace	bb::avm2::constraining

Variable Documentation

contract_address

AztecAddress contract_address

Definition at line 97 of file written_public_data_slots_tree_check.test.cpp.

exists

bool exists

Definition at line 98 of file written_public_data_slots_tree_check.test.cpp.

hash_event_emitter

EventEmitter<Poseidon2HashEvent> hash_event_emitter

protected

Definition at line 78 of file written_public_data_slots_tree_check.test.cpp.

mock_execution_id_manager

NiceMock<MockExecutionIdManager> mock_execution_id_manager

protected

Definition at line 84 of file written_public_data_slots_tree_check.test.cpp.

mock_gt

NiceMock<MockGreaterThan> mock_gt

protected

Definition at line 83 of file written_public_data_slots_tree_check.test.cpp.

perm_event_emitter

NoopEventEmitter<Poseidon2PermutationEvent> perm_event_emitter

protected

Definition at line 80 of file written_public_data_slots_tree_check.test.cpp.

perm_mem_event_emitter

NoopEventEmitter<Poseidon2PermutationMemoryEvent> perm_mem_event_emitter

protected

Definition at line 81 of file written_public_data_slots_tree_check.test.cpp.

poseidon2

Poseidon2 poseidon2

protected

Initial value:

=
        Poseidon2(mock_execution_id_manager, mock_gt, hash_event_emitter, perm_event_emitter, perm_mem_event_emitter)

Definition at line 86 of file written_public_data_slots_tree_check.test.cpp.

pre_existing_leaves

std::vector<WrittenPublicDataSlotLeafValue> pre_existing_leaves

Definition at line 99 of file written_public_data_slots_tree_check.test.cpp.

slot

FF slot

Definition at line 96 of file written_public_data_slots_tree_check.test.cpp.