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

#include <acir_format.hpp>

Public Types

using PolyTripleConstraint = bb::poly_triple_< bb::curve::BN254::ScalarField >
 

Public Member Functions

 MSGPACK_FIELDS (varnum, 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, pg_recursion_constraints, civc_recursion_constraints, poly_triple_constraints, quad_constraints, big_quad_constraints, block_constraints, assert_equalities)
 

Public Attributes

uint32_t varnum
 
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 > pg_recursion_constraints
 
std::vector< RecursionConstraint > civc_recursion_constraints
 
std::vector< bb::poly_triple_< bb::curve::BN254::ScalarField > > assert_equalities
 
bb::SlabVector< PolyTripleConstraint > poly_triple_constraints
 
bb::SlabVector< bb::mul_quad_< bb::curve::BN254::ScalarField > > quad_constraints
 
bb::SlabVector< std::vector< bb::mul_quad_< bb::curve::BN254::ScalarField > > > big_quad_constraints
 
std::vector< BlockConstraint > block_constraints
 
std::vector< size_t > gates_per_opcode
 
std::set< uint32_t > constrained_witness
 
std::map< uint32_t, uint32_t > minimal_range
 
std::map< uint32_t, uint32_t > index_range
 
AcirFormatOriginalOpcodeIndices original_opcode_indices
 

Friends

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

Detailed Description

Definition at line 70 of file acir_format.hpp.

Member Typedef Documentation

◆ PolyTripleConstraint

using acir_format::AcirFormat::PolyTripleConstraint = bb::poly_triple_<bb::curve::BN254::ScalarField>

Definition at line 81 of file acir_format.hpp.

Member Function Documentation

◆ MSGPACK_FIELDS()

acir_format::AcirFormat::MSGPACK_FIELDS ( varnum  ,
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  ,
pg_recursion_constraints  ,
civc_recursion_constraints  ,
poly_triple_constraints  ,
quad_constraints  ,
big_quad_constraints  ,
block_constraints  ,
assert_equalities   
)

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 86 of file acir_format.hpp.

◆ assert_equalities

std::vector<bb::poly_triple_<bb::curve::BN254::ScalarField> > acir_format::AcirFormat::assert_equalities

Definition at line 100 of file acir_format.hpp.

◆ avm_recursion_constraints

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

Definition at line 97 of file acir_format.hpp.

◆ big_quad_constraints

bb::SlabVector<std::vector<bb::mul_quad_<bb::curve::BN254::ScalarField> > > acir_format::AcirFormat::big_quad_constraints

Definition at line 112 of file acir_format.hpp.

◆ blake2s_constraints

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

Definition at line 90 of file acir_format.hpp.

◆ blake3_constraints

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

Definition at line 91 of file acir_format.hpp.

◆ block_constraints

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

Definition at line 113 of file acir_format.hpp.

◆ civc_recursion_constraints

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

Definition at line 99 of file acir_format.hpp.

◆ constrained_witness

std::set<uint32_t> acir_format::AcirFormat::constrained_witness

Definition at line 120 of file acir_format.hpp.

◆ ec_add_constraints

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

Definition at line 95 of file acir_format.hpp.

◆ ecdsa_k1_constraints

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

Definition at line 88 of file acir_format.hpp.

◆ ecdsa_r1_constraints

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

Definition at line 89 of file acir_format.hpp.

◆ gates_per_opcode

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

Definition at line 117 of file acir_format.hpp.

◆ honk_recursion_constraints

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

Definition at line 96 of file acir_format.hpp.

◆ index_range

std::map<uint32_t, uint32_t> acir_format::AcirFormat::index_range

Definition at line 124 of file acir_format.hpp.

◆ keccak_permutations

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

Definition at line 92 of file acir_format.hpp.

◆ logic_constraints

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

Definition at line 84 of file acir_format.hpp.

◆ minimal_range

std::map<uint32_t, uint32_t> acir_format::AcirFormat::minimal_range

Definition at line 122 of file acir_format.hpp.

◆ multi_scalar_mul_constraints

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

Definition at line 94 of file acir_format.hpp.

◆ num_acir_opcodes

uint32_t acir_format::AcirFormat::num_acir_opcodes

Definition at line 79 of file acir_format.hpp.

◆ original_opcode_indices

AcirFormatOriginalOpcodeIndices acir_format::AcirFormat::original_opcode_indices

Definition at line 127 of file acir_format.hpp.

◆ pg_recursion_constraints

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

Definition at line 98 of file acir_format.hpp.

◆ poly_triple_constraints

bb::SlabVector<PolyTripleConstraint> acir_format::AcirFormat::poly_triple_constraints

Definition at line 105 of file acir_format.hpp.

◆ poseidon2_constraints

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

Definition at line 93 of file acir_format.hpp.

◆ public_inputs

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

Definition at line 82 of file acir_format.hpp.

◆ quad_constraints

bb::SlabVector<bb::mul_quad_<bb::curve::BN254::ScalarField> > acir_format::AcirFormat::quad_constraints

Definition at line 107 of file acir_format.hpp.

◆ range_constraints

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

Definition at line 85 of file acir_format.hpp.

◆ sha256_compression

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

Definition at line 87 of file acir_format.hpp.

◆ varnum

uint32_t acir_format::AcirFormat::varnum

Definition at line 72 of file acir_format.hpp.

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