proof_system::plonk::stdlib::recursion::honk::Transcript< Builder > Class Template Reference

Public Types
using	field_ct = field_t< Builder >
using	FF = barretenberg::fr
using	BaseTranscript = proof_system::honk::BaseTranscript
using	StdlibTypes = utility::StdlibTypesUtility< Builder >

Public Member Functions
	Transcript (Builder *builder, auto proof_data)
auto	get_manifest () const
	Get the underlying native transcript manifest (primarily for debugging)
template<typename... Strings>
std::array< field_ct, sizeof...(Strings)>	get_challenges (const Strings &... labels)
	Compute the challenges (more than 1) indicated by labels.
field_ct	get_challenge (const std::string &label)
	Compute the single challenge indicated by the input label.
template<class T >
auto	receive_from_prover (const std::string &label)
	Extract a native element from the transcript and return a corresponding stdlib type.

Public Attributes
BaseTranscript	native_transcript
Builder *	builder

Static Public Attributes
static constexpr size_t	HASH_OUTPUT_SIZE = BaseTranscript::HASH_OUTPUT_SIZE

Member Function Documentation

get_challenge()

template<typename Builder >

field_ct proof_system::plonk::stdlib::recursion::honk::Transcript< Builder >::get_challenge ( const std::string &  label )

inline

Compute the single challenge indicated by the input label.

Parameters

label

Name of challenge

Returns

field_ct Challenge

get_challenges()

template<typename Builder >

template<typename... Strings>

std::array< field_ct, sizeof...(Strings)> proof_system::plonk::stdlib::recursion::honk::Transcript< Builder >::get_challenges ( const Strings &...  labels )

inline

Compute the challenges (more than 1) indicated by labels.

Template Parameters

Strings

Parameters

labels

Names of the challenges to be computed

Returns

std::array<FF, sizeof...(Strings)> Array of challenges

get_manifest()

template<typename Builder >

auto proof_system::plonk::stdlib::recursion::honk::Transcript< Builder >::get_manifest ( ) const

inline

Get the underlying native transcript manifest (primarily for debugging)

receive_from_prover()

template<typename Builder >

template<class T >

auto proof_system::plonk::stdlib::recursion::honk::Transcript< Builder >::receive_from_prover ( const std::string &  label )

inline

Extract a native element from the transcript and return a corresponding stdlib type.

Template Parameters

T	Type of the native element to be extracted

Parameters

label

Name of the element

Returns

The corresponding element of appropriate stdlib type

---

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

• src/barretenberg/stdlib/recursion/honk/transcript/transcript.hpp