Public Types
using	ZeroMorph = pcs::zeromorph::ZeroMorphProver_< Curve >

Public Member Functions
	AvmMiniProver (std::shared_ptr< ProvingKey > input_key, std::shared_ptr< PCSCommitmentKey > commitment_key)

void	execute_preamble_round ()
	Add circuit size, public input size, and public inputs to transcript.

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

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>()

std::vector< FF >	public_inputs

proof_system::RelationParameters< FF >	relation_parameters

std::shared_ptr< ProvingKey >	key

ProverPolynomials	prover_polynomials

CommitmentLabels	commitment_labels

Polynomial	quotient_W

sumcheck::SumcheckOutput< Flavor >	sumcheck_output

std::shared_ptr< PCSCommitmentKey >	commitment_key

Constructor & Destructor Documentation

◆ AvmMiniProver()

proof_system::honk::AvmMiniProver::AvmMiniProver	(	std::shared_ptr< ProvingKey >	input_key,
		std::shared_ptr< PCSCommitmentKey >	commitment_key
	)

explicit

Create AvmMiniProver from proving key, witness and manifest.

Parameters

input_key	Proving key.
input_manifest	Input manifest

Template Parameters

settings Settings class.

void proof_system::honk::AvmMiniProver::execute_preamble_round ( )

Add circuit size, public input size, and public inputs to transcript.

void proof_system::honk::AvmMiniProver::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::AvmMiniProver::execute_wire_commitments_round ( )

Compute commitments to the first three wires.

void proof_system::honk::AvmMiniProver::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: