Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Attributes | Friends | List of all members
acir_format::AcirFormatOriginalOpcodeIndices Struct Reference

Indices of the original opcode that originated each constraint in AcirFormat. More...

#include <acir_format.hpp>

Public Attributes

std::vector< size_t > logic_constraints
 
std::vector< size_t > range_constraints
 
std::vector< size_t > aes128_constraints
 
std::vector< size_t > sha256_compression
 
std::vector< size_t > ecdsa_k1_constraints
 
std::vector< size_t > ecdsa_r1_constraints
 
std::vector< size_t > blake2s_constraints
 
std::vector< size_t > blake3_constraints
 
std::vector< size_t > keccak_permutations
 
std::vector< size_t > poseidon2_constraints
 
std::vector< size_t > multi_scalar_mul_constraints
 
std::vector< size_t > ec_add_constraints
 
std::vector< size_t > honk_recursion_constraints
 
std::vector< size_t > avm_recursion_constraints
 
std::vector< size_t > pg_recursion_constraints
 
std::vector< size_t > civc_recursion_constraints
 
std::vector< size_t > bigint_from_le_bytes_constraints
 
std::vector< size_t > bigint_to_le_bytes_constraints
 
std::vector< size_t > bigint_operations
 
std::vector< size_t > assert_equalities
 
std::vector< size_t > poly_triple_constraints
 
std::vector< size_t > quad_constraints
 
std::vector< std::vector< size_t > > block_constraints
 

Friends

bool operator== (AcirFormatOriginalOpcodeIndices const &lhs, AcirFormatOriginalOpcodeIndices const &rhs)=default
 

Detailed Description

Indices of the original opcode that originated each constraint in AcirFormat.

Contains one array of indices per opcode type. The length of each array is equal to the number of constraints of that type. The relationship between the opcodes and constraints is assumed to be one to one, except for block constraints.

Definition at line 43 of file acir_format.hpp.

Friends And Related Symbol Documentation

◆ operator==

bool operator== ( AcirFormatOriginalOpcodeIndices const &  lhs,
AcirFormatOriginalOpcodeIndices const &  rhs 
)
friend

Member Data Documentation

◆ aes128_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::aes128_constraints

Definition at line 46 of file acir_format.hpp.

◆ assert_equalities

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::assert_equalities

Definition at line 63 of file acir_format.hpp.

◆ avm_recursion_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::avm_recursion_constraints

Definition at line 57 of file acir_format.hpp.

◆ bigint_from_le_bytes_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::bigint_from_le_bytes_constraints

Definition at line 60 of file acir_format.hpp.

◆ bigint_operations

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::bigint_operations

Definition at line 62 of file acir_format.hpp.

◆ bigint_to_le_bytes_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::bigint_to_le_bytes_constraints

Definition at line 61 of file acir_format.hpp.

◆ blake2s_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::blake2s_constraints

Definition at line 50 of file acir_format.hpp.

◆ blake3_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::blake3_constraints

Definition at line 51 of file acir_format.hpp.

◆ block_constraints

std::vector<std::vector<size_t> > acir_format::AcirFormatOriginalOpcodeIndices::block_constraints

Definition at line 67 of file acir_format.hpp.

◆ civc_recursion_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::civc_recursion_constraints

Definition at line 59 of file acir_format.hpp.

◆ ec_add_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::ec_add_constraints

Definition at line 55 of file acir_format.hpp.

◆ ecdsa_k1_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::ecdsa_k1_constraints

Definition at line 48 of file acir_format.hpp.

◆ ecdsa_r1_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::ecdsa_r1_constraints

Definition at line 49 of file acir_format.hpp.

◆ honk_recursion_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::honk_recursion_constraints

Definition at line 56 of file acir_format.hpp.

◆ keccak_permutations

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::keccak_permutations

Definition at line 52 of file acir_format.hpp.

◆ logic_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::logic_constraints

Definition at line 44 of file acir_format.hpp.

◆ multi_scalar_mul_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::multi_scalar_mul_constraints

Definition at line 54 of file acir_format.hpp.

◆ pg_recursion_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::pg_recursion_constraints

Definition at line 58 of file acir_format.hpp.

◆ poly_triple_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::poly_triple_constraints

Definition at line 64 of file acir_format.hpp.

◆ poseidon2_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::poseidon2_constraints

Definition at line 53 of file acir_format.hpp.

◆ quad_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::quad_constraints

Definition at line 65 of file acir_format.hpp.

◆ range_constraints

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::range_constraints

Definition at line 45 of file acir_format.hpp.

◆ sha256_compression

std::vector<size_t> acir_format::AcirFormatOriginalOpcodeIndices::sha256_compression

Definition at line 47 of file acir_format.hpp.

The documentation for this struct was generated from the following file: