Contains all the information required by a Honk prover to create a proof, constructed from a finalized circuit. More...

#include <prover_instance.hpp>

Public Types
using	Flavor = Flavor_

using	FF = typename Flavor::FF

Public Member Functions
size_t	dyadic_size () const

size_t	log_dyadic_size () const

size_t	pub_inputs_offset () const

size_t	num_public_inputs () const

size_t	get_final_active_wire_idx () const

Flavor::PrecomputedData	get_precomputed ()

	ProverInstance_ (Circuit &circuit)

	ProverInstance_ ()=default

	ProverInstance_ (const ProverInstance_ &)=delete

	ProverInstance_ (ProverInstance_ &&)=delete

ProverInstance_ &	operator= (const ProverInstance_ &)=delete

ProverInstance_ &	operator= (ProverInstance_ &&)=delete

	~ProverInstance_ ()=default

Public Attributes
std::vector< FF >	public_inputs

ProverPolynomials	polynomials

WitnessCommitments	commitments

FF	alpha

RelationParameters< FF >	relation_parameters

std::vector< FF >	gate_challenges

HonkProof	ipa_proof

std::vector< uint32_t >	memory_read_records

std::vector< uint32_t >	memory_write_records

std::vector< uint32_t >	rom_logup_records

Static Public Attributes
static constexpr size_t	TRACE_OFFSET = Flavor::TRACE_OFFSET

Private Types
using	Circuit = typename Flavor::CircuitBuilder

using	ProverPolynomials = typename Flavor::ProverPolynomials

using	WitnessCommitments = typename Flavor::WitnessCommitments

using	Polynomial = typename Flavor::Polynomial

Private Member Functions
size_t	trace_active_range_size () const
	Get the size of the active trace range (0 to the final active wire index)

size_t	compute_dyadic_size (Circuit &)
	Compute the minimum dyadic (power-of-2) circuit size.

void	allocate_wires ()

void	allocate_permutation_argument_polynomials ()

void	allocate_lagrange_polynomials ()

void	allocate_selectors (const Circuit &)

void	allocate_table_lookup_polynomials (const Circuit &)

void	populate_memory_records (const Circuit &circuit)

Private Attributes
MetaData	metadata

size_t	final_active_wire_idx { std::numeric_limits<size_t>::max() }

void allocate_ecc_op_polynomials(const Circuit &) void allocate_databus_polynomials(const Circuit &) Flavor void construct_databus_polynomials(Circuit &) Flavor void	construct_lookup_polynomials (Circuit &circuit)

Detailed Description

template<typename Flavor_>
class bb::ProverInstance_< Flavor_ >

Contains all the information required by a Honk prover to create a proof, constructed from a finalized circuit.

Definition at line 27 of file prover_instance.hpp.

Member Typedef Documentation

◆ Circuit

template<typename Flavor_ >

using bb::ProverInstance_< Flavor_ >::Circuit = typename Flavor::CircuitBuilder

private

Definition at line 36 of file prover_instance.hpp.

◆ FF

template<typename Flavor_ >

using bb::ProverInstance_< Flavor_ >::FF = typename Flavor::FF

Definition at line 30 of file prover_instance.hpp.

◆ Flavor

template<typename Flavor_ >

using bb::ProverInstance_< Flavor_ >::Flavor = Flavor_

Definition at line 29 of file prover_instance.hpp.

◆ Polynomial

template<typename Flavor_ >

using bb::ProverInstance_< Flavor_ >::Polynomial = typename Flavor::Polynomial

private

Definition at line 39 of file prover_instance.hpp.

◆ ProverPolynomials

template<typename Flavor_ >

using bb::ProverInstance_< Flavor_ >::ProverPolynomials = typename Flavor::ProverPolynomials

private

Definition at line 37 of file prover_instance.hpp.

◆ WitnessCommitments

template<typename Flavor_ >

using bb::ProverInstance_< Flavor_ >::WitnessCommitments = typename Flavor::WitnessCommitments

private

Definition at line 38 of file prover_instance.hpp.

Constructor & Destructor Documentation

◆ ProverInstance_() [1/4]

template<typename Flavor >

bb::ProverInstance_< Flavor >::ProverInstance_ ( Circuit & circuit )

Definition at line 25 of file prover_instance.cpp.

◆ ProverInstance_() [2/4]

template<typename Flavor_ >

bb::ProverInstance_< Flavor_ >::ProverInstance_ ( )

default

