bb::MultilinearBatchingVerifier< Flavor_ > Class Template Reference

#include <multilinear_batching_verifier.hpp>

Public Types
using	Flavor = Flavor_
using	FF = typename Flavor::FF
using	Curve = typename Flavor::Curve
using	Transcript = typename Flavor::Transcript
using	Commitment = typename Flavor::Commitment
using	Sumcheck = SumcheckVerifier< Flavor >
using	VerifierClaim = MultilinearBatchingVerifierClaim< Curve >
using	Proof = std::vector< FF >

Public Member Functions
	MultilinearBatchingVerifier (const std::shared_ptr< Transcript > &transcript)
std::pair< bool, VerifierClaim >	verify_proof ()

Private Attributes
std::shared_ptr< Transcript >	transcript
std::shared_ptr< VerifierClaim >	accumulator_claim
std::shared_ptr< VerifierClaim >	instance_claim
RelationParameters< FF >	relation_parameters

Detailed Description

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

Definition at line 19 of file multilinear_batching_verifier.hpp.

Member Typedef Documentation

Commitment

template<typename Flavor_ >

using bb::MultilinearBatchingVerifier< Flavor_ >::Commitment = typename Flavor::Commitment

Definition at line 26 of file multilinear_batching_verifier.hpp.

Curve

template<typename Flavor_ >

using bb::MultilinearBatchingVerifier< Flavor_ >::Curve = typename Flavor::Curve

Definition at line 23 of file multilinear_batching_verifier.hpp.

FF

template<typename Flavor_ >

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

Definition at line 22 of file multilinear_batching_verifier.hpp.

Flavor

template<typename Flavor_ >

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

Definition at line 21 of file multilinear_batching_verifier.hpp.

Proof

template<typename Flavor_ >

using bb::MultilinearBatchingVerifier< Flavor_ >::Proof = std::vector<FF>

Definition at line 29 of file multilinear_batching_verifier.hpp.

Sumcheck

template<typename Flavor_ >

using bb::MultilinearBatchingVerifier< Flavor_ >::Sumcheck = SumcheckVerifier<Flavor>

Definition at line 27 of file multilinear_batching_verifier.hpp.

Transcript

template<typename Flavor_ >

using bb::MultilinearBatchingVerifier< Flavor_ >::Transcript = typename Flavor::Transcript

Definition at line 24 of file multilinear_batching_verifier.hpp.

VerifierClaim

template<typename Flavor_ >

using bb::MultilinearBatchingVerifier< Flavor_ >::VerifierClaim = MultilinearBatchingVerifierClaim<Curve>

Definition at line 28 of file multilinear_batching_verifier.hpp.

Constructor & Destructor Documentation

MultilinearBatchingVerifier()

template<typename Flavor_ >

bb::MultilinearBatchingVerifier< Flavor_ >::MultilinearBatchingVerifier ( const std::shared_ptr< Transcript > &  transcript )

explicit

Definition at line 13 of file multilinear_batching_verifier.cpp.

Member Function Documentation

verify_proof()

template<typename Flavor_ >

std::pair< bool, typename MultilinearBatchingVerifier< Flavor_ >::VerifierClaim > bb::MultilinearBatchingVerifier< Flavor_ >::verify_proof

(

)

Definition at line 19 of file multilinear_batching_verifier.cpp.

Member Data Documentation

accumulator_claim

template<typename Flavor_ >

std::shared_ptr<VerifierClaim> bb::MultilinearBatchingVerifier< Flavor_ >::accumulator_claim

private

Definition at line 37 of file multilinear_batching_verifier.hpp.

instance_claim

template<typename Flavor_ >

std::shared_ptr<VerifierClaim> bb::MultilinearBatchingVerifier< Flavor_ >::instance_claim

private

Definition at line 38 of file multilinear_batching_verifier.hpp.

relation_parameters

template<typename Flavor_ >

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

private

Definition at line 39 of file multilinear_batching_verifier.hpp.

transcript

template<typename Flavor_ >

std::shared_ptr<Transcript> bb::MultilinearBatchingVerifier< Flavor_ >::transcript

private

Definition at line 36 of file multilinear_batching_verifier.hpp.

---

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

• src/barretenberg/multilinear_batching/multilinear_batching_verifier.hpp
• src/barretenberg/multilinear_batching/multilinear_batching_verifier.cpp