Barretenberg
The ZK-SNARK library at the core of Aztec
|
#include "barretenberg/common/tuple.hpp"
#include "relations/address_derivation.hpp"
#include "relations/addressing.hpp"
#include "relations/alu.hpp"
#include "relations/bc_decomposition.hpp"
#include "relations/bc_hashing.hpp"
#include "relations/bc_retrieval.hpp"
#include "relations/bitwise.hpp"
#include "relations/calldata.hpp"
#include "relations/calldata_hashing.hpp"
#include "relations/class_id_derivation.hpp"
#include "relations/context.hpp"
#include "relations/context_stack.hpp"
#include "relations/contract_instance_retrieval.hpp"
#include "relations/data_copy.hpp"
#include "relations/discard.hpp"
#include "relations/ecc.hpp"
#include "relations/ecc_mem.hpp"
#include "relations/emit_notehash.hpp"
#include "relations/emit_nullifier.hpp"
#include "relations/emit_unencrypted_log.hpp"
#include "relations/execution.hpp"
#include "relations/external_call.hpp"
#include "relations/ff_gt.hpp"
#include "relations/gas.hpp"
#include "relations/get_contract_instance.hpp"
#include "relations/get_env_var.hpp"
#include "relations/gt.hpp"
#include "relations/instr_fetching.hpp"
#include "relations/internal_call.hpp"
#include "relations/internal_call_stack.hpp"
#include "relations/keccak_memory.hpp"
#include "relations/keccakf1600.hpp"
#include "relations/l1_to_l2_message_exists.hpp"
#include "relations/l1_to_l2_message_tree_check.hpp"
#include "relations/memory.hpp"
#include "relations/merkle_check.hpp"
#include "relations/note_hash_tree_check.hpp"
#include "relations/notehash_exists.hpp"
#include "relations/nullifier_check.hpp"
#include "relations/nullifier_exists.hpp"
#include "relations/poseidon2_hash.hpp"
#include "relations/poseidon2_mem.hpp"
#include "relations/public_data_check.hpp"
#include "relations/public_data_squash.hpp"
#include "relations/range_check.hpp"
#include "relations/registers.hpp"
#include "relations/scalar_mul.hpp"
#include "relations/send_l2_to_l1_msg.hpp"
#include "relations/sha256.hpp"
#include "relations/sha256_mem.hpp"
#include "relations/sload.hpp"
#include "relations/sstore.hpp"
#include "relations/to_radix.hpp"
#include "relations/to_radix_mem.hpp"
#include "relations/tx.hpp"
#include "relations/tx_context.hpp"
#include "relations/tx_discard.hpp"
#include "relations/update_check.hpp"
#include "relations/written_public_data_slots_tree_check.hpp"
#include "barretenberg/vm2/optimized/relations/poseidon2_perm.hpp"
#include "relations/lookups_address_derivation.hpp"
#include "relations/lookups_addressing.hpp"
#include "relations/lookups_alu.hpp"
#include "relations/lookups_bc_decomposition.hpp"
#include "relations/lookups_bc_hashing.hpp"
#include "relations/lookups_bc_retrieval.hpp"
#include "relations/lookups_bitwise.hpp"
#include "relations/lookups_calldata_hashing.hpp"
#include "relations/lookups_class_id_derivation.hpp"
#include "relations/lookups_context.hpp"
#include "relations/lookups_contract_instance_retrieval.hpp"
#include "relations/lookups_data_copy.hpp"
#include "relations/lookups_ecc_mem.hpp"
#include "relations/lookups_emit_notehash.hpp"
#include "relations/lookups_emit_nullifier.hpp"
#include "relations/lookups_emit_unencrypted_log.hpp"
#include "relations/lookups_execution.hpp"
#include "relations/lookups_external_call.hpp"
#include "relations/lookups_ff_gt.hpp"
#include "relations/lookups_gas.hpp"
#include "relations/lookups_get_contract_instance.hpp"
#include "relations/lookups_get_env_var.hpp"
#include "relations/lookups_gt.hpp"
#include "relations/lookups_instr_fetching.hpp"
#include "relations/lookups_internal_call.hpp"
#include "relations/lookups_keccakf1600.hpp"
#include "relations/lookups_l1_to_l2_message_exists.hpp"
#include "relations/lookups_l1_to_l2_message_tree_check.hpp"
#include "relations/lookups_merkle_check.hpp"
#include "relations/lookups_note_hash_tree_check.hpp"
#include "relations/lookups_notehash_exists.hpp"
#include "relations/lookups_nullifier_check.hpp"
#include "relations/lookups_nullifier_exists.hpp"
#include "relations/lookups_poseidon2_hash.hpp"
#include "relations/lookups_poseidon2_mem.hpp"
#include "relations/lookups_public_data_check.hpp"
#include "relations/lookups_range_check.hpp"
#include "relations/lookups_registers.hpp"
#include "relations/lookups_scalar_mul.hpp"
#include "relations/lookups_send_l2_to_l1_msg.hpp"
#include "relations/lookups_sha256.hpp"
#include "relations/lookups_sha256_mem.hpp"
#include "relations/lookups_sload.hpp"
#include "relations/lookups_sstore.hpp"
#include "relations/lookups_to_radix.hpp"
#include "relations/lookups_to_radix_mem.hpp"
#include "relations/lookups_tx.hpp"
#include "relations/lookups_tx_context.hpp"
#include "relations/lookups_update_check.hpp"
#include "relations/lookups_written_public_data_slots_tree_check.hpp"
#include "relations/perms_addressing.hpp"
#include "relations/perms_data_copy.hpp"
#include "relations/perms_ecc_mem.hpp"
#include "relations/perms_execution.hpp"
#include "relations/perms_keccak_memory.hpp"
#include "relations/perms_keccakf1600.hpp"
#include "relations/perms_poseidon2_mem.hpp"
#include "relations/perms_public_data_check.hpp"
#include "relations/perms_sha256_mem.hpp"
#include "relations/perms_to_radix_mem.hpp"
Go to the source code of this file.
Classes | |
struct | bb::avm2::AvmFlavorVariables |
Namespaces | |
namespace | bb |
Entry point for Barretenberg command-line interface. | |
namespace | bb::avm2 |