◆ ProverInstance_() [3/4]

template<typename Flavor_ >

bb::ProverInstance_< Flavor_ >::ProverInstance_ ( const ProverInstance_< Flavor_ > & )

delete

◆ ProverInstance_() [4/4]

template<typename Flavor_ >

bb::ProverInstance_< Flavor_ >::ProverInstance_ ( ProverInstance_< Flavor_ > && )

delete

◆ ~ProverInstance_()

template<typename Flavor_ >

bb::ProverInstance_< Flavor_ >::~ProverInstance_ ( )

default

Member Function Documentation

◆ allocate_lagrange_polynomials()

template<typename Flavor >

void bb::ProverInstance_< Flavor >::allocate_lagrange_polynomials ( )

private

Definition at line 177 of file prover_instance.cpp.

◆ allocate_permutation_argument_polynomials()

template<typename Flavor >

void bb::ProverInstance_< Flavor >::allocate_permutation_argument_polynomials ( )

private

Definition at line 160 of file prover_instance.cpp.

◆ allocate_selectors()

template<typename Flavor >

void bb::ProverInstance_< Flavor >::allocate_selectors ( const Circuit & circuit )

private

Definition at line 188 of file prover_instance.cpp.

◆ allocate_table_lookup_polynomials()

template<typename Flavor >
requires (Flavor::HasLogDerivLookup)

void bb::ProverInstance_< Flavor >::allocate_table_lookup_polynomials ( const Circuit & circuit )

private

Definition at line 206 of file prover_instance.cpp.

◆ allocate_wires()

template<typename Flavor >

void bb::ProverInstance_< Flavor >::allocate_wires ( )

private

Definition at line 149 of file prover_instance.cpp.

◆ compute_dyadic_size()

template<typename Flavor >

size_t bb::ProverInstance_< Flavor >::compute_dyadic_size ( Circuit & circuit )

private

Compute the minimum dyadic (power-of-2) circuit size.

The dyadic circuit size is the smallest power of two which can accommodate all polynomials required for the proving system. This size must account for the execution trace itself, i.e. the wires/selectors, but also any auxiliary polynomials like those that store the table data for lookup arguments.

Template Parameters

Flavor

Parameters

circuit

Definition at line 132 of file prover_instance.cpp.

◆ dyadic_size()

template<typename Flavor_ >

size_t bb::ProverInstance_< Flavor_ >::dyadic_size ( ) const

inline

Definition at line 58 of file prover_instance.hpp.

◆ get_final_active_wire_idx()

template<typename Flavor_ >

size_t bb::ProverInstance_< Flavor_ >::get_final_active_wire_idx ( ) const

inline

Definition at line 66 of file prover_instance.hpp.

◆ get_precomputed()

template<typename Flavor_ >

Flavor::PrecomputedData bb::ProverInstance_< Flavor_ >::get_precomputed ( )

inline

Definition at line 73 of file prover_instance.hpp.

◆ log_dyadic_size()

template<typename Flavor_ >

size_t bb::ProverInstance_< Flavor_ >::log_dyadic_size ( ) const

inline

Definition at line 59 of file prover_instance.hpp.

◆ num_public_inputs()

template<typename Flavor_ >

size_t bb::ProverInstance_< Flavor_ >::num_public_inputs ( ) const

inline

Definition at line 61 of file prover_instance.hpp.

◆ operator=() [1/2]

template<typename Flavor_ >

ProverInstance_ & bb::ProverInstance_< Flavor_ >::operator= ( const ProverInstance_< Flavor_ > & )

delete

◆ operator=() [2/2]

template<typename Flavor_ >

ProverInstance_ & bb::ProverInstance_< Flavor_ >::operator= ( ProverInstance_< Flavor_ > && )

delete

◆ populate_memory_records()

template<typename Flavor_ >

void bb::ProverInstance_< Flavor_ >::populate_memory_records ( const Circuit & circuit )

private

◆ pub_inputs_offset()

template<typename Flavor_ >

size_t bb::ProverInstance_< Flavor_ >::pub_inputs_offset ( ) const

inline

Definition at line 60 of file prover_instance.hpp.

◆ trace_active_range_size()

template<typename Flavor_ >

size_t bb::ProverInstance_< Flavor_ >::trace_active_range_size ( ) const

inlineprivate

Get the size of the active trace range (0 to the final active wire index)

Definition at line 89 of file prover_instance.hpp.

Member Data Documentation

◆ alpha

template<typename Flavor_ >

