Public Types
using	Flavor = honk::flavor::GoblinTranslator

using	FF = typename Flavor::FF

using	BF = typename Flavor::BF

using	Commitment = typename Flavor::Commitment

using	VerificationKey = typename Flavor::VerificationKey

using	VerifierCommitmentKey = typename Flavor::VerifierCommitmentKey

using	TranslationEvaluations = barretenberg::TranslationEvaluations

using	Transcript = typename Flavor::Transcript

Public Member Functions
	GoblinTranslatorVerifier (const std::shared_ptr< VerificationKey > &verifier_key=nullptr, const std::shared_ptr< Transcript > &transcript=std::make_shared< Transcript >())

	GoblinTranslatorVerifier (GoblinTranslatorVerifier &&other) noexcept

	GoblinTranslatorVerifier (const GoblinTranslatorVerifier &other)=delete

GoblinTranslatorVerifier &	operator= (const GoblinTranslatorVerifier &other)=delete

GoblinTranslatorVerifier &	operator= (GoblinTranslatorVerifier &&other) noexcept

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 plonk::proof &proof)
	This function verifies an GoblinTranslator Honk proof for given program settings.

bool	verify_translation (const TranslationEvaluations &translation_evaluations)

Public Attributes
BF	evaluation_input_x = 0

BF	batching_challenge_v = 0

std::shared_ptr< VerificationKey >	key

std::map< std::string, Commitment >	commitments

std::map< std::string, FF >	pcs_fr_elements

std::shared_ptr< VerifierCommitmentKey >	pcs_verification_key

std::shared_ptr< Transcript >	transcript

RelationParameters< FF >	relation_parameters

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

Public Types

Public Member Functions