Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::ProofLength::Oink< Flavor > Struct Template Reference

Computes Oink proof length from flavor traits. More...

#include <proof_length.hpp>

Inheritance diagram for bb::ProofLength::Oink< Flavor >:
bb::ProofLength::CodecConstants< Flavor >

Static Public Attributes

static constexpr size_t LENGTH_WITHOUT_PUB_INPUTS = Flavor::NUM_WITNESS_ENTITIES * num_frs_in_comm
 
- Static Public Attributes inherited from bb::ProofLength::CodecConstants< Flavor >
static constexpr size_t num_frs_in_comm = Codec::template calc_num_fields<Commitment>()
 
static constexpr size_t num_frs_in_scalar = Codec::template calc_num_fields<FF>()
 

Additional Inherited Members

- Public Types inherited from bb::ProofLength::CodecConstants< Flavor >
using Codec = typename Flavor::Codec
 
using Commitment = typename Flavor::Commitment
 
using FF = typename Flavor::FF
 

Detailed Description

template<typename Flavor>
struct bb::ProofLength::Oink< Flavor >

Computes Oink proof length from flavor traits.

Oink sends witness commitments (W_L, W_R, W_O, etc.). For ZK flavors, NUM_WITNESS_ENTITIES includes the Gemini masking polynomial commitment.

Definition at line 37 of file proof_length.hpp.

Member Data Documentation

◆ LENGTH_WITHOUT_PUB_INPUTS

template<typename Flavor >
constexpr size_t bb::ProofLength::Oink< Flavor >::LENGTH_WITHOUT_PUB_INPUTS = Flavor::NUM_WITNESS_ENTITIES * num_frs_in_comm
staticconstexpr

Definition at line 40 of file proof_length.hpp.


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