gate_count_constants.hpp File Reference

#include "barretenberg/constants.hpp"
#include "barretenberg/dsl/acir_format/test_class_predicate.hpp"
#include "barretenberg/stdlib/primitives/circuit_builders/circuit_builders.hpp"
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
#include "barretenberg/stdlib_circuit_builders/ultra_circuit_builder.hpp"
#include <array>
#include <cstddef>
#include <tuple>
#include <type_traits>

Go to the source code of this file.

Namespaces
namespace	acir_format

Functions
template<typename RecursiveFlavor >
constexpr std::tuple< size_t, size_t >	acir_format::HONK_RECURSION_CONSTANTS (const PredicateTestCase &mode=PredicateTestCase::ConstantTrue)

Variables
template<typename Builder >
constexpr size_t	acir_format::MEGA_OFFSET = IsMegaBuilder<Builder> ? 3 : 0
constexpr size_t	acir_format::ZERO_GATE = 1
template<typename Builder >
constexpr size_t	acir_format::ARITHMETIC_TRIPLE = 1 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::QUAD = 1 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::BIG_QUAD = 2 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::LOGIC_XOR_32 = 6 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::LOGIC_AND_32 = 6 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::RANGE_32 = 2744 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::SHA256_COMPRESSION = 6703 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::AES128_ENCRYPTION = 1559 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::ECDSA_SECP256K1 = 42837 + ZERO_GATE
template<typename Builder >
constexpr size_t	acir_format::ECDSA_SECP256R1 = 45945 + ZERO_GATE + (IsMegaBuilder<Builder> ? 2 : 0)
template<typename Builder >
constexpr size_t	acir_format::BLAKE2S = 2952 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::BLAKE3 = 2158 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::KECCAK_PERMUTATION = 17387 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::POSEIDON2_PERMUTATION = (IsMegaBuilder<Builder> ? 25 : 73) + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::MULTI_SCALAR_MUL = 3557 + ZERO_GATE
template<typename Builder >
constexpr size_t	acir_format::EC_ADD = 76 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::BLOCK_ROM_READ = 4 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::BLOCK_RAM_READ = 4 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::BLOCK_RAM_WRITE = 18 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::BLOCK_CALLDATA = 4 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::BLOCK_RETURNDATA = 11 + ZERO_GATE + MEGA_OFFSET<Builder>
template<typename Builder >
constexpr size_t	acir_format::ASSERT_EQUALITY = ZERO_GATE + MEGA_OFFSET<Builder>
constexpr size_t	acir_format::ROOT_ROLLUP_GATE_COUNT = 6350020
constexpr size_t	acir_format::CHONK_RECURSION_GATES = 1375725
constexpr size_t	acir_format::KERNEL_APP_COUNTS = bb::MAX_APPS_PER_KERNEL
constexpr size_t	acir_format::MSM_ROWS_OFFSET = 2
constexpr std::array< size_t, KERNEL_APP_COUNTS >	acir_format::INIT_KERNEL_GATE_COUNT = { 11423, 21873, 30400, 39007, 47559 }
constexpr std::array< size_t, KERNEL_APP_COUNTS >	acir_format::INIT_KERNEL_ECC_ROWS = { 524, 1176, 1700, 2290, 2814 }
constexpr std::array< size_t, KERNEL_APP_COUNTS >	acir_format::INIT_KERNEL_ULTRA_OPS = { 60, 131, 194, 257, 320 }
constexpr std::array< size_t, KERNEL_APP_COUNTS >	acir_format::INNER_KERNEL_GATE_COUNT = { 23943, 32470, 41077, 49629, 58211 }
constexpr std::array< size_t, KERNEL_APP_COUNTS >	acir_format::INNER_KERNEL_ECC_ROWS = { 1308, 1898, 2422, 3012, 3536 }
constexpr std::array< size_t, KERNEL_APP_COUNTS >	acir_format::INNER_KERNEL_ULTRA_OPS = { 148, 211, 274, 337, 400 }
constexpr size_t	acir_format::RESET_TAIL_KERNEL_GATE_COUNT = 15281
constexpr size_t	acir_format::RESET_TAIL_KERNEL_ECC_ROWS = 784
constexpr size_t	acir_format::RESET_TAIL_KERNEL_ULTRA_OPS = 81
constexpr size_t	acir_format::HIDING_KERNEL_GATE_COUNT = 36584
constexpr size_t	acir_format::HIDING_KERNEL_ECC_ROWS = 5330
constexpr size_t	acir_format::ECCVM_RECURSIVE_VERIFIER_GATE_COUNT = 237497
constexpr size_t	acir_format::GOBLIN_AVM_GATE_COUNT = 2950641
constexpr size_t	acir_format::FINALIZED_GOBLIN_AVM_GATE_COUNT = 2950844