Derived class that defines proof structure for ECCVM proofs, as well as supporting functions. More...

#include <toy_avm.hpp>

Inheritance diagram for proof_system::honk::flavor::ToyAVM::Transcript:

Public Member Functions
	Transcript (const std::vector< uint8_t > &proof)

void	deserialize_full_transcript ()

void	serialize_full_transcript ()

Public Member Functions inherited from proof_system::honk::BaseTranscript
	BaseTranscript (const Proof &proof_data)
	Construct a new Base Transcript object for Verifier using proof_data.

std::vector< uint8_t >	export_proof ()
	Return the proof data starting at proof_start.

void	load_proof (const std::vector< uint8_t > &proof)

template<typename... Strings>
std::array< uint256_t, sizeof...(Strings)>	get_challenges (const Strings &... labels)
	After all the prover messages have been sent, finalize the round by hashing all the data and then create the number of requested challenges.

template<class T >
void	send_to_verifier (const std::string &label, const T &element)
	Adds a prover message to the transcript, only intended to be used by the prover.

template<class T >
T	receive_from_prover (const std::string &label)
	Reads the next element of type `T` from the transcript, with a predefined label, only used by verifier.

uint256_t	get_challenge (const std::string &label)

TranscriptManifest	get_manifest () const

void	print ()

Public Attributes
uint32_t	circuit_size

Commitment	column_0_comm

Commitment	column_1_comm

Commitment	permutation_inverses_comm

std::vector< barretenberg::Univariate< FF, BATCHED_RELATION_PARTIAL_LENGTH > >	sumcheck_univariates

std::array< FF, NUM_ALL_ENTITIES >	sumcheck_evaluations

std::vector< Commitment >	zm_cq_comms

Commitment	zm_cq_comm

Commitment	zm_pi_comm

Public Attributes inherited from proof_system::honk::BaseTranscript
std::ptrdiff_t	proof_start = 0

size_t	num_bytes_written = 0

size_t	num_bytes_read = 0

size_t	round_number = 0

Proof	proof_data

Additional Inherited Members
Public Types inherited from proof_system::honk::BaseTranscript
using	Proof = std::vector< uint8_t >

Static Public Member Functions inherited from proof_system::honk::BaseTranscript
static std::shared_ptr< BaseTranscript >	prover_init_empty ()
	For testing: initializes transcript with some arbitrary data so that a challenge can be generated after initialization. Only intended to be used by Prover.

static std::shared_ptr< BaseTranscript >	verifier_init_empty (const std::shared_ptr< BaseTranscript > &transcript)
	For testing: initializes transcript based on proof data then receives junk data produced by BaseTranscript::prover_init_empty(). Only intended to be used by Verifier.

Static Public Attributes inherited from proof_system::honk::BaseTranscript
static constexpr size_t	HASH_OUTPUT_SIZE = 32

Protected Member Functions inherited from proof_system::honk::BaseTranscript
void	consume_prover_element_bytes (const std::string &label, std::span< const uint8_t > element_bytes)
	Adds challenge elements to the current_round_buffer and updates the manifest.

template<typename T >
void	serialize_to_buffer (const T &element, Proof &proof_data)
	Serializes object and appends it to proof_data.

template<typename T >
T	deserialize_from_buffer (const Proof &proof_data, size_t &offset) const
	Deserializes the bytes starting at offset into the typed element and returns that element.

Detailed Description

Derived class that defines proof structure for ECCVM proofs, as well as supporting functions.

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

Public Member Functions