#include <translator_recursive_verifier.hpp>

Public Types
using	Flavor = TranslatorRecursiveFlavor

using	FF = Flavor::FF

using	NativeBF = Flavor::Curve::BaseFieldNative

using	Builder = Flavor::CircuitBuilder

using	BF = Flavor::BF

using	Commitment = Flavor::Commitment

using	GroupElement = Flavor::GroupElement

using	VerificationKey = Flavor::VerificationKey

using	NativeVerificationKey = Flavor::NativeVerificationKey

using	VerifierCommitmentKey = Flavor::VerifierCommitmentKey

using	PairingPoints = stdlib::recursion::PairingPoints< Builder >

using	TranslationEvaluations = TranslationEvaluations_< BF >

using	Transcript = Flavor::Transcript

using	RelationParams = ::bb::RelationParameters< FF >

using	StdlibProof = stdlib::Proof< Builder >

Public Member Functions
	TranslatorRecursiveVerifier (Builder *builder, const std::shared_ptr< NativeVerificationKey > &native_verifier_key, const std::shared_ptr< Transcript > &transcript)

void	put_translation_data_in_relation_parameters (const BF &evaluation_input_x, const BF &batching_challenge_v, const BF &accumulated_result)

PairingPoints	verify_proof (const HonkProof &proof, const BF &evaluation_input_x, const BF &batching_challenge_v)
	Creates a circuit that executes the Translator verifier algorithm up to the final pairing check.

PairingPoints	verify_proof (const StdlibProof &proof, const BF &evaluation_input_x, const BF &batching_challenge_v)
	Creates a circuit that executes the Translator verifier algorithm up to the final pairing check.

void	verify_translation (const TranslationEvaluations &translation_evaluations, const BF &translation_masking_term_eval)

void	verify_consistency_with_final_merge (const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > &merge_commitments)
	Ensure translator verifier and last round of merge verification (operating with the final table) receive the same commitments to the op queue as part of the proof.

Public Attributes
std::shared_ptr< VerificationKey >	key

FF	vk_hash

std::shared_ptr< Transcript >	transcript

VerifierCommitmentKey	pcs_verification_key

std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES >	op_queue_commitments

Builder *	builder

RelationParams	relation_parameters

Detailed Description

Definition at line 19 of file translator_recursive_verifier.hpp.

Member Typedef Documentation

◆ BF

using bb::TranslatorRecursiveVerifier::BF = Flavor::BF

Definition at line 25 of file translator_recursive_verifier.hpp.

◆ Builder

using bb::TranslatorRecursiveVerifier::Builder = Flavor::CircuitBuilder

Definition at line 24 of file translator_recursive_verifier.hpp.

◆ Commitment

using bb::TranslatorRecursiveVerifier::Commitment = Flavor::Commitment

Definition at line 26 of file translator_recursive_verifier.hpp.

◆ FF

using bb::TranslatorRecursiveVerifier::FF = Flavor::FF

Definition at line 22 of file translator_recursive_verifier.hpp.

◆ Flavor

using bb::TranslatorRecursiveVerifier::Flavor = TranslatorRecursiveFlavor

Definition at line 21 of file translator_recursive_verifier.hpp.

◆ GroupElement

using bb::TranslatorRecursiveVerifier::GroupElement = Flavor::GroupElement

Definition at line 27 of file translator_recursive_verifier.hpp.

◆ NativeBF

using bb::TranslatorRecursiveVerifier::NativeBF = Flavor::Curve::BaseFieldNative

Definition at line 23 of file translator_recursive_verifier.hpp.

◆ NativeVerificationKey

using bb::TranslatorRecursiveVerifier::NativeVerificationKey = Flavor::NativeVerificationKey

Definition at line 29 of file translator_recursive_verifier.hpp.

◆ PairingPoints

using bb::TranslatorRecursiveVerifier::PairingPoints = stdlib::recursion::PairingPoints<Builder>

Definition at line 31 of file translator_recursive_verifier.hpp.

◆ RelationParams

using bb::TranslatorRecursiveVerifier::RelationParams = ::bb::RelationParameters<FF>

Definition at line 34 of file translator_recursive_verifier.hpp.

◆ StdlibProof

using bb::TranslatorRecursiveVerifier::StdlibProof = stdlib::Proof<Builder>

Definition at line 35 of file translator_recursive_verifier.hpp.

◆ Transcript

using bb::TranslatorRecursiveVerifier::Transcript = Flavor::Transcript

Definition at line 33 of file translator_recursive_verifier.hpp.

◆ TranslationEvaluations

using bb::TranslatorRecursiveVerifier::TranslationEvaluations = TranslationEvaluations_<BF>

