perms_execution.hpp File Reference

#include <cstddef>
#include <string_view>
#include <tuple>
#include "../columns.hpp"
#include "barretenberg/relations/generic_permutation/generic_permutation_relation.hpp"
#include "barretenberg/vm2/constraining/relations/interactions_base.hpp"

Go to the source code of this file.

Classes
struct	bb::avm2::perm_execution_dispatch_to_cd_copy_settings_
struct	bb::avm2::perm_execution_dispatch_to_rd_copy_settings_
struct	bb::avm2::perm_execution_dispatch_to_get_contract_instance_settings_
struct	bb::avm2::perm_execution_dispatch_to_poseidon2_perm_settings_
struct	bb::avm2::perm_execution_dispatch_to_sha256_compression_settings_
struct	bb::avm2::perm_execution_dispatch_to_keccakf1600_settings_
struct	bb::avm2::perm_execution_dispatch_to_ecc_add_settings_
struct	bb::avm2::perm_execution_dispatch_to_to_radix_settings_

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

Typedefs
using	bb::avm2::perm_execution_dispatch_to_cd_copy_settings = permutation_settings< perm_execution_dispatch_to_cd_copy_settings_ >
template<typename FF_ >
using	bb::avm2::perm_execution_dispatch_to_cd_copy_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_cd_copy_settings >
using	bb::avm2::perm_execution_dispatch_to_rd_copy_settings = permutation_settings< perm_execution_dispatch_to_rd_copy_settings_ >
template<typename FF_ >
using	bb::avm2::perm_execution_dispatch_to_rd_copy_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_rd_copy_settings >
using	bb::avm2::perm_execution_dispatch_to_get_contract_instance_settings = permutation_settings< perm_execution_dispatch_to_get_contract_instance_settings_ >
template<typename FF_ >
using	bb::avm2::perm_execution_dispatch_to_get_contract_instance_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_get_contract_instance_settings >
using	bb::avm2::perm_execution_dispatch_to_poseidon2_perm_settings = permutation_settings< perm_execution_dispatch_to_poseidon2_perm_settings_ >
template<typename FF_ >
using	bb::avm2::perm_execution_dispatch_to_poseidon2_perm_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_poseidon2_perm_settings >
using	bb::avm2::perm_execution_dispatch_to_sha256_compression_settings = permutation_settings< perm_execution_dispatch_to_sha256_compression_settings_ >
template<typename FF_ >
using	bb::avm2::perm_execution_dispatch_to_sha256_compression_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_sha256_compression_settings >
using	bb::avm2::perm_execution_dispatch_to_keccakf1600_settings = permutation_settings< perm_execution_dispatch_to_keccakf1600_settings_ >
template<typename FF_ >
using	bb::avm2::perm_execution_dispatch_to_keccakf1600_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_keccakf1600_settings >
using	bb::avm2::perm_execution_dispatch_to_ecc_add_settings = permutation_settings< perm_execution_dispatch_to_ecc_add_settings_ >
template<typename FF_ >
using	bb::avm2::perm_execution_dispatch_to_ecc_add_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_ecc_add_settings >
using	bb::avm2::perm_execution_dispatch_to_to_radix_settings = permutation_settings< perm_execution_dispatch_to_to_radix_settings_ >
template<typename FF_ >
using	bb::avm2::perm_execution_dispatch_to_to_radix_relation = permutation_relation_base< FF_, perm_execution_dispatch_to_to_radix_settings >