Public Member Functions
	GoblinTranslatorProver (const std::shared_ptr< ProvingKey > &input_key, const std::shared_ptr< CommitmentKey > &commitment_key, const std::shared_ptr< Transcript > &transcript=std::make_shared< Transcript >())

void	execute_preamble_round ()
	Add circuit size and values used in the relations to the transcript.

void	execute_wire_and_sorted_constraints_commitments_round ()
	Compute commitments to the first three wires.

void	execute_grand_product_computation_round ()
	Compute permutation product polynomial and commitments.

void	execute_relation_check_rounds ()
	Run Sumcheck resulting in u = (u_1,...,u_d) challenges and all evaluations at u being calculated.

void	execute_zeromorph_rounds ()
	Execute the ZeroMorph protocol to prove the multilinear evaluations produced by Sumcheck.

plonk::proof &	export_proof ()

plonk::proof &	construct_proof ()

Public Attributes
std::shared_ptr< Transcript >	transcript = std::make_shared<Transcript>()

proof_system::RelationParameters< FF >	relation_parameters

std::shared_ptr< ProvingKey >	key

ProverPolynomials	prover_polynomials

CommitmentLabels	commitment_labels

std::shared_ptr< CommitmentKey >	commitment_key

sumcheck::SumcheckOutput< Flavor >	sumcheck_output

Constructor & Destructor Documentation

◆ GoblinTranslatorProver()

proof_system::honk::GoblinTranslatorProver::GoblinTranslatorProver	(	const std::shared_ptr< ProvingKey > &	input_key,
		const std::shared_ptr< CommitmentKey > &	commitment_key,
		const std::shared_ptr< Transcript > &	transcript = `std::make_shared<Transcript>()`
	)

explicit

Create GoblinTranslatorProver from proving key, witness and manifest.

Parameters

input_key	Proving key.
input_manifest	Input manifest

Template Parameters

settings Settings class. Create GoblinTranslatorProver from proving key, witness and manifest.

Parameters

input_key	Proving key.
input_manifest	Input manifest

Template Parameters

settings Settings class.

void proof_system::honk::GoblinTranslatorProver::execute_grand_product_computation_round ( )

Compute permutation product polynomial and commitments.

void proof_system::honk::GoblinTranslatorProver::execute_preamble_round ( )

Add circuit size and values used in the relations to the transcript.

void proof_system::honk::GoblinTranslatorProver::execute_relation_check_rounds ( )

Run Sumcheck resulting in u = (u_1,...,u_d) challenges and all evaluations at u being calculated.

void proof_system::honk::GoblinTranslatorProver::execute_wire_and_sorted_constraints_commitments_round ( )

Compute commitments to the first three wires.

void proof_system::honk::GoblinTranslatorProver::execute_zeromorph_rounds ( )

Execute the ZeroMorph protocol to prove the multilinear evaluations produced by Sumcheck.

See https://hackmd.io/dlf9xEwhTQyE3hiGbq4FsA?view for a complete description of the unrolled protocol.

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