Definition at line 32 of file translator_recursive_verifier.hpp.

◆ VerificationKey

using bb::TranslatorRecursiveVerifier::VerificationKey = Flavor::VerificationKey

Definition at line 28 of file translator_recursive_verifier.hpp.

◆ VerifierCommitmentKey

using bb::TranslatorRecursiveVerifier::VerifierCommitmentKey = Flavor::VerifierCommitmentKey

Definition at line 30 of file translator_recursive_verifier.hpp.

Constructor & Destructor Documentation

◆ TranslatorRecursiveVerifier()

bb::TranslatorRecursiveVerifier::TranslatorRecursiveVerifier	(	Builder *	builder,
		const std::shared_ptr< NativeVerificationKey > &	native_verifier_key,
		const std::shared_ptr< Transcript > &	transcript
	)

Definition at line 19 of file translator_recursive_verifier.cpp.

Member Function Documentation

◆ put_translation_data_in_relation_parameters()

void bb::TranslatorRecursiveVerifier::put_translation_data_in_relation_parameters	(	const BF &	evaluation_input_x,
		const BF &	batching_challenge_v,
		const BF &	accumulated_result
	)

Definition at line 33 of file translator_recursive_verifier.cpp.

◆ verify_consistency_with_final_merge()

void bb::TranslatorRecursiveVerifier::verify_consistency_with_final_merge ( const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > & merge_commitments )

Ensure translator verifier and last round of merge verification (operating with the final table) receive the same commitments to the op queue as part of the proof.

Definition at line 214 of file translator_recursive_verifier.cpp.

◆ verify_proof() [1/2]

TranslatorRecursiveVerifier::PairingPoints bb::TranslatorRecursiveVerifier::verify_proof	(	const HonkProof &	proof,
		const BF &	evaluation_input_x,
		const BF &	batching_challenge_v
	)

Creates a circuit that executes the Translator verifier algorithm up to the final pairing check.

Template Parameters

Flavor

Parameters

proof	Native proof
evaluation_input_x	Translation polynomial evaluation challenge
batching_challenge_v	Challenge for batching translation polynomial evaluations

Returns: TranslatorRecursiveVerifier_<Flavor>::PairingPoints

Definition at line 73 of file translator_recursive_verifier.cpp.

◆ verify_proof() [2/2]

TranslatorRecursiveVerifier::PairingPoints bb::TranslatorRecursiveVerifier::verify_proof	(	const StdlibProof &	proof,
		const BF &	evaluation_input_x,
		const BF &	batching_challenge_v
	)

Creates a circuit that executes the Translator verifier algorithm up to the final pairing check.

Template Parameters

Flavor

Parameters

proof	Stdlib proof
evaluation_input_x	Translation polynomial evaluation challenge
batching_challenge_v	Challenge for batching translation polynomial evaluations

Returns: TranslatorRecursiveVerifier_<Flavor>::PairingPoints

Definition at line 90 of file translator_recursive_verifier.cpp.

◆ verify_translation()

void bb::TranslatorRecursiveVerifier::verify_translation	(	const TranslationEvaluations &	translation_evaluations,
		const BF &	translation_masking_term_eval
	)

Definition at line 190 of file translator_recursive_verifier.cpp.

Member Data Documentation

◆ builder

Builder* bb::TranslatorRecursiveVerifier::builder

Definition at line 42 of file translator_recursive_verifier.hpp.

◆ key

std::shared_ptr<VerificationKey> bb::TranslatorRecursiveVerifier::key

Definition at line 37 of file translator_recursive_verifier.hpp.

◆ op_queue_commitments

std::array<Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES> bb::TranslatorRecursiveVerifier::op_queue_commitments

Definition at line 41 of file translator_recursive_verifier.hpp.

◆ pcs_verification_key

VerifierCommitmentKey bb::TranslatorRecursiveVerifier::pcs_verification_key

Definition at line 40 of file translator_recursive_verifier.hpp.

◆ relation_parameters

RelationParams bb::TranslatorRecursiveVerifier::relation_parameters

Definition at line 44 of file translator_recursive_verifier.hpp.

◆ transcript

std::shared_ptr<Transcript> bb::TranslatorRecursiveVerifier::transcript

Definition at line 39 of file translator_recursive_verifier.hpp.

◆ vk_hash

FF bb::TranslatorRecursiveVerifier::vk_hash

Definition at line 38 of file translator_recursive_verifier.hpp.

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

src/barretenberg/stdlib/translator_vm_verifier/translator_recursive_verifier.hpp
src/barretenberg/stdlib/translator_vm_verifier/translator_recursive_verifier.cpp

Public Types

Public Member Functions

Public Attributes