Class for all the oink rounds, which are shared between the folding prover and ultra prover. More...

#include <oink_prover.hpp>

Public Types
using	SubrelationSeparator = typename Flavor::SubrelationSeparator

Public Member Functions
	OinkProver (std::shared_ptr< ProverInstance > prover_instance, std::shared_ptr< HonkVK > honk_vk, const std::shared_ptr< typename Flavor::Transcript > &transcript=std::make_shared< Transcript >(), std::string domain_separator="")

void	prove ()
	Oink Prover function that runs all the rounds of the verifier.

Proof	export_proof ()
	Export the Oink proof.

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

void	execute_wire_commitments_round ()
	Commit to the wire polynomials (part of the witness), with the exception of the fourth wire, which is only commited to after adding memory records. In the Goblin Flavor, we also commit to the ECC OP wires and the DataBus columns.

void	execute_sorted_list_accumulator_round ()
	Compute sorted witness-table accumulator and commit to the resulting polynomials.

void	execute_log_derivative_inverse_round ()
	Compute log derivative inverse polynomial and its commitment, if required.

void	execute_grand_product_computation_round ()
	Compute permutation and lookup grand product polynomials and their commitments.

void	commit_to_masking_poly ()

SubrelationSeparator	generate_alpha_round ()

Flavor::Commitment	commit_to_witness_polynomial (Polynomial< FF > &polynomial, const std::string &label)
	A uniform method to mask, commit, and send the corresponding commitment to the verifier.

Public Attributes
std::shared_ptr< ProverInstance >	prover_instance

std::shared_ptr< HonkVK >	honk_vk

std::shared_ptr< Transcript >	transcript

std::string	domain_separator

Flavor::CommitmentLabels	commitment_labels

Private Types
using	CommitmentKey = typename Flavor::CommitmentKey

using	HonkVK = typename Flavor::VerificationKey

using	ProverInstance = ProverInstance_< Flavor >

using	Transcript = typename Flavor::Transcript

using	FF = typename Flavor::FF

using	Proof = typename Transcript::Proof

Detailed Description

template<IsUltraOrMegaHonk Flavor>
class bb::OinkProver< Flavor >

Class for all the oink rounds, which are shared between the folding prover and ultra prover.

This class contains execute_preamble_round(), execute_wire_commitments_round(), execute_sorted_list_accumulator_round(), execute_log_derivative_inverse_round(), and execute_grand_product_computation_round().

Template Parameters

Flavor

Definition at line 39 of file oink_prover.hpp.

Member Typedef Documentation

◆ CommitmentKey

template<IsUltraOrMegaHonk Flavor>

using bb::OinkProver< Flavor >::CommitmentKey = typename Flavor::CommitmentKey

private

Definition at line 40 of file oink_prover.hpp.

◆ FF

template<IsUltraOrMegaHonk Flavor>

using bb::OinkProver< Flavor >::FF = typename Flavor::FF

private

Definition at line 44 of file oink_prover.hpp.

◆ HonkVK

template<IsUltraOrMegaHonk Flavor>

using bb::OinkProver< Flavor >::HonkVK = typename Flavor::VerificationKey

private

Definition at line 41 of file oink_prover.hpp.

◆ Proof

template<IsUltraOrMegaHonk Flavor>

using bb::OinkProver< Flavor >::Proof = typename Transcript::Proof

private

Definition at line 45 of file oink_prover.hpp.

◆ ProverInstance

template<IsUltraOrMegaHonk Flavor>

using bb::OinkProver< Flavor >::ProverInstance = ProverInstance_<Flavor>

private

Definition at line 42 of file oink_prover.hpp.

◆ SubrelationSeparator

template<IsUltraOrMegaHonk Flavor>

using bb::OinkProver< Flavor >::SubrelationSeparator = typename Flavor::SubrelationSeparator

Definition at line 54 of file oink_prover.hpp.

◆ Transcript

template<IsUltraOrMegaHonk Flavor>

using bb::OinkProver< Flavor >::Transcript = typename Flavor::Transcript

private

Definition at line 43 of file oink_prover.hpp.

Constructor & Destructor Documentation

◆ OinkProver()

template<IsUltraOrMegaHonk Flavor>

bb::OinkProver< Flavor >::OinkProver	(	std::shared_ptr< ProverInstance >	prover_instance,
		std::shared_ptr< HonkVK >	honk_vk,
		const std::shared_ptr< typename Flavor::Transcript > &	transcript = `std::make_shared<Transcript>()`,
		std::string	domain_separator = `""`
	)

inline

Definition at line 56 of file oink_prover.hpp.

Member Function Documentation

◆ commit_to_masking_poly()

template<IsUltraOrMegaHonk Flavor>

void bb::OinkProver< Flavor >::commit_to_masking_poly ( )

Definition at line 274 of file oink_prover.cpp.

