Public Types
using	field_pt = field_t< Builder >

using	witness_pt = witness_t< Builder >

using	fq_pt = bigfield< Builder, barretenberg::Bn254FqParams >

using	group_pt = element< Builder, fq_pt, field_pt, barretenberg::g1 >

using	Key = verification_key< stdlib::bn254< Builder > >

Public Member Functions
	Transcript (Builder *in_context, const transcript::Manifest &input_manifest)

	Transcript (Builder *in_context, const std::vector< uint8_t > &input_transcript, const transcript::Manifest &input_manifest)

	Transcript (Builder *in_context, const transcript::Manifest &input_manifest, const std::vector< field_pt > &field_buffer, const size_t num_public_inputs)
	Construct a new Transcript object using a proof represented as a field_pt vector.

transcript::Manifest	get_manifest () const

int	check_field_element_cache (const std::string &element_name) const

int	check_field_element_vector_cache (const std::string &element_name) const

int	check_group_element_cache (const std::string &element_name) const

int	check_challenge_cache (const std::string &challenge_name, const size_t challenge_idx) const

void	add_field_element (const std::string &element_name, const field_pt &element)

void	add_group_element (const std::string &element_name, const group_pt &element)

void	add_field_element_vector (const std::string &element_name, const std::vector< field_pt > &elements)

void	apply_fiat_shamir (const std::string &challenge_name)

field_pt	get_field_element (const std::string &element_name) const

std::vector< field_pt >	get_field_element_vector (const std::string &element_name) const

bool	has_challenge (const std::string &challenge_name) const

field_pt	get_challenge_field_element (const std::string &challenge_name, const size_t challenge_idx=0) const

field_pt	get_challenge_field_element_from_map (const std::string &challenge_name, const std::string &challenge_map_name) const

barretenberg::g1::affine_element	get_group_element (const std::string &element_name) const

group_pt	get_circuit_group_element (const std::string &element_name) const

size_t	get_num_challenges (const std::string &challenge_name) const

Static Public Member Functions
static fq_pt	convert_fq (Builder *ctx, const barretenberg::fq &input)

static group_pt	convert_g1 (Builder *ctx, const barretenberg::g1::affine_element &input)

Public Attributes
Builder *	context

Constructor & Destructor Documentation

◆ Transcript()

template<typename Builder >

proof_system::plonk::stdlib::recursion::Transcript< Builder >::Transcript	(	Builder *	in_context,
		const transcript::Manifest &	input_manifest,
		const std::vector< field_pt > &	field_buffer,
		const size_t	num_public_inputs
	)

inline

Construct a new Transcript object using a proof represented as a field_pt vector.

N.B. If proof is represented as a uint8_t vector, Transcript will convert into witnesses in-situ. Use this constructor method if the proof is already present as circuit witnesses!

Parameters

in_context
input_manifest
field_buffer
num_public_inputs

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

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

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Constructor & Destructor Documentation

◆ Transcript()