Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include <gmock/gmock.h>
#include <gtest/gtest.h>
#include <cstdint>
#include "barretenberg/vm2/common/avm_inputs.hpp"
#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/execution.hpp"
#include "barretenberg/vm2/generated/relations/lookups_tx.hpp"
#include "barretenberg/vm2/generated/relations/tx.hpp"
#include "barretenberg/vm2/testing/fixtures.hpp"
#include "barretenberg/vm2/testing/macros.hpp"
#include "barretenberg/vm2/testing/public_inputs_builder.hpp"
#include "barretenberg/vm2/tracegen/precomputed_trace.hpp"
#include "barretenberg/vm2/tracegen/public_inputs_trace.hpp"
#include "barretenberg/vm2/tracegen/test_trace_container.hpp"
#include "barretenberg/vm2/tracegen/tx_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 |
Functions | |
bb::avm2::constraining::TEST (TxExecutionConstrainingTest, WriteTreeValue) | |
bb::avm2::constraining::TEST (TxExecutionConstrainingTest, CollectFees) | |
bb::avm2::constraining::TEST (TxExecutionConstrainingTest, NegativePaddingChecks) | |