| build_ipa_recursive_verifier_circuit(Polynomial &poly, Fr x) | BoomerangIPARecursiveTests | inline |
| ck() | bb::CommitmentTest< NativeCurve > | inline |
| CK typedef | BoomerangIPARecursiveTests | |
| combine_claims(std::vector< UnivariateClaimData< NativeCurve > > &claims) | bb::CommitmentTest< NativeCurve > | inline |
| commit(const Polynomial &polynomial) | bb::CommitmentTest< NativeCurve > | inline |
| Commitment typedef | BoomerangIPARecursiveTests | |
| commitment_key | bb::CommitmentTest< NativeCurve > | static |
| CommitmentTest() | bb::CommitmentTest< NativeCurve > | inline |
| create_ipa_claim(Builder &builder, Polynomial &poly, Fr x) | BoomerangIPARecursiveTests | inline |
| engine | bb::CommitmentTest< NativeCurve > | |
| FailureMode enum name | BoomerangIPARecursiveTests | |
| Fr typedef | BoomerangIPARecursiveTests | |
| generate_claim_data(const std::vector< size_t > &poly_sizes) | bb::CommitmentTest< NativeCurve > | inline |
| generate_poly_and_challenge(PolyType poly_type=PolyType::Random) | BoomerangIPARecursiveTests | inline |
| GroupElement typedef | BoomerangIPARecursiveTests | |
| Polynomial typedef | BoomerangIPARecursiveTests | |
| PolyType enum name | BoomerangIPARecursiveTests | |
| random_element() | bb::CommitmentTest< NativeCurve > | inline |
| random_eval(const Polynomial &polynomial) | bb::CommitmentTest< NativeCurve > | inline |
| random_evaluation_point(const size_t num_variables) | bb::CommitmentTest< NativeCurve > | inline |
| random_polynomial(const size_t poly_size) | bb::CommitmentTest< NativeCurve > | inline |
| SetUpTestSuite() | bb::CommitmentTest< NativeCurve > | inlinestatic |
| StdlibProof typedef | BoomerangIPARecursiveTests | |
| StdlibTranscript typedef | BoomerangIPARecursiveTests | |
| TearDownTestSuite() | bb::CommitmentTest< NativeCurve > | inlinestatic |
| test_accumulation(Polynomial &poly1, Polynomial &poly2, Fr x1, Fr x2) | BoomerangIPARecursiveTests | inline |
| test_recursive_ipa(Polynomial &poly, Fr x) | BoomerangIPARecursiveTests | inline |
| verification_key | bb::CommitmentTest< NativeCurve > | static |
| verify_batch_opening_claim(std::span< const OpeningClaim< NativeCurve > > multi_claims, std::span< const Polynomial > witnesses) | bb::CommitmentTest< NativeCurve > | inline |
| verify_batch_opening_pair(std::vector< ProverOpeningClaim< NativeCurve > > opening_claims) | bb::CommitmentTest< NativeCurve > | inline |
| verify_opening_claim(const OpeningClaim< NativeCurve > &claim, const Polynomial &witness, CommitmentKey< NativeCurve > ck=CommitmentKey< NativeCurve >()) | bb::CommitmentTest< NativeCurve > | inline |
| verify_opening_pair(const OpeningPair< NativeCurve > &opening_pair, const Polynomial &witness) | bb::CommitmentTest< NativeCurve > | inline |
| vk() | bb::CommitmentTest< NativeCurve > | inline |
| VK typedef | BoomerangIPARecursiveTests | |
1.9.8