Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::MegaFlavor::WitnessEntities< DataType > Class Template Reference

Container for all witness polynomials used/constructed by the prover. More...

#include <mega_flavor.hpp>

Inheritance diagram for bb::MegaFlavor::WitnessEntities< DataType >:
bb::MegaFlavor::WireEntities< DataType > bb::MegaFlavor::DerivedEntities< DataType > bb::MegaFlavor::AllEntities< DataType > bb::MegaFlavor::AllValues bb::MegaFlavor::CommitmentLabels bb::MegaFlavor::PartiallyEvaluatedMultivariates bb::MegaFlavor::ProverPolynomials bb::MegaFlavor::VerifierCommitments_< Commitment, VerificationKey > bb::MegaRecursiveFlavor_< BuilderType >::AllValues

Public Member Functions

auto get_wires ()
 
auto get_ecc_op_wires ()
 
auto get_databus_entities ()
 
auto get_databus_inverses ()
 
auto get_to_be_shifted ()
 
 MSGPACK_FIELDS (this->w_l, this->w_r, this->w_o, this->w_4, this->z_perm, this->lookup_inverses, this->lookup_read_counts, this->lookup_read_tags, this->ecc_op_wire_1, this->ecc_op_wire_2, this->ecc_op_wire_3, this->ecc_op_wire_4, this->calldata, this->calldata_read_counts, this->calldata_read_tags, this->calldata_inverses, this->secondary_calldata, this->secondary_calldata_read_counts, this->secondary_calldata_read_tags, this->secondary_calldata_inverses, this->return_data, this->return_data_read_counts, this->return_data_read_tags, this->return_data_inverses)
 
- Public Member Functions inherited from bb::MegaFlavor::WireEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, w_l, w_r, w_o, w_4)
 
- Public Member Functions inherited from bb::MegaFlavor::DerivedEntities< DataType >
 DEFINE_FLAVOR_MEMBERS (DataType, z_perm, lookup_inverses, lookup_read_counts, lookup_read_tags, ecc_op_wire_1, ecc_op_wire_2, ecc_op_wire_3, ecc_op_wire_4, calldata, calldata_read_counts, calldata_read_tags, calldata_inverses, secondary_calldata, secondary_calldata_read_counts, secondary_calldata_read_tags, secondary_calldata_inverses, return_data, return_data_read_counts, return_data_read_tags, return_data_inverses)
 
auto get_to_be_shifted ()
 

Detailed Description

template<typename DataType>
class bb::MegaFlavor::WitnessEntities< DataType >

Container for all witness polynomials used/constructed by the prover.

Shifts are not included here since they do not occupy their own memory. Combines WireEntities + DerivedEntities.

Definition at line 252 of file mega_flavor.hpp.

Member Function Documentation

◆ get_databus_entities()

template<typename DataType >
auto bb::MegaFlavor::WitnessEntities< DataType >::get_databus_entities ( )
inline

Definition at line 261 of file mega_flavor.hpp.

◆ get_databus_inverses()

template<typename DataType >
auto bb::MegaFlavor::WitnessEntities< DataType >::get_databus_inverses ( )
inline

Definition at line 270 of file mega_flavor.hpp.

◆ get_ecc_op_wires()

template<typename DataType >
auto bb::MegaFlavor::WitnessEntities< DataType >::get_ecc_op_wires ( )
inline

Definition at line 257 of file mega_flavor.hpp.

◆ get_to_be_shifted()

template<typename DataType >
auto bb::MegaFlavor::WitnessEntities< DataType >::get_to_be_shifted ( )
inline

Definition at line 278 of file mega_flavor.hpp.

◆ get_wires()

template<typename DataType >
auto bb::MegaFlavor::WitnessEntities< DataType >::get_wires ( )
inline

Definition at line 256 of file mega_flavor.hpp.

◆ MSGPACK_FIELDS()

template<typename DataType >
bb::MegaFlavor::WitnessEntities< DataType >::MSGPACK_FIELDS ( this->  w_l,
this->  w_r,
this->  w_o,
this->  w_4,
this->  z_perm,
this->  lookup_inverses,
this->  lookup_read_counts,
this->  lookup_read_tags,
this->  ecc_op_wire_1,
this->  ecc_op_wire_2,
this->  ecc_op_wire_3,
this->  ecc_op_wire_4,
this->  calldata,
this->  calldata_read_counts,
this->  calldata_read_tags,
this->  calldata_inverses,
this->  secondary_calldata,
this->  secondary_calldata_read_counts,
this->  secondary_calldata_read_tags,
this->  secondary_calldata_inverses,
this->  return_data,
this->  return_data_read_counts,
this->  return_data_read_tags,
this->  return_data_inverses 
)

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