bb::MultilinearBatchingProvingKey Class Reference

#include <multilinear_batching_proving_key.hpp>

Public Types
using	Flavor = MultilinearBatchingFlavor
using	FF = typename Flavor::FF
using	ProvingKey = typename Flavor::ProvingKey
using	Polynomial = typename Flavor::Polynomial
using	ProverPolynomials = typename Flavor::ProverPolynomials
using	Commitment = typename Flavor::Commitment
using	CommitmentKey = typename Flavor::CommitmentKey

Public Member Functions
	MultilinearBatchingProvingKey ()=default
	MultilinearBatchingProvingKey (ProverPolynomials &polynomials, std::vector< FF > accumulator_challenge, std::vector< FF > instance_challenge, std::vector< FF > accumulator_evaluations, std::vector< FF > instance_evaluations, Commitment non_shifted_accumulator_commitment, Commitment shifted_accumulator_commitment, Commitment non_shifted_instance_commitment, Commitment shifted_instance_commitment, Polynomial preshifted_accumulator, Polynomial preshifted_instance)

Public Attributes
std::shared_ptr< ProvingKey >	proving_key
size_t	circuit_size
Commitment	non_shifted_accumulator_commitment
Commitment	shifted_accumulator_commitment
Commitment	non_shifted_instance_commitment
Commitment	shifted_instance_commitment
Polynomial	preshifted_accumulator
Polynomial	preshifted_instance

Detailed Description

Definition at line 14 of file multilinear_batching_proving_key.hpp.

Member Typedef Documentation

Commitment

using bb::MultilinearBatchingProvingKey::Commitment = typename Flavor::Commitment

Definition at line 21 of file multilinear_batching_proving_key.hpp.

CommitmentKey

using bb::MultilinearBatchingProvingKey::CommitmentKey = typename Flavor::CommitmentKey

Definition at line 22 of file multilinear_batching_proving_key.hpp.

FF

using bb::MultilinearBatchingProvingKey::FF = typename Flavor::FF

Definition at line 17 of file multilinear_batching_proving_key.hpp.

Flavor

using bb::MultilinearBatchingProvingKey::Flavor = MultilinearBatchingFlavor

Definition at line 16 of file multilinear_batching_proving_key.hpp.

Polynomial

using bb::MultilinearBatchingProvingKey::Polynomial = typename Flavor::Polynomial

Definition at line 19 of file multilinear_batching_proving_key.hpp.

ProverPolynomials

using bb::MultilinearBatchingProvingKey::ProverPolynomials = typename Flavor::ProverPolynomials

Definition at line 20 of file multilinear_batching_proving_key.hpp.

ProvingKey

using bb::MultilinearBatchingProvingKey::ProvingKey = typename Flavor::ProvingKey

Definition at line 18 of file multilinear_batching_proving_key.hpp.

Constructor & Destructor Documentation

MultilinearBatchingProvingKey() [1/2]

bb::MultilinearBatchingProvingKey::MultilinearBatchingProvingKey ( )

default

MultilinearBatchingProvingKey() [2/2]

bb::MultilinearBatchingProvingKey::MultilinearBatchingProvingKey ( ProverPolynomials &  polynomials, std::vector< FF >  accumulator_challenge, std::vector< FF >  instance_challenge, std::vector< FF >  accumulator_evaluations, std::vector< FF >  instance_evaluations, Commitment  non_shifted_accumulator_commitment, Commitment  shifted_accumulator_commitment, Commitment  non_shifted_instance_commitment, Commitment  shifted_instance_commitment, Polynomial  preshifted_accumulator, Polynomial  preshifted_instance  )

inline

Definition at line 34 of file multilinear_batching_proving_key.hpp.

Member Data Documentation

circuit_size

size_t bb::MultilinearBatchingProvingKey::circuit_size

Definition at line 25 of file multilinear_batching_proving_key.hpp.

non_shifted_accumulator_commitment

Commitment bb::MultilinearBatchingProvingKey::non_shifted_accumulator_commitment

Definition at line 26 of file multilinear_batching_proving_key.hpp.

non_shifted_instance_commitment

Commitment bb::MultilinearBatchingProvingKey::non_shifted_instance_commitment

Definition at line 28 of file multilinear_batching_proving_key.hpp.

preshifted_accumulator

Polynomial bb::MultilinearBatchingProvingKey::preshifted_accumulator

Definition at line 30 of file multilinear_batching_proving_key.hpp.

preshifted_instance

Polynomial bb::MultilinearBatchingProvingKey::preshifted_instance

Definition at line 31 of file multilinear_batching_proving_key.hpp.

proving_key

std::shared_ptr<ProvingKey> bb::MultilinearBatchingProvingKey::proving_key

Definition at line 24 of file multilinear_batching_proving_key.hpp.

shifted_accumulator_commitment

Commitment bb::MultilinearBatchingProvingKey::shifted_accumulator_commitment

Definition at line 27 of file multilinear_batching_proving_key.hpp.

shifted_instance_commitment

Commitment bb::MultilinearBatchingProvingKey::shifted_instance_commitment

Definition at line 29 of file multilinear_batching_proving_key.hpp.

---

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

• src/barretenberg/multilinear_batching/multilinear_batching_proving_key.hpp