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::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 52 of file ultra_keccak_zk_flavor.hpp.

Member Typedef Documentation

Base

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

Definition at line 54 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 89 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 71 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 144 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 77 of file ultra_keccak_zk_flavor.hpp.

Member Data Documentation

hiding_polynomial_commitment

Commitment bb::UltraKeccakZKFlavor::Transcript::hiding_polynomial_commitment

Definition at line 66 of file ultra_keccak_zk_flavor.hpp.

hiding_polynomial_eval

FF bb::UltraKeccakZKFlavor::Transcript::hiding_polynomial_eval

Definition at line 67 of file ultra_keccak_zk_flavor.hpp.

libra_claimed_evaluation

FF bb::UltraKeccakZKFlavor::Transcript::libra_claimed_evaluation

Definition at line 59 of file ultra_keccak_zk_flavor.hpp.

libra_concatenation_commitment

Commitment bb::UltraKeccakZKFlavor::Transcript::libra_concatenation_commitment

Definition at line 57 of file ultra_keccak_zk_flavor.hpp.

libra_concatenation_eval

FF bb::UltraKeccakZKFlavor::Transcript::libra_concatenation_eval

Definition at line 62 of file ultra_keccak_zk_flavor.hpp.

libra_grand_sum_commitment

Commitment bb::UltraKeccakZKFlavor::Transcript::libra_grand_sum_commitment

Definition at line 60 of file ultra_keccak_zk_flavor.hpp.

libra_grand_sum_eval

FF bb::UltraKeccakZKFlavor::Transcript::libra_grand_sum_eval

Definition at line 64 of file ultra_keccak_zk_flavor.hpp.

libra_quotient_commitment

Commitment bb::UltraKeccakZKFlavor::Transcript::libra_quotient_commitment

Definition at line 61 of file ultra_keccak_zk_flavor.hpp.

libra_quotient_eval

FF bb::UltraKeccakZKFlavor::Transcript::libra_quotient_eval

Definition at line 65 of file ultra_keccak_zk_flavor.hpp.

libra_shifted_grand_sum_eval

FF bb::UltraKeccakZKFlavor::Transcript::libra_shifted_grand_sum_eval

Definition at line 63 of file ultra_keccak_zk_flavor.hpp.

libra_sum

FF bb::UltraKeccakZKFlavor::Transcript::libra_sum

Definition at line 58 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 56 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