#include <translator_verifier.hpp>

Public Types
using	Flavor = TranslatorFlavor

using	FF = Flavor::FF

using	BF = Flavor::BF

using	Commitment = Flavor::Commitment

using	ProvingKey = Flavor::ProvingKey

using	VerificationKey = Flavor::VerificationKey

using	VerifierCommitmentKey = Flavor::VerifierCommitmentKey

using	TranslationEvaluations = bb::TranslationEvaluations_< BF >

using	Transcript = Flavor::Transcript

Public Member Functions
	TranslatorVerifier (const std::shared_ptr< Transcript > &transcript)

	TranslatorVerifier (const std::shared_ptr< VerificationKey > &verifier_key, const std::shared_ptr< Transcript > &transcript)

	TranslatorVerifier (const std::shared_ptr< ProvingKey > &proving_key, const std::shared_ptr< Transcript > &transcript)

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

bool	verify_proof (const HonkProof &proof, const uint256_t &evaluation_input_x, const BF &batching_challenge_v, const uint256_t &accumulated_result, const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > &op_queue_wire_commitments)
	This function verifies a TranslatorFlavor Honk proof for given program settings.

Public Attributes
BF	evaluation_input_x = 0

BF	batching_challenge_v = 0

std::shared_ptr< VerificationKey >	key = std::make_shared<VerificationKey>()

std::shared_ptr< Transcript >	transcript

RelationParameters< FF >	relation_parameters

Detailed Description

Definition at line 14 of file translator_verifier.hpp.

Member Typedef Documentation

◆ BF

using bb::TranslatorVerifier::BF = Flavor::BF

Definition at line 18 of file translator_verifier.hpp.

◆ Commitment

using bb::TranslatorVerifier::Commitment = Flavor::Commitment

Definition at line 19 of file translator_verifier.hpp.

◆ FF

using bb::TranslatorVerifier::FF = Flavor::FF

Definition at line 17 of file translator_verifier.hpp.

◆ Flavor

using bb::TranslatorVerifier::Flavor = TranslatorFlavor

Definition at line 16 of file translator_verifier.hpp.

◆ ProvingKey

using bb::TranslatorVerifier::ProvingKey = Flavor::ProvingKey

Definition at line 20 of file translator_verifier.hpp.

◆ Transcript

using bb::TranslatorVerifier::Transcript = Flavor::Transcript

Definition at line 24 of file translator_verifier.hpp.

◆ TranslationEvaluations

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

Definition at line 23 of file translator_verifier.hpp.

◆ VerificationKey

using bb::TranslatorVerifier::VerificationKey = Flavor::VerificationKey

Definition at line 21 of file translator_verifier.hpp.

◆ VerifierCommitmentKey

using bb::TranslatorVerifier::VerifierCommitmentKey = Flavor::VerifierCommitmentKey

Definition at line 22 of file translator_verifier.hpp.

Constructor & Destructor Documentation

◆ TranslatorVerifier() [1/3]

bb::TranslatorVerifier::TranslatorVerifier ( const std::shared_ptr< Transcript > & transcript )

Definition at line 14 of file translator_verifier.cpp.

◆ TranslatorVerifier() [2/3]

bb::TranslatorVerifier::TranslatorVerifier	(	const std::shared_ptr< VerificationKey > &	verifier_key,
		const std::shared_ptr< Transcript > &	transcript
	)

Definition at line 18 of file translator_verifier.cpp.

◆ TranslatorVerifier() [3/3]

bb::TranslatorVerifier::TranslatorVerifier	(	const std::shared_ptr< ProvingKey > &	proving_key,
		const std::shared_ptr< Transcript > &	transcript
	)

Member Function Documentation

◆ put_translation_data_in_relation_parameters()

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

Definition at line 24 of file translator_verifier.cpp.

◆ verify_proof()

bool bb::TranslatorVerifier::verify_proof	(	const HonkProof &	proof,
		const uint256_t &	evaluation_input_x,
		const BF &	batching_challenge_v,
		const uint256_t &	accumulated_result,
		const std::array< Commitment, TranslatorFlavor::NUM_OP_QUEUE_WIRES > &	op_queue_wire_commitments
	)

This function verifies a TranslatorFlavor Honk proof for given program settings.

Definition at line 60 of file translator_verifier.cpp.

Member Data Documentation

◆ batching_challenge_v

BF bb::TranslatorVerifier::batching_challenge_v = 0

Definition at line 27 of file translator_verifier.hpp.

◆ evaluation_input_x

BF bb::TranslatorVerifier::evaluation_input_x = 0

Definition at line 26 of file translator_verifier.hpp.

◆ key

std::shared_ptr<VerificationKey> bb::TranslatorVerifier::key = std::make_shared<VerificationKey>()

Definition at line 30 of file translator_verifier.hpp.

◆ relation_parameters

RelationParameters<FF> bb::TranslatorVerifier::relation_parameters

Definition at line 32 of file translator_verifier.hpp.

◆ transcript

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

Definition at line 31 of file translator_verifier.hpp.

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

src/barretenberg/translator_vm/translator_verifier.hpp
src/barretenberg/translator_vm/translator_verifier.cpp

Public Types

Public Member Functions

Public Attributes