barretenberg
Loading...
Searching...
No Matches
Public Member Functions | List of all members
proof_system::honk::flavor::GoblinUltra::VerifierCommitments_< Commitment, VerificationKey > Class Template Reference

#include <goblin_ultra.hpp>

Inheritance diagram for proof_system::honk::flavor::GoblinUltra::VerifierCommitments_< Commitment, VerificationKey >:
proof_system::honk::flavor::GoblinUltra::AllEntities< DataType > proof_system::honk::flavor::GoblinUltra::PrecomputedEntities< DataType_ > proof_system::honk::flavor::PrecomputedEntitiesBase

Public Member Functions

 VerifierCommitments_ (const std::shared_ptr< VerificationKey > &verification_key)
 
- Public Member Functions inherited from proof_system::honk::flavor::GoblinUltra::AllEntities< DataType >
RefVector< DataType > get_wires ()
 
RefVector< DataType > get_ecc_op_wires ()
 
RefVector< DataType > get_unshifted ()
 
RefVector< DataType > get_witness ()
 
RefVector< DataType > get_to_be_shifted ()
 
RefVector< DataType > get_precomputed ()
 
RefVector< DataType > get_shifted ()
 
- Public Member Functions inherited from proof_system::honk::flavor::GoblinUltra::PrecomputedEntities< DataType_ >
 DEFINE_FLAVOR_MEMBERS (DataType, q_m, q_c, q_l, q_r, q_o, q_4, q_arith, q_sort, q_elliptic, q_aux, q_lookup, q_busread, q_poseidon2_external, q_poseidon2_internal, sigma_1, sigma_2, sigma_3, sigma_4, id_1, id_2, id_3, id_4, table_1, table_2, table_3, table_4, lagrange_first, lagrange_last, lagrange_ecc_op, databus_id) static const expr CircuitType CIRCUIT_TYPE
 
RefVector< DataType > get_selectors ()
 
RefVector< DataType > get_sigma_polynomials ()
 
RefVector< DataType > get_id_polynomials ()
 
RefVector< DataType > get_table_polynomials ()
 

Additional Inherited Members

- Public Types inherited from proof_system::honk::flavor::GoblinUltra::PrecomputedEntities< DataType_ >
using DataType = DataType_
 
- Public Attributes inherited from proof_system::honk::flavor::PrecomputedEntitiesBase
size_t circuit_size
 
size_t log_circuit_size
 
size_t num_public_inputs
 
CircuitType circuit_type
 

Detailed Description

template<typename Commitment, typename VerificationKey>
class proof_system::honk::flavor::GoblinUltra::VerifierCommitments_< Commitment, VerificationKey >

Note: Made generic for use in GoblinUltraRecursive.


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