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

#include <acir_format.hpp>

Public Member Functions

 MSGPACK_FIELDS (public_inputs, logic_constraints, range_constraints, aes128_constraints, sha256_compression, ecdsa_k1_constraints, ecdsa_r1_constraints, blake2s_constraints, blake3_constraints, keccak_permutations, poseidon2_constraints, multi_scalar_mul_constraints, ec_add_constraints, honk_recursion_constraints, avm_recursion_constraints, hn_recursion_constraints, chonk_recursion_constraints, quad_constraints, big_quad_constraints, block_constraints)
 

Public Attributes

uint32_t max_witness_index = 0
 
uint32_t num_acir_opcodes
 
std::vector< uint32_t > public_inputs
 
std::vector< LogicConstraint > logic_constraints
 
std::vector< RangeConstraint > range_constraints
 
std::vector< AES128Constraint > aes128_constraints
 
std::vector< Sha256Compression > sha256_compression
 
std::vector< EcdsaConstraint > ecdsa_k1_constraints
 
std::vector< EcdsaConstraint > ecdsa_r1_constraints
 
std::vector< Blake2sConstraint > blake2s_constraints
 
std::vector< Blake3Constraint > blake3_constraints
 
std::vector< Keccakf1600 > keccak_permutations
 
std::vector< Poseidon2Constraint > poseidon2_constraints
 
std::vector< MultiScalarMul > multi_scalar_mul_constraints
 
std::vector< EcAdd > ec_add_constraints
 
std::vector< RecursionConstraint > honk_recursion_constraints
 
std::vector< RecursionConstraint > avm_recursion_constraints
 
std::vector< RecursionConstraint > hn_recursion_constraints
 
std::vector< RecursionConstraint > chonk_recursion_constraints
 
std::vector< QuadConstraints > quad_constraints
 
std::vector< std::vector< QuadConstraints > > big_quad_constraints
 
std::vector< BlockConstraint > block_constraints
 
std::vector< size_t > gates_per_opcode
 
AcirFormatOriginalOpcodeIndices original_opcode_indices
 

Friends

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

Detailed Description

Definition at line 72 of file acir_format.hpp.

Member Function Documentation

◆ MSGPACK_FIELDS()

acir_format::AcirFormat::MSGPACK_FIELDS ( public_inputs  ,
logic_constraints  ,
range_constraints  ,
aes128_constraints  ,
sha256_compression  ,
ecdsa_k1_constraints  ,
ecdsa_r1_constraints  ,
blake2s_constraints  ,
blake3_constraints  ,
keccak_permutations  ,
poseidon2_constraints  ,
multi_scalar_mul_constraints  ,
ec_add_constraints  ,
honk_recursion_constraints  ,
avm_recursion_constraints  ,
hn_recursion_constraints  ,
chonk_recursion_constraints  ,
quad_constraints  ,
big_quad_constraints  ,
block_constraints   
)

Friends And Related Symbol Documentation

◆ operator==

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

Member Data Documentation

◆ aes128_constraints

std::vector<AES128Constraint> acir_format::AcirFormat::aes128_constraints

Definition at line 80 of file acir_format.hpp.

◆ avm_recursion_constraints

std::vector<RecursionConstraint> acir_format::AcirFormat::avm_recursion_constraints

Definition at line 91 of file acir_format.hpp.

◆ big_quad_constraints

std::vector<std::vector<QuadConstraints> > acir_format::AcirFormat::big_quad_constraints

Definition at line 99 of file acir_format.hpp.

◆ blake2s_constraints

std::vector<Blake2sConstraint> acir_format::AcirFormat::blake2s_constraints

Definition at line 84 of file acir_format.hpp.

◆ blake3_constraints

std::vector<Blake3Constraint> acir_format::AcirFormat::blake3_constraints

Definition at line 85 of file acir_format.hpp.

◆ block_constraints

std::vector<BlockConstraint> acir_format::AcirFormat::block_constraints

Definition at line 100 of file acir_format.hpp.

◆ chonk_recursion_constraints

std::vector<RecursionConstraint> acir_format::AcirFormat::chonk_recursion_constraints

Definition at line 93 of file acir_format.hpp.

◆ ec_add_constraints

std::vector<EcAdd> acir_format::AcirFormat::ec_add_constraints

Definition at line 89 of file acir_format.hpp.

◆ ecdsa_k1_constraints

std::vector<EcdsaConstraint> acir_format::AcirFormat::ecdsa_k1_constraints

Definition at line 82 of file acir_format.hpp.

◆ ecdsa_r1_constraints

std::vector<EcdsaConstraint> acir_format::AcirFormat::ecdsa_r1_constraints

Definition at line 83 of file acir_format.hpp.

◆ gates_per_opcode

std::vector<size_t> acir_format::AcirFormat::gates_per_opcode

Definition at line 104 of file acir_format.hpp.

◆ hn_recursion_constraints

std::vector<RecursionConstraint> acir_format::AcirFormat::hn_recursion_constraints

Definition at line 92 of file acir_format.hpp.

◆ honk_recursion_constraints

std::vector<RecursionConstraint> acir_format::AcirFormat::honk_recursion_constraints

Definition at line 90 of file acir_format.hpp.

◆ keccak_permutations

std::vector<Keccakf1600> acir_format::AcirFormat::keccak_permutations

Definition at line 86 of file acir_format.hpp.

◆ logic_constraints

std::vector<LogicConstraint> acir_format::AcirFormat::logic_constraints

Definition at line 78 of file acir_format.hpp.

◆ max_witness_index

uint32_t acir_format::AcirFormat::max_witness_index = 0

Definition at line 73 of file acir_format.hpp.

◆ multi_scalar_mul_constraints

std::vector<MultiScalarMul> acir_format::AcirFormat::multi_scalar_mul_constraints

Definition at line 88 of file acir_format.hpp.

◆ num_acir_opcodes

uint32_t acir_format::AcirFormat::num_acir_opcodes

Definition at line 74 of file acir_format.hpp.

◆ original_opcode_indices

AcirFormatOriginalOpcodeIndices acir_format::AcirFormat::original_opcode_indices

Definition at line 107 of file acir_format.hpp.

◆ poseidon2_constraints

std::vector<Poseidon2Constraint> acir_format::AcirFormat::poseidon2_constraints

Definition at line 87 of file acir_format.hpp.

◆ public_inputs

std::vector<uint32_t> acir_format::AcirFormat::public_inputs

Definition at line 76 of file acir_format.hpp.

◆ quad_constraints

std::vector<QuadConstraints> acir_format::AcirFormat::quad_constraints

Definition at line 94 of file acir_format.hpp.

◆ range_constraints

std::vector<RangeConstraint> acir_format::AcirFormat::range_constraints

Definition at line 79 of file acir_format.hpp.

◆ sha256_compression

std::vector<Sha256Compression> acir_format::AcirFormat::sha256_compression

Definition at line 81 of file acir_format.hpp.

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