Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Member Functions | Private Types | List of all members
bb::avm2::AvmFlavor::VerifierCommitments_< Commitment_, VerificationKey > Class Template Reference

#include <flavor.hpp>

Inheritance diagram for bb::avm2::AvmFlavor::VerifierCommitments_< Commitment_, VerificationKey >:
bb::avm2::AvmFlavor::AllEntities< Commitment_ >

Public Member Functions

 VerifierCommitments_ (const std::shared_ptr< VerificationKey > &verification_key)
 
- Public Member Functions inherited from bb::avm2::AvmFlavor::AllEntities< Commitment_ >
std::span< DataType > get_all ()
 
std::span< const DataType > get_all () const
 
std::span< const std::string > get_labels () const
 
 DEFINE_AVM_GETTER (precomputed, PRECOMPUTED_START_IDX, NUM_PRECOMPUTED_ENTITIES)
 
 DEFINE_AVM_GETTER (wires, WIRE_START_IDX, NUM_WIRE_ENTITIES)
 
 DEFINE_AVM_GETTER (derived, DERIVED_START_IDX, NUM_DERIVED_ENTITIES)
 
 DEFINE_AVM_GETTER (shifted, SHIFTED_START_IDX, NUM_SHIFTED_ENTITIES)
 
 DEFINE_AVM_GETTER (witness, WITNESS_START_IDX, NUM_WITNESS_ENTITIES)
 
 DEFINE_AVM_GETTER (unshifted, UNSHIFTED_START_IDX, NUM_UNSHIFTED_ENTITIES)
 
 DEFINE_AVM_GETTER (to_be_shifted, WIRES_TO_BE_SHIFTED_START_IDX, NUM_WIRES_TO_BE_SHIFTED)
 
DataType & get (ColumnAndShifts c)
 
const DataType & get (ColumnAndShifts c) const
 

Private Types

using Base = AllEntities< Commitment_ >
 

Additional Inherited Members

- Public Types inherited from bb::avm2::AvmFlavor::AllEntities< Commitment_ >
using DataType = Commitment_
 
- Public Attributes inherited from bb::avm2::AvmFlavor::AllEntities< Commitment_ >
std::array< DataType, NUM_ALL_ENTITIES > entities
 

Detailed Description

template<typename Commitment_, typename VerificationKey>
class bb::avm2::AvmFlavor::VerifierCommitments_< Commitment_, VerificationKey >

Definition at line 339 of file flavor.hpp.

Member Typedef Documentation

◆ Base

template<typename Commitment_ , typename VerificationKey >
using bb::avm2::AvmFlavor::VerifierCommitments_< Commitment_, VerificationKey >::Base = AllEntities<Commitment_>
private

Definition at line 341 of file flavor.hpp.

Constructor & Destructor Documentation

◆ VerifierCommitments_()

template<typename Commitment_ , typename VerificationKey >
bb::avm2::AvmFlavor::VerifierCommitments_< Commitment_, VerificationKey >::VerifierCommitments_ ( const std::shared_ptr< VerificationKey > &  verification_key)
inline

Definition at line 344 of file flavor.hpp.

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