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

#include <avm_inputs.hpp>

Public Member Functions

bool operator== (const ExecutionHints &other) const =default
 
 MSGPACK_FIELDS (globalVariables, tx, contractInstances, contractClasses, bytecodeCommitments, startingTreeRoots, getSiblingPathHints, getPreviousValueIndexHints, getLeafPreimageHintsPublicDataTree, getLeafPreimageHintsNullifierTree, getLeafValueHints, sequentialInsertHintsPublicDataTree, sequentialInsertHintsNullifierTree, appendLeavesHints, createCheckpointHints, commitCheckpointHints, revertCheckpointHints)
 

Public Attributes

GlobalVariables globalVariables
 
Tx tx
 
std::vector< ContractInstanceHint > contractInstances
 
std::vector< ContractClassHint > contractClasses
 
std::vector< BytecodeCommitmentHint > bytecodeCommitments
 
TreeSnapshots startingTreeRoots
 
std::vector< GetSiblingPathHint > getSiblingPathHints
 
std::vector< GetPreviousValueIndexHint > getPreviousValueIndexHints
 
std::vector< GetLeafPreimageHint< crypto::merkle_tree::IndexedLeaf< crypto::merkle_tree::PublicDataLeafValue > > > getLeafPreimageHintsPublicDataTree
 
std::vector< GetLeafPreimageHint< crypto::merkle_tree::IndexedLeaf< crypto::merkle_tree::NullifierLeafValue > > > getLeafPreimageHintsNullifierTree
 
std::vector< GetLeafValueHint > getLeafValueHints
 
std::vector< SequentialInsertHint< crypto::merkle_tree::PublicDataLeafValue > > sequentialInsertHintsPublicDataTree
 
std::vector< SequentialInsertHint< crypto::merkle_tree::NullifierLeafValue > > sequentialInsertHintsNullifierTree
 
std::vector< AppendLeavesHint > appendLeavesHints
 
std::vector< CreateCheckpointHint > createCheckpointHints
 
std::vector< CommitCheckpointHint > commitCheckpointHints
 
std::vector< RevertCheckpointHint > revertCheckpointHints
 

Detailed Description

Definition at line 328 of file avm_inputs.hpp.

Member Function Documentation

◆ MSGPACK_FIELDS()

bb::avm2::ExecutionHints::MSGPACK_FIELDS ( globalVariables  ,
tx  ,
contractInstances  ,
contractClasses  ,
bytecodeCommitments  ,
startingTreeRoots  ,
getSiblingPathHints  ,
getPreviousValueIndexHints  ,
getLeafPreimageHintsPublicDataTree  ,
getLeafPreimageHintsNullifierTree  ,
getLeafValueHints  ,
sequentialInsertHintsPublicDataTree  ,
sequentialInsertHintsNullifierTree  ,
appendLeavesHints  ,
createCheckpointHints  ,
commitCheckpointHints  ,
revertCheckpointHints   
)

◆ operator==()

bool bb::avm2::ExecutionHints::operator== ( const ExecutionHints &  other) const
default

Member Data Documentation

◆ appendLeavesHints

std::vector<AppendLeavesHint> bb::avm2::ExecutionHints::appendLeavesHints

Definition at line 346 of file avm_inputs.hpp.

◆ bytecodeCommitments

std::vector<BytecodeCommitmentHint> bb::avm2::ExecutionHints::bytecodeCommitments

Definition at line 334 of file avm_inputs.hpp.

◆ commitCheckpointHints

std::vector<CommitCheckpointHint> bb::avm2::ExecutionHints::commitCheckpointHints

Definition at line 348 of file avm_inputs.hpp.

◆ contractClasses

std::vector<ContractClassHint> bb::avm2::ExecutionHints::contractClasses

Definition at line 333 of file avm_inputs.hpp.

◆ contractInstances

std::vector<ContractInstanceHint> bb::avm2::ExecutionHints::contractInstances

Definition at line 332 of file avm_inputs.hpp.

◆ createCheckpointHints

std::vector<CreateCheckpointHint> bb::avm2::ExecutionHints::createCheckpointHints

Definition at line 347 of file avm_inputs.hpp.

◆ getLeafPreimageHintsNullifierTree

std::vector<GetLeafPreimageHint<crypto::merkle_tree::IndexedLeaf<crypto::merkle_tree::NullifierLeafValue> > > bb::avm2::ExecutionHints::getLeafPreimageHintsNullifierTree

Definition at line 342 of file avm_inputs.hpp.

◆ getLeafPreimageHintsPublicDataTree

std::vector<GetLeafPreimageHint<crypto::merkle_tree::IndexedLeaf<crypto::merkle_tree::PublicDataLeafValue> > > bb::avm2::ExecutionHints::getLeafPreimageHintsPublicDataTree

Definition at line 340 of file avm_inputs.hpp.

◆ getLeafValueHints

std::vector<GetLeafValueHint> bb::avm2::ExecutionHints::getLeafValueHints

Definition at line 343 of file avm_inputs.hpp.

◆ getPreviousValueIndexHints

std::vector<GetPreviousValueIndexHint> bb::avm2::ExecutionHints::getPreviousValueIndexHints

Definition at line 338 of file avm_inputs.hpp.

◆ getSiblingPathHints

std::vector<GetSiblingPathHint> bb::avm2::ExecutionHints::getSiblingPathHints

Definition at line 337 of file avm_inputs.hpp.

◆ globalVariables

GlobalVariables bb::avm2::ExecutionHints::globalVariables

Definition at line 329 of file avm_inputs.hpp.

◆ revertCheckpointHints

std::vector<RevertCheckpointHint> bb::avm2::ExecutionHints::revertCheckpointHints

Definition at line 349 of file avm_inputs.hpp.

◆ sequentialInsertHintsNullifierTree

std::vector<SequentialInsertHint<crypto::merkle_tree::NullifierLeafValue> > bb::avm2::ExecutionHints::sequentialInsertHintsNullifierTree

Definition at line 345 of file avm_inputs.hpp.

◆ sequentialInsertHintsPublicDataTree

std::vector<SequentialInsertHint<crypto::merkle_tree::PublicDataLeafValue> > bb::avm2::ExecutionHints::sequentialInsertHintsPublicDataTree

Definition at line 344 of file avm_inputs.hpp.

◆ startingTreeRoots

TreeSnapshots bb::avm2::ExecutionHints::startingTreeRoots

Definition at line 336 of file avm_inputs.hpp.

◆ tx

Tx bb::avm2::ExecutionHints::tx

Definition at line 330 of file avm_inputs.hpp.

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