FF bb::ProverInstance_< Flavor_ >::alpha

Definition at line 48 of file prover_instance.hpp.

◆ commitments

template<typename Flavor_ >

WitnessCommitments bb::ProverInstance_< Flavor_ >::commitments

Definition at line 47 of file prover_instance.hpp.

◆ construct_lookup_polynomials

template<typename Flavor_ >

void allocate_ecc_op_polynomials(const Circuit &) void allocate_databus_polynomials(const Circuit &) Flavor void construct_databus_polynomials(Circuit &) Flavor void bb::ProverInstance_< Flavor_ >::construct_lookup_polynomials(Circuit &circuit)

private

Definition at line 113 of file prover_instance.hpp.

◆ final_active_wire_idx

template<typename Flavor_ >

size_t bb::ProverInstance_< Flavor_ >::final_active_wire_idx { std::numeric_limits<size_t>::max() }

private

Definition at line 42 of file prover_instance.hpp.

◆ gate_challenges

template<typename Flavor_ >

std::vector<FF> bb::ProverInstance_< Flavor_ >::gate_challenges

Definition at line 50 of file prover_instance.hpp.

◆ ipa_proof

template<typename Flavor_ >

HonkProof bb::ProverInstance_< Flavor_ >::ipa_proof

Definition at line 52 of file prover_instance.hpp.

◆ memory_read_records

template<typename Flavor_ >

std::vector<uint32_t> bb::ProverInstance_< Flavor_ >::memory_read_records

Definition at line 54 of file prover_instance.hpp.

◆ memory_write_records

template<typename Flavor_ >

std::vector<uint32_t> bb::ProverInstance_< Flavor_ >::memory_write_records

Definition at line 55 of file prover_instance.hpp.

◆ metadata

template<typename Flavor_ >

MetaData bb::ProverInstance_< Flavor_ >::metadata

private

Definition at line 40 of file prover_instance.hpp.

◆ polynomials

template<typename Flavor_ >

ProverPolynomials bb::ProverInstance_< Flavor_ >::polynomials

Definition at line 46 of file prover_instance.hpp.

◆ public_inputs

template<typename Flavor_ >

std::vector<FF> bb::ProverInstance_< Flavor_ >::public_inputs

Definition at line 45 of file prover_instance.hpp.

◆ relation_parameters

template<typename Flavor_ >

RelationParameters<FF> bb::ProverInstance_< Flavor_ >::relation_parameters

Definition at line 49 of file prover_instance.hpp.

◆ rom_logup_records

template<typename Flavor_ >

std::vector<uint32_t> bb::ProverInstance_< Flavor_ >::rom_logup_records

Definition at line 56 of file prover_instance.hpp.

◆ TRACE_OFFSET

template<typename Flavor_ >

constexpr size_t bb::ProverInstance_< Flavor_ >::TRACE_OFFSET = Flavor::TRACE_OFFSET

staticconstexpr

Definition at line 33 of file prover_instance.hpp.

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

src/barretenberg/ultra_honk/prover_instance.hpp
src/barretenberg/ultra_honk/prover_instance.cpp

Public Types

Public Member Functions

Public Attributes

Static Public Attributes

Private Types

Private Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ Circuit

◆ FF

◆ Flavor

◆ Polynomial

◆ ProverPolynomials

◆ WitnessCommitments

Constructor & Destructor Documentation

◆ ProverInstance_() [1/4]

◆ ProverInstance_() [2/4]

◆ ProverInstance_() [3/4]

◆ ProverInstance_() [4/4]

◆ ~ProverInstance_()

Member Function Documentation

◆ allocate_lagrange_polynomials()

◆ allocate_permutation_argument_polynomials()

◆ allocate_selectors()

◆ allocate_table_lookup_polynomials()

◆ allocate_wires()

◆ compute_dyadic_size()

◆ dyadic_size()

◆ get_final_active_wire_idx()

◆ get_precomputed()

◆ log_dyadic_size()

◆ num_public_inputs()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ populate_memory_records()

◆ pub_inputs_offset()

◆ trace_active_range_size()

Member Data Documentation

◆ alpha

◆ commitments

◆ construct_lookup_polynomials

◆ final_active_wire_idx

◆ gate_challenges

◆ ipa_proof

◆ memory_read_records

◆ memory_write_records

◆ metadata

◆ polynomials

◆ public_inputs

◆ relation_parameters

◆ rom_logup_records

◆ TRACE_OFFSET