bb::UltraKeccakZKFlavor::Transcript Class Reference

Derived class that defines proof structure for Ultra zero knowledge proofs, as well as supporting functions. More...

#include <ultra_keccak_zk_flavor.hpp>

Inheritance diagram for bb::UltraKeccakZKFlavor::Transcript:

Public Types
using	Base = UltraKeccakFlavor::Transcript::Base

Public Member Functions
	Transcript ()=default
void	deserialize_full_transcript (size_t public_input_size, size_t virtual_log_n=VIRTUAL_LOG_N)
	Takes a FULL Ultra proof and deserializes it into the public member variables that compose the structure. Must be called in order to access the structure of the proof.
void	serialize_full_transcript (size_t virtual_log_n=VIRTUAL_LOG_N)
	Serializes the structure variables into a FULL Ultra proof. Should be called only if deserialize_full_transcript() was called and some transcript variable was modified.

Static Public Member Functions
static std::shared_ptr< Transcript >	prover_init_empty ()
static std::shared_ptr< Transcript >	verifier_init_empty (const std::shared_ptr< Transcript > &transcript)

Public Attributes
std::array< FF, NUM_ALL_ENTITIES >	sumcheck_evaluations
std::vector< bb::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > >	zk_sumcheck_univariates
Commitment	libra_concatenation_commitment
FF	libra_sum
FF	libra_claimed_evaluation
Commitment	libra_grand_sum_commitment
Commitment	libra_quotient_commitment
FF	libra_concatenation_eval
FF	libra_shifted_grand_sum_eval
FF	libra_grand_sum_eval
FF	libra_quotient_eval
Commitment	hiding_polynomial_commitment
FF	hiding_polynomial_eval

Detailed Description

Derived class that defines proof structure for Ultra zero knowledge proofs, as well as supporting functions.

Definition at line 86 of file ultra_keccak_zk_flavor.hpp.

Member Typedef Documentation

Base

using bb::UltraKeccakZKFlavor::Transcript::Base = UltraKeccakFlavor::Transcript::Base

Definition at line 88 of file ultra_keccak_zk_flavor.hpp.

Constructor & Destructor Documentation

Transcript()

bb::UltraKeccakZKFlavor::Transcript::Transcript ( )

default

Member Function Documentation

deserialize_full_transcript()

void bb::UltraKeccakZKFlavor::Transcript::deserialize_full_transcript ( size_t  public_input_size, size_t  virtual_log_n = VIRTUAL_LOG_N  )

inline

Takes a FULL Ultra proof and deserializes it into the public member variables that compose the structure. Must be called in order to access the structure of the proof.

Definition at line 125 of file ultra_keccak_zk_flavor.hpp.

prover_init_empty()

static std::shared_ptr< Transcript > bb::UltraKeccakZKFlavor::Transcript::prover_init_empty ( )

inlinestatic

Definition at line 107 of file ultra_keccak_zk_flavor.hpp.

serialize_full_transcript()

void bb::UltraKeccakZKFlavor::Transcript::serialize_full_transcript ( size_t  virtual_log_n = VIRTUAL_LOG_N )

inline

Serializes the structure variables into a FULL Ultra proof. Should be called only if deserialize_full_transcript() was called and some transcript variable was modified.

Definition at line 179 of file ultra_keccak_zk_flavor.hpp.

verifier_init_empty()

static std::shared_ptr< Transcript > bb::UltraKeccakZKFlavor::Transcript::verifier_init_empty ( const std::shared_ptr< Transcript > &  transcript )

inlinestatic

Definition at line 113 of file ultra_keccak_zk_flavor.hpp.

Member Data Documentation

hiding_polynomial_commitment

Commitment bb::UltraKeccakZKFlavor::Transcript::hiding_polynomial_commitment

Definition at line 102 of file ultra_keccak_zk_flavor.hpp.

hiding_polynomial_eval

FF bb::UltraKeccakZKFlavor::Transcript::hiding_polynomial_eval

Definition at line 103 of file ultra_keccak_zk_flavor.hpp.

libra_claimed_evaluation

FF bb::UltraKeccakZKFlavor::Transcript::libra_claimed_evaluation

Definition at line 95 of file ultra_keccak_zk_flavor.hpp.

libra_concatenation_commitment

Commitment bb::UltraKeccakZKFlavor::Transcript::libra_concatenation_commitment

Definition at line 93 of file ultra_keccak_zk_flavor.hpp.

libra_concatenation_eval

FF bb::UltraKeccakZKFlavor::Transcript::libra_concatenation_eval

Definition at line 98 of file ultra_keccak_zk_flavor.hpp.

libra_grand_sum_commitment

Commitment bb::UltraKeccakZKFlavor::Transcript::libra_grand_sum_commitment

Definition at line 96 of file ultra_keccak_zk_flavor.hpp.

libra_grand_sum_eval

FF bb::UltraKeccakZKFlavor::Transcript::libra_grand_sum_eval

Definition at line 100 of file ultra_keccak_zk_flavor.hpp.

libra_quotient_commitment

Commitment bb::UltraKeccakZKFlavor::Transcript::libra_quotient_commitment

Definition at line 97 of file ultra_keccak_zk_flavor.hpp.

libra_quotient_eval

FF bb::UltraKeccakZKFlavor::Transcript::libra_quotient_eval

Definition at line 101 of file ultra_keccak_zk_flavor.hpp.

libra_shifted_grand_sum_eval

FF bb::UltraKeccakZKFlavor::Transcript::libra_shifted_grand_sum_eval

Definition at line 99 of file ultra_keccak_zk_flavor.hpp.

libra_sum

FF bb::UltraKeccakZKFlavor::Transcript::libra_sum

Definition at line 94 of file ultra_keccak_zk_flavor.hpp.

sumcheck_evaluations

std::array<FF, NUM_ALL_ENTITIES> bb::UltraKeccakZKFlavor::Transcript::sumcheck_evaluations

Definition at line 90 of file ultra_keccak_zk_flavor.hpp.

zk_sumcheck_univariates

std::vector<bb::Univariate<FF, BATCHED_RELATION_PARTIAL_LENGTH> > bb::UltraKeccakZKFlavor::Transcript::zk_sumcheck_univariates

Definition at line 92 of file ultra_keccak_zk_flavor.hpp.

---

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

• src/barretenberg/flavor/ultra_keccak_zk_flavor.hpp