Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
ShpleminiRecursionTest< PCS > Member List

This is the complete list of members for ShpleminiRecursionTest< PCS >, including all inherited members.

CK typedefbb::CommitmentTest< PCS::Curve::NativeCurve >private
ck()bb::CommitmentTest< PCS::Curve::NativeCurve >inline
combine_claims(std::vector< UnivariateClaimData< PCS::Curve::NativeCurve > > &claims)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
commit(const Polynomial &polynomial)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
Commitment typedefbb::CommitmentTest< PCS::Curve::NativeCurve >private
commitment_keybb::CommitmentTest< PCS::Curve::NativeCurve >static
CommitmentTest()bb::CommitmentTest< PCS::Curve::NativeCurve >inline
enginebb::CommitmentTest< PCS::Curve::NativeCurve >
Fr typedefbb::CommitmentTest< PCS::Curve::NativeCurve >private
generate_claim_data(const std::vector< size_t > &poly_sizes)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
Polynomial typedefbb::CommitmentTest< PCS::Curve::NativeCurve >private
random_element()bb::CommitmentTest< PCS::Curve::NativeCurve >inline
random_eval(const Polynomial &polynomial)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
random_evaluation_point(const size_t num_variables)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
random_polynomial(const size_t poly_size)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
SetUpTestSuite()bb::CommitmentTest< PCS::Curve::NativeCurve >inlinestatic
TearDownTestSuite()bb::CommitmentTest< PCS::Curve::NativeCurve >inlinestatic
verification_keybb::CommitmentTest< PCS::Curve::NativeCurve >static
verify_batch_opening_claim(std::span< const OpeningClaim< PCS::Curve::NativeCurve > > multi_claims, std::span< const Polynomial > witnesses)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
verify_batch_opening_pair(std::vector< ProverOpeningClaim< PCS::Curve::NativeCurve > > opening_claims)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
verify_opening_claim(const OpeningClaim< PCS::Curve::NativeCurve > &claim, const Polynomial &witness, CommitmentKey< PCS::Curve::NativeCurve > ck=CommitmentKey< PCS::Curve::NativeCurve >())bb::CommitmentTest< PCS::Curve::NativeCurve >inline
verify_opening_pair(const OpeningPair< PCS::Curve::NativeCurve > &opening_pair, const Polynomial &witness)bb::CommitmentTest< PCS::Curve::NativeCurve >inline
vk()bb::CommitmentTest< PCS::Curve::NativeCurve >inline
VK typedefbb::CommitmentTest< PCS::Curve::NativeCurve >private