Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
bb::avm2::AvmProver Class Reference

#include <prover.hpp>

Public Types

using Flavor = AvmFlavor
 
using FF = Flavor::FF
 
using PCS = Flavor::PCS
 
using Curve = Flavor::Curve
 
using PCSCommitmentKey = Flavor::CommitmentKey
 
using ProvingKey = Flavor::ProvingKey
 
using VerificationKey = Flavor::VerificationKey
 
using Polynomial = Flavor::Polynomial
 
using ProverPolynomials = Flavor::ProverPolynomials
 
using Transcript = Flavor::Transcript
 
using Proof = HonkProof
 

Public Member Functions

 AvmProver (std::shared_ptr< ProvingKey > input_key, std::shared_ptr< VerificationKey > vk, const PCSCommitmentKey &commitment_key)
 
 AvmProver (AvmProver &&prover)=default
 
virtual ~AvmProver ()=default
 
virtual void execute_preamble_round ()
 Add circuit size, public input size, and public inputs to transcript.
 
virtual void execute_public_inputs_round ()
 Add public inputs to transcript.
 
virtual void execute_wire_commitments_round ()
 Compute commitments to all of the witness wires (apart from the logderivative inverse wires)
 
virtual void execute_log_derivative_inverse_round ()
 
virtual void execute_log_derivative_inverse_commitments_round ()
 
virtual void execute_relation_check_rounds ()
 Run Sumcheck resulting in u = (u_1,...,u_d) challenges and all evaluations at u being calculated.
 
virtual void execute_pcs_rounds ()
 
virtual HonkProof export_proof ()
 
virtual HonkProof construct_proof ()
 

Public Attributes

std::shared_ptr< Transcript > transcript = std::make_shared<Transcript>()
 
std::vector< FF > public_inputs
 
bb::RelationParameters< FF > relation_parameters
 
std::shared_ptr< ProvingKey > key
 
std::shared_ptr< VerificationKey > vk
 
ProverPolynomials prover_polynomials
 
Flavor::WitnessCommitments witness_commitments
 
Polynomial quotient_W
 
SumcheckOutput< Flavor > sumcheck_output
 
PCSCommitmentKey commitment_key
 

Detailed Description

Definition at line 11 of file prover.hpp.

Member Typedef Documentation

◆ Curve

using bb::avm2::AvmProver::Curve = Flavor::Curve

Definition at line 16 of file prover.hpp.

◆ FF

using bb::avm2::AvmProver::FF = Flavor::FF

Definition at line 14 of file prover.hpp.

◆ Flavor

using bb::avm2::AvmProver::Flavor = AvmFlavor

Definition at line 13 of file prover.hpp.

◆ PCS

using bb::avm2::AvmProver::PCS = Flavor::PCS

Definition at line 15 of file prover.hpp.

◆ PCSCommitmentKey

using bb::avm2::AvmProver::PCSCommitmentKey = Flavor::CommitmentKey

Definition at line 17 of file prover.hpp.

◆ Polynomial

using bb::avm2::AvmProver::Polynomial = Flavor::Polynomial

Definition at line 20 of file prover.hpp.

◆ Proof

using bb::avm2::AvmProver::Proof = HonkProof

Definition at line 23 of file prover.hpp.

◆ ProverPolynomials

using bb::avm2::AvmProver::ProverPolynomials = Flavor::ProverPolynomials

Definition at line 21 of file prover.hpp.

◆ ProvingKey

using bb::avm2::AvmProver::ProvingKey = Flavor::ProvingKey

Definition at line 18 of file prover.hpp.

◆ Transcript

using bb::avm2::AvmProver::Transcript = Flavor::Transcript

Definition at line 22 of file prover.hpp.

◆ VerificationKey

using bb::avm2::AvmProver::VerificationKey = Flavor::VerificationKey

Definition at line 19 of file prover.hpp.

Constructor & Destructor Documentation

◆ AvmProver() [1/2]

bb::avm2::AvmProver::AvmProver ( std::shared_ptr< ProvingKey >  input_key,
std::shared_ptr< VerificationKey >  vk,
const PCSCommitmentKey &  commitment_key 
)
explicit

Create AvmProver from proving key, witness and manifest.

Parameters
input_keyProving key.
input_manifestInput manifest
Template Parameters
settingsSettings class.

Definition at line 35 of file prover.cpp.

◆ AvmProver() [2/2]

bb::avm2::AvmProver::AvmProver ( AvmProver &&  prover)
default

◆ ~AvmProver()

virtual bb::avm2::AvmProver::~AvmProver ( )
virtualdefault

Member Function Documentation

◆ construct_proof()

HonkProof bb::avm2::AvmProver::construct_proof ( )
virtual

Definition at line 187 of file prover.cpp.

◆ execute_log_derivative_inverse_commitments_round()

void bb::avm2::AvmProver::execute_log_derivative_inverse_commitments_round ( )
virtual

Definition at line 123 of file prover.cpp.

◆ execute_log_derivative_inverse_round()

void bb::avm2::AvmProver::execute_log_derivative_inverse_round ( )
virtual

Definition at line 96 of file prover.cpp.

◆ execute_pcs_rounds()

void bb::avm2::AvmProver::execute_pcs_rounds ( )
virtual

Definition at line 164 of file prover.cpp.

◆ execute_preamble_round()

void bb::avm2::AvmProver::execute_preamble_round ( )
virtual

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

Definition at line 48 of file prover.cpp.

◆ execute_public_inputs_round()

void bb::avm2::AvmProver::execute_public_inputs_round ( )
virtual

Add public inputs to transcript.

Definition at line 60 of file prover.cpp.

◆ execute_relation_check_rounds()

void bb::avm2::AvmProver::execute_relation_check_rounds ( )
virtual

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

Definition at line 141 of file prover.cpp.

◆ execute_wire_commitments_round()

void bb::avm2::AvmProver::execute_wire_commitments_round ( )
virtual

Compute commitments to all of the witness wires (apart from the logderivative inverse wires)

Definition at line 82 of file prover.cpp.

◆ export_proof()

HonkProof bb::avm2::AvmProver::export_proof ( )
virtual

Definition at line 182 of file prover.cpp.

Member Data Documentation

◆ commitment_key

PCSCommitmentKey bb::avm2::AvmProver::commitment_key

Definition at line 62 of file prover.hpp.

◆ key

std::shared_ptr<ProvingKey> bb::avm2::AvmProver::key

Definition at line 50 of file prover.hpp.

◆ prover_polynomials

ProverPolynomials bb::avm2::AvmProver::prover_polynomials

Definition at line 54 of file prover.hpp.

◆ public_inputs

std::vector<FF> bb::avm2::AvmProver::public_inputs

Definition at line 46 of file prover.hpp.

◆ quotient_W

Polynomial bb::avm2::AvmProver::quotient_W

Definition at line 58 of file prover.hpp.

◆ relation_parameters

bb::RelationParameters<FF> bb::avm2::AvmProver::relation_parameters

Definition at line 48 of file prover.hpp.

◆ sumcheck_output

SumcheckOutput<Flavor> bb::avm2::AvmProver::sumcheck_output

Definition at line 60 of file prover.hpp.

◆ transcript

std::shared_ptr<Transcript> bb::avm2::AvmProver::transcript = std::make_shared<Transcript>()

Definition at line 44 of file prover.hpp.

◆ vk

std::shared_ptr<VerificationKey> bb::avm2::AvmProver::vk

Definition at line 51 of file prover.hpp.

◆ witness_commitments

Flavor::WitnessCommitments bb::avm2::AvmProver::witness_commitments

Definition at line 56 of file prover.hpp.

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