Inheritance diagram for bb::KZGTest:

Public Types
using	Fr = typename Curve::ScalarField

using	Commitment = typename Curve::AffineElement

using	PCS = KZG< curve::BN254 >

using	ShplonkProver = ShplonkProver_< Curve >

using	ShplonkVerifier = ShplonkVerifier_< Curve >

using	GeminiProver = GeminiProver_< Curve >

using	GeminiVerifier = GeminiVerifier_< Curve >

using	ShpleminiVerifier = ShpleminiVerifier_< Curve >

using	CK = CommitmentKey< Curve >

using	VK = VerifierCommitmentKey< Curve >

Static Public Member Functions
static void	SetUpTestSuite ()

static void	prove_and_verify (const OpeningPair< Curve > &opening_pair, bb::Polynomial< Fr > &witness)

Static Public Member Functions inherited from bb::CommitmentTest< Curve >
static void	SetUpTestSuite ()

static void	TearDownTestSuite ()

Static Public Attributes
static constexpr size_t	n = 16

static constexpr size_t	log_n = 4

static CK	ck

static VK	vk

static constexpr Commitment	g1_identity = Commitment::one()

Static Public Attributes inherited from bb::CommitmentTest< Curve >
static CK	commitment_key

static VK	verification_key

Additional Inherited Members
Public Member Functions inherited from bb::CommitmentTest< Curve >
	CommitmentTest ()

const CK &	ck ()

VK &	vk ()

Commitment	commit (const Polynomial &polynomial)

Fr	random_element ()

Polynomial	random_polynomial (const size_t poly_size)

OpeningPair< Curve >	random_eval (const Polynomial &polynomial)

std::vector< Fr >	random_evaluation_point (const size_t num_variables)

void	verify_opening_claim (const OpeningClaim< Curve > &claim, const Polynomial &witness, CommitmentKey< Curve > ck=CommitmentKey< Curve >())

void	verify_opening_pair (const OpeningPair< Curve > &opening_pair, const Polynomial &witness)

void	verify_batch_opening_claim (std::span< const OpeningClaim< 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< 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< Curve > >	generate_claim_data (const std::vector< size_t > &poly_sizes)

std::pair< std::vector< Fr >, std::vector< Fr > >	combine_claims (std::vector< UnivariateClaimData< Curve > > &claims)

Public Attributes inherited from bb::CommitmentTest< Curve >
numeric::RNG *	engine