bb::TranslatorRecursiveVerifier Class Reference

#include <translator_recursive_verifier.hpp>

Public Types
using	Flavor = TranslatorRecursiveFlavor
using	FF = Flavor::FF
using	NativeBF = Flavor::Curve::BaseFieldNative
using	Builder = Flavor::CircuitBuilder
using	Curve = Flavor::Curve
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< Curve >
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 StdlibProof &proof, const BF &evaluation_input_x, const BF &batching_challenge_v, const BF &accumulated_result, const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > &op_queue_wire_commitments)
	Creates a circuit that executes the Translator verifier algorithm up to the final pairing check.

Public Attributes
std::shared_ptr< VerificationKey >	key
FF	vk_hash
std::shared_ptr< Transcript >	transcript
VerifierCommitmentKey	pcs_verification_key
Builder *	builder
RelationParams	relation_parameters

Detailed Description

Definition at line 18 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 23 of file translator_recursive_verifier.hpp.

Commitment

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

Definition at line 26 of file translator_recursive_verifier.hpp.

Curve

using bb::TranslatorRecursiveVerifier::Curve = Flavor::Curve

Definition at line 24 of file translator_recursive_verifier.hpp.

FF

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

Definition at line 21 of file translator_recursive_verifier.hpp.

Flavor

using bb::TranslatorRecursiveVerifier::Flavor = TranslatorRecursiveFlavor

Definition at line 20 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 22 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<Curve>

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 21 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 35 of file translator_recursive_verifier.cpp.

verify_proof()

TranslatorRecursiveVerifier::PairingPoints bb::TranslatorRecursiveVerifier::verify_proof	(	const StdlibProof &	proof,
		const BF &	evaluation_input_x,
		const BF &	batching_challenge_v,
		const BF &	accumulated_result,
		const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > &	op_queue_wire_commitments
	)

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 81 of file translator_recursive_verifier.cpp.

Member Data Documentation

builder

Builder* bb::TranslatorRecursiveVerifier::builder

Definition at line 41 of file translator_recursive_verifier.hpp.

key

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

Definition at line 37 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 43 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