bc_retrieval.test.cpp File Reference

#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <cstdint>
#include <memory>
#include <vector>
#include "barretenberg/vm2/common/aztec_constants.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/columns.hpp"
#include "barretenberg/vm2/generated/relations/bc_decomposition.hpp"
#include "barretenberg/vm2/generated/relations/bc_hashing.hpp"
#include "barretenberg/vm2/generated/relations/bc_retrieval.hpp"
#include "barretenberg/vm2/generated/relations/class_id_derivation.hpp"
#include "barretenberg/vm2/generated/relations/contract_instance_retrieval.hpp"
#include "barretenberg/vm2/generated/relations/indexed_tree_check.hpp"
#include "barretenberg/vm2/simulation/events/bytecode_events.hpp"
#include "barretenberg/vm2/simulation/events/event_emitter.hpp"
#include "barretenberg/vm2/simulation/events/field_gt_event.hpp"
#include "barretenberg/vm2/simulation/events/indexed_tree_check_event.hpp"
#include "barretenberg/vm2/simulation/events/merkle_check_event.hpp"
#include "barretenberg/vm2/simulation/events/poseidon2_event.hpp"
#include "barretenberg/vm2/simulation/events/range_check_event.hpp"
#include "barretenberg/vm2/simulation/gadgets/field_gt.hpp"
#include "barretenberg/vm2/simulation/gadgets/indexed_tree_check.hpp"
#include "barretenberg/vm2/simulation/gadgets/merkle_check.hpp"
#include "barretenberg/vm2/simulation/gadgets/poseidon2.hpp"
#include "barretenberg/vm2/simulation/gadgets/range_check.hpp"
#include "barretenberg/vm2/simulation/gadgets/retrieved_bytecodes_tree_check.hpp"
#include "barretenberg/vm2/simulation/lib/contract_crypto.hpp"
#include "barretenberg/vm2/simulation/testing/mock_execution_id_manager.hpp"
#include "barretenberg/vm2/simulation/testing/mock_gt.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include "barretenberg/vm2/tracegen/bytecode_trace.hpp"
#include "barretenberg/vm2/tracegen/class_id_derivation_trace.hpp"
#include "barretenberg/vm2/tracegen/contract_instance_retrieval_trace.hpp"
#include "barretenberg/vm2/tracegen/field_gt_trace.hpp"
#include "barretenberg/vm2/tracegen/indexed_tree_check_trace.hpp"
#include "barretenberg/vm2/tracegen/poseidon2_trace.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.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

builder

BytecodeTraceBuilder builder

Definition at line 316 of file bc_retrieval.test.cpp.

class_id_builder

ClassIdDerivationTraceBuilder class_id_builder

Definition at line 318 of file bc_retrieval.test.cpp.

contract_instance_retrieval_builder

ContractInstanceRetrievalTraceBuilder contract_instance_retrieval_builder

Definition at line 317 of file bc_retrieval.test.cpp.

field_gt

FieldGreaterThan field_gt = FieldGreaterThan(range_check, field_gt_emitter)

Definition at line 309 of file bc_retrieval.test.cpp.

field_gt_builder

FieldGreaterThanTraceBuilder field_gt_builder

Definition at line 320 of file bc_retrieval.test.cpp.

field_gt_emitter

EventEmitter<simulation::FieldGreaterThanEvent> field_gt_emitter

Definition at line 297 of file bc_retrieval.test.cpp.

hash_event_emitter

EventEmitter<simulation::Poseidon2HashEvent> hash_event_emitter

Definition at line 292 of file bc_retrieval.test.cpp.

indexed_tree_check

IndexedTreeCheck indexed_tree_check

Initial value:

=
        IndexedTreeCheck(poseidon2, merkle_check, field_gt, indexed_tree_check_event_emitter)

Definition at line 310 of file bc_retrieval.test.cpp.

indexed_tree_check_builder

IndexedTreeCheckTraceBuilder indexed_tree_check_builder

Definition at line 319 of file bc_retrieval.test.cpp.

indexed_tree_check_event_emitter

EventEmitter<simulation::IndexedTreeCheckEvent> indexed_tree_check_event_emitter

Definition at line 298 of file bc_retrieval.test.cpp.

merkle_check

MerkleCheck merkle_check = MerkleCheck(poseidon2, merkle_check_emitter)

Definition at line 307 of file bc_retrieval.test.cpp.

merkle_check_emitter

EventEmitter<simulation::MerkleCheckEvent> merkle_check_emitter

Definition at line 295 of file bc_retrieval.test.cpp.

mock_execution_id_manager

StrictMock<MockExecutionIdManager> mock_execution_id_manager

Definition at line 301 of file bc_retrieval.test.cpp.

mock_gt

StrictMock<MockGreaterThan> mock_gt

Definition at line 300 of file bc_retrieval.test.cpp.

perm_event_emitter

EventEmitter<simulation::Poseidon2PermutationEvent> perm_event_emitter

Definition at line 293 of file bc_retrieval.test.cpp.

perm_mem_event_emitter

EventEmitter<simulation::Poseidon2PermutationMemoryEvent> perm_mem_event_emitter

Definition at line 294 of file bc_retrieval.test.cpp.

poseidon2

Poseidon2 poseidon2

Initial value:

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

Definition at line 305 of file bc_retrieval.test.cpp.

poseidon2_builder

Poseidon2TraceBuilder poseidon2_builder

Definition at line 303 of file bc_retrieval.test.cpp.

precomputed_builder

PrecomputedTraceBuilder precomputed_builder

Definition at line 321 of file bc_retrieval.test.cpp.

range_check

RangeCheck range_check = RangeCheck(range_check_emitter)

Definition at line 308 of file bc_retrieval.test.cpp.

range_check_emitter

EventEmitter<simulation::RangeCheckEvent> range_check_emitter

Definition at line 296 of file bc_retrieval.test.cpp.

retrieved_bytecodes_tree_check

RetrievedBytecodesTreeCheck retrieved_bytecodes_tree_check

Initial value:

=
        RetrievedBytecodesTreeCheck(indexed_tree_check, simulation::build_retrieved_bytecodes_tree())

Definition at line 313 of file bc_retrieval.test.cpp.