| Builder typedef | ShpleminiRecursionTest< PCS > | |
| CK typedef | bb::CommitmentTest< PCS::Curve::NativeCurve > | private |
| ck() | bb::CommitmentTest< PCS::Curve::NativeCurve > | inline |
| ClaimBatch typedef | ShpleminiRecursionTest< PCS > | |
| ClaimBatcher typedef | ShpleminiRecursionTest< PCS > | |
| 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 typedef | ShpleminiRecursionTest< PCS > | |
| commitment_key | bb::CommitmentTest< PCS::Curve::NativeCurve > | static |
| CommitmentKey typedef | ShpleminiRecursionTest< PCS > | |
| CommitmentTest() | bb::CommitmentTest< PCS::Curve::NativeCurve > | inline |
| convert_commitments_to_witnesses(Builder &builder, const std::vector< NativeCommitment > &native_commitments) | ShpleminiRecursionTest< PCS > | inlinestatic |
| convert_elements_to_witnesses(Builder &builder, const std::vector< NativeFr > &elements) | ShpleminiRecursionTest< PCS > | inlinestatic |
| Curve typedef | ShpleminiRecursionTest< PCS > | |
| engine | bb::CommitmentTest< PCS::Curve::NativeCurve > | |
| Fr typedef | ShpleminiRecursionTest< PCS > | |
| generate_claim_data(const std::vector< size_t > &poly_sizes) | bb::CommitmentTest< PCS::Curve::NativeCurve > | inline |
| log_circuit_size | ShpleminiRecursionTest< PCS > | static |
| MockClaimGen typedef | ShpleminiRecursionTest< PCS > | |
| NativeCommitment typedef | ShpleminiRecursionTest< PCS > | |
| NativeCurve typedef | ShpleminiRecursionTest< PCS > | |
| NativeFr typedef | ShpleminiRecursionTest< PCS > | |
| NativePCS typedef | ShpleminiRecursionTest< PCS > | |
| Polynomial typedef | bb::CommitmentTest< PCS::Curve::NativeCurve > | private |
| random_challenge_vector(size_t size) | ShpleminiRecursionTest< PCS > | inlinestatic |
| 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 |
| run_shplemini_full_scalars(size_t num_polys, size_t num_shifted, bool prove_eccvm=false) | ShpleminiRecursionTest< PCS > | inline |
| run_shplemini_generic(size_t num_polys, size_t num_shifted, bool short_scalars, bool prove_eccvm) | ShpleminiRecursionTest< PCS > | inlineprivate |
| run_shplemini_short_scalars(size_t num_polys, size_t num_shifted, bool prove_eccvm=false) | ShpleminiRecursionTest< PCS > | inline |
| SetUpTestSuite() | bb::CommitmentTest< PCS::Curve::NativeCurve > | inlinestatic |
| ShpleminiProver typedef | ShpleminiRecursionTest< PCS > | |
| ShpleminiVerifier typedef | ShpleminiRecursionTest< PCS > | |
| squashed_claim_batcher | ShpleminiRecursionTest< PCS > | |
| squashed_shifted_comm | ShpleminiRecursionTest< PCS > | |
| squashed_shifted_eval | ShpleminiRecursionTest< PCS > | |
| squashed_unshifted_comm | ShpleminiRecursionTest< PCS > | |
| squashed_unshifted_eval | ShpleminiRecursionTest< PCS > | |
| StdlibProof typedef | ShpleminiRecursionTest< PCS > | |
| TearDownTestSuite() | bb::CommitmentTest< PCS::Curve::NativeCurve > | inlinestatic |
| Transcript typedef | ShpleminiRecursionTest< PCS > | |
| validate_num_eccvm_rows(size_t num_polys, size_t num_shifted, bool short_scalars, Builder *builder) | ShpleminiRecursionTest< PCS > | inline |
| verification_key | bb::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 typedef | bb::CommitmentTest< PCS::Curve::NativeCurve > | private |
1.9.8