bb::ShpleminiTest< Flavor > Class Template Reference

Inheritance diagram for bb::ShpleminiTest< Flavor >:

Public Types
using	Fr = typename Flavor::Curve::ScalarField
using	GroupElement = typename Flavor::Curve::Element
using	Commitment = typename Flavor::Curve::AffineElement
using	CK = typename Flavor::CommitmentKey
using	IPA = IPA< typename Flavor::Curve, log_n >

Static Public Attributes
static constexpr size_t	log_n = 9
static constexpr size_t	n = 1UL << log_n
static constexpr size_t	num_polynomials = 7
static constexpr size_t	num_shiftable = 2
static constexpr size_t	num_right_shiftable_by_k = 2
static constexpr size_t	sumcheck_univariate_length = 24
Static Public Attributes inherited from bb::CommitmentTest< Flavor::Curve >
static CK	commitment_key
static VK	verification_key

Additional Inherited Members
Public Member Functions inherited from bb::CommitmentTest< Flavor::Curve >
	CommitmentTest ()
const CK &	ck ()
VK &	vk ()
Commitment	commit (const Polynomial &polynomial)
Fr	random_element ()
Polynomial	random_polynomial (const size_t poly_size)
OpeningPair< Flavor::Curve >	random_eval (const Polynomial &polynomial)
std::vector< Fr >	random_evaluation_point (const size_t num_variables)
void	verify_opening_claim (const OpeningClaim< Flavor::Curve > &claim, const Polynomial &witness, CommitmentKey< Flavor::Curve > ck=CommitmentKey< Flavor::Curve >())
void	verify_opening_pair (const OpeningPair< Flavor::Curve > &opening_pair, const Polynomial &witness)
void	verify_batch_opening_claim (std::span< const OpeningClaim< Flavor::Curve > > multi_claims, std::span< const Polynomial > witnesses)
	Ensures that a 'BatchOpeningClaim' is correct by checking that.
void	verify_batch_opening_pair (std::vector< ProverOpeningClaim< Flavor::Curve > > opening_claims)
	Ensures that a set of opening pairs is correct by checking that evaluations are correct by recomputing them from each witness polynomial.
std::vector< UnivariateClaimData< Flavor::Curve > >	generate_claim_data (const std::vector< size_t > &poly_sizes)
std::pair< std::vector< Fr >, std::vector< Fr > >	combine_claims (std::vector< UnivariateClaimData< Flavor::Curve > > &claims)
Static Public Member Functions inherited from bb::CommitmentTest< Flavor::Curve >
static void	SetUpTestSuite ()
static void	TearDownTestSuite ()
Public Attributes inherited from bb::CommitmentTest< Flavor::Curve >
numeric::RNG *	engine

Detailed Description

template<class Flavor>
class bb::ShpleminiTest< Flavor >

Definition at line 20 of file shplemini.test.cpp.

Member Typedef Documentation

CK

template<class Flavor >

using bb::ShpleminiTest< Flavor >::CK = typename Flavor::CommitmentKey

Definition at line 38 of file shplemini.test.cpp.

Commitment

template<class Flavor >

using bb::ShpleminiTest< Flavor >::Commitment = typename Flavor::Curve::AffineElement

Definition at line 37 of file shplemini.test.cpp.

Fr

template<class Flavor >

using bb::ShpleminiTest< Flavor >::Fr = typename Flavor::Curve::ScalarField

Definition at line 35 of file shplemini.test.cpp.

GroupElement

template<class Flavor >

using bb::ShpleminiTest< Flavor >::GroupElement = typename Flavor::Curve::Element

Definition at line 36 of file shplemini.test.cpp.

IPA

template<class Flavor >

using bb::ShpleminiTest< Flavor >::IPA = IPA<typename Flavor::Curve, log_n>

Definition at line 39 of file shplemini.test.cpp.

Member Data Documentation

log_n

template<class Flavor >

constexpr size_t bb::ShpleminiTest< Flavor >::log_n = 9

staticconstexpr

Definition at line 23 of file shplemini.test.cpp.

n

template<class Flavor >

constexpr size_t bb::ShpleminiTest< Flavor >::n = 1UL << log_n

staticconstexpr

Definition at line 24 of file shplemini.test.cpp.

num_polynomials

template<class Flavor >

constexpr size_t bb::ShpleminiTest< Flavor >::num_polynomials = 7

staticconstexpr

Definition at line 26 of file shplemini.test.cpp.

num_right_shiftable_by_k

template<class Flavor >

constexpr size_t bb::ShpleminiTest< Flavor >::num_right_shiftable_by_k = 2

staticconstexpr

Definition at line 30 of file shplemini.test.cpp.

num_shiftable

template<class Flavor >

constexpr size_t bb::ShpleminiTest< Flavor >::num_shiftable = 2

staticconstexpr

Definition at line 28 of file shplemini.test.cpp.

sumcheck_univariate_length

template<class Flavor >

constexpr size_t bb::ShpleminiTest< Flavor >::sumcheck_univariate_length = 24

staticconstexpr

Definition at line 33 of file shplemini.test.cpp.

---

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

• src/barretenberg/commitment_schemes/shplonk/shplemini.test.cpp