ShplonkRecursionTest< Builder > Class Template Reference

Inheritance diagram for ShplonkRecursionTest< Builder >:

Public Types
using	Curve = stdlib::bn254< Builder >
using	NativeCurve = Curve::NativeCurve
using	Fr = Curve::ScalarField
using	Commitment = Curve::AffineElement

Public Member Functions
std::vector< OpeningClaim< Curve > >	native_to_stdlib_opening_claims (Builder *builder, std::vector< OpeningClaim< NativeCurve > > &opening_claims, const size_t num_claims)
std::pair< std::vector< Commitment >, std::vector< OpeningPair< Curve > > >	native_to_stdlib_pairs_and_commitments (Builder *builder, std::vector< OpeningClaim< NativeCurve > > &opening_claims, const size_t num_claims)
Public Member Functions inherited from bb::CommitmentTest< curve::BN254 >
	CommitmentTest ()
const CK &	ck ()
VK &	vk ()
Commitment	commit (const Polynomial &polynomial)
Fr	random_element ()
Polynomial	random_polynomial (const size_t poly_size)
OpeningPair< curve::BN254 >	random_eval (const Polynomial &polynomial)
std::vector< Fr >	random_evaluation_point (const size_t num_variables)
void	verify_opening_claim (const OpeningClaim< curve::BN254 > &claim, const Polynomial &witness, CommitmentKey< curve::BN254 > ck=CommitmentKey< curve::BN254 >())
void	verify_opening_pair (const OpeningPair< curve::BN254 > &opening_pair, const Polynomial &witness)
void	verify_batch_opening_claim (std::span< const OpeningClaim< curve::BN254 > > multi_claims, std::span< const Polynomial > witnesses)
	Ensures that a 'BatchOpeningClaim' is correct by checking that.
void	verify_batch_opening_pair (std::vector< ProverOpeningClaim< curve::BN254 > > 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< curve::BN254 > >	generate_claim_data (const std::vector< size_t > &poly_sizes)
std::pair< std::vector< Fr >, std::vector< Fr > >	combine_claims (std::vector< UnivariateClaimData< curve::BN254 > > &claims)

Additional Inherited Members
Static Public Member Functions inherited from bb::CommitmentTest< curve::BN254 >
static void	SetUpTestSuite ()
static void	TearDownTestSuite ()
Public Attributes inherited from bb::CommitmentTest< curve::BN254 >
numeric::RNG *	engine
Static Public Attributes inherited from bb::CommitmentTest< curve::BN254 >
static CK	commitment_key
static VK	verification_key

Detailed Description

template<class Builder>
class ShplonkRecursionTest< Builder >

Definition at line 13 of file shplonk.test.cpp.

Member Typedef Documentation

Commitment

template<class Builder >

using ShplonkRecursionTest< Builder >::Commitment = Curve::AffineElement

Definition at line 18 of file shplonk.test.cpp.

Curve

template<class Builder >

using ShplonkRecursionTest< Builder >::Curve = stdlib::bn254<Builder>

Definition at line 15 of file shplonk.test.cpp.

Fr

template<class Builder >

using ShplonkRecursionTest< Builder >::Fr = Curve::ScalarField

Definition at line 17 of file shplonk.test.cpp.

NativeCurve

template<class Builder >

using ShplonkRecursionTest< Builder >::NativeCurve = Curve::NativeCurve

Definition at line 16 of file shplonk.test.cpp.

Member Function Documentation

native_to_stdlib_opening_claims()

template<class Builder >

std::vector< OpeningClaim< Curve > > ShplonkRecursionTest< Builder >::native_to_stdlib_opening_claims ( Builder *  builder, std::vector< OpeningClaim< NativeCurve > > &  opening_claims, const size_t  num_claims  )

inline

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

native_to_stdlib_pairs_and_commitments()

template<class Builder >

std::pair< std::vector< Commitment >, std::vector< OpeningPair< Curve > > > ShplonkRecursionTest< Builder >::native_to_stdlib_pairs_and_commitments ( Builder *  builder, std::vector< OpeningClaim< NativeCurve > > &  opening_claims, const size_t  num_claims  )

inline

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

---

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

• src/barretenberg/commitment_schemes_recursion/shplonk.test.cpp