◆ commit_to_witness_polynomial()

template<IsUltraOrMegaHonk Flavor>

Flavor::Commitment bb::OinkProver< Flavor >::commit_to_witness_polynomial	(	Polynomial< FF > &	polynomial,
		const std::string &	label
	)

A uniform method to mask, commit, and send the corresponding commitment to the verifier.

Parameters

polynomial
label
type

Definition at line 256 of file oink_prover.cpp.

◆ execute_grand_product_computation_round()

template<IsUltraOrMegaHonk Flavor>

void bb::OinkProver< Flavor >::execute_grand_product_computation_round ( )

Compute permutation and lookup grand product polynomials and their commitments.

Definition at line 221 of file oink_prover.cpp.

◆ execute_log_derivative_inverse_round()

template<IsUltraOrMegaHonk Flavor>

void bb::OinkProver< Flavor >::execute_log_derivative_inverse_round ( )

Compute log derivative inverse polynomial and its commitment, if required.

Definition at line 181 of file oink_prover.cpp.

◆ execute_preamble_round()

template<IsUltraOrMegaHonk Flavor>

void bb::OinkProver< Flavor >::execute_preamble_round ( )

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

Definition at line 63 of file oink_prover.cpp.

◆ execute_sorted_list_accumulator_round()

template<IsUltraOrMegaHonk Flavor>

void bb::OinkProver< Flavor >::execute_sorted_list_accumulator_round ( )

Compute sorted witness-table accumulator and commit to the resulting polynomials.

Definition at line 144 of file oink_prover.cpp.

◆ execute_wire_commitments_round()

template<IsUltraOrMegaHonk Flavor>

void bb::OinkProver< Flavor >::execute_wire_commitments_round ( )

Commit to the wire polynomials (part of the witness), with the exception of the fourth wire, which is only commited to after adding memory records. In the Goblin Flavor, we also commit to the ECC OP wires and the DataBus columns.

Definition at line 81 of file oink_prover.cpp.

◆ export_proof()

template<IsUltraOrMegaHonk Flavor>

OinkProver< Flavor >::Proof bb::OinkProver< Flavor >::export_proof ( )

Export the Oink proof.

Definition at line 54 of file oink_prover.cpp.

◆ generate_alpha_round()

template<IsUltraOrMegaHonk Flavor>

Flavor::SubrelationSeparator bb::OinkProver< Flavor >::generate_alpha_round ( )

Definition at line 239 of file oink_prover.cpp.

◆ prove()

template<IsUltraOrMegaHonk Flavor>

void bb::OinkProver< Flavor >::prove ( )

Oink Prover function that runs all the rounds of the verifier.

Returns the witness commitments and relation_parameters

Template Parameters

Flavor

Definition at line 20 of file oink_prover.cpp.

Member Data Documentation

◆ commitment_labels

template<IsUltraOrMegaHonk Flavor>

Flavor::CommitmentLabels bb::OinkProver< Flavor >::commitment_labels

Definition at line 53 of file oink_prover.hpp.

◆ domain_separator

template<IsUltraOrMegaHonk Flavor>

std::string bb::OinkProver< Flavor >::domain_separator

Definition at line 51 of file oink_prover.hpp.

◆ honk_vk

template<IsUltraOrMegaHonk Flavor>

std::shared_ptr<HonkVK> bb::OinkProver< Flavor >::honk_vk

Definition at line 49 of file oink_prover.hpp.

◆ prover_instance

template<IsUltraOrMegaHonk Flavor>

std::shared_ptr<ProverInstance> bb::OinkProver< Flavor >::prover_instance

Definition at line 48 of file oink_prover.hpp.

◆ transcript

template<IsUltraOrMegaHonk Flavor>

std::shared_ptr<Transcript> bb::OinkProver< Flavor >::transcript

Definition at line 50 of file oink_prover.hpp.

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

src/barretenberg/ultra_honk/oink_prover.hpp
src/barretenberg/ultra_honk/oink_prover.cpp

Public Types

Public Member Functions

Public Attributes

Private Types

Detailed Description

Member Typedef Documentation

◆ CommitmentKey

◆ FF

◆ HonkVK

◆ Proof

◆ ProverInstance

◆ SubrelationSeparator

◆ Transcript

Constructor & Destructor Documentation

◆ OinkProver()

Member Function Documentation

◆ commit_to_masking_poly()

◆ commit_to_witness_polynomial()

◆ execute_grand_product_computation_round()

◆ execute_log_derivative_inverse_round()

◆ execute_preamble_round()

◆ execute_sorted_list_accumulator_round()

◆ execute_wire_commitments_round()

◆ export_proof()

◆ generate_alpha_round()

◆ prove()

Member Data Documentation

◆ commitment_labels

◆ domain_separator

◆ honk_vk

◆ prover_instance

◆ transcript