| add_mixed_ops(std::shared_ptr< bb::ECCOpQueue > &op_queue, size_t count=100) | bb::TranslatorRecursiveTests | inlinestatic |
| add_random_ops(std::shared_ptr< bb::ECCOpQueue > &op_queue, size_t count) | bb::TranslatorRecursiveTests | inlinestatic |
| create_native_op_queue_commitments(const std::shared_ptr< TranslatorProvingKey > &proving_key) | bb::TranslatorRecursiveTests | inlinestatic |
| create_recursive_verifier_circuit(size_t circuit_size_parameter=500) | bb::TranslatorRecursiveTests | inlinestatic |
| create_recursive_verifier_inputs(OuterBuilder *builder, const InnerProver &prover, const InnerBF &evaluation_challenge_x, const InnerBF &batching_challenge_v) | bb::TranslatorRecursiveTests | inlinestatic |
| create_stdlib_op_queue_commitments(OuterBuilder *builder, const std::array< InnerFlavor::Commitment, InnerFlavor::NUM_OP_QUEUE_WIRES > &native_comms) | bb::TranslatorRecursiveTests | inlinestatic |
| generate_test_circuit(const InnerBF &batching_challenge_v, const InnerBF &evaluation_challenge_x, const size_t circuit_size_parameter=500) | bb::TranslatorRecursiveTests | inlinestatic |
| InnerBF typedef | bb::TranslatorRecursiveTests | |
| InnerBuilder typedef | bb::TranslatorRecursiveTests | |
| InnerFF typedef | bb::TranslatorRecursiveTests | |
| InnerFlavor typedef | bb::TranslatorRecursiveTests | |
| InnerG1 typedef | bb::TranslatorRecursiveTests | |
| InnerProver typedef | bb::TranslatorRecursiveTests | |
| InnerProvingKey typedef | bb::TranslatorRecursiveTests | |
| InnerVerifier typedef | bb::TranslatorRecursiveTests | |
| OuterBuilder typedef | bb::TranslatorRecursiveTests | |
| OuterFlavor typedef | bb::TranslatorRecursiveTests | |
| OuterProver typedef | bb::TranslatorRecursiveTests | |
| OuterProverInstance typedef | bb::TranslatorRecursiveTests | |
| OuterVerifier typedef | bb::TranslatorRecursiveTests | |
| RecursiveFlavor typedef | bb::TranslatorRecursiveTests | |
| RecursiveVerifier typedef | bb::TranslatorRecursiveTests | |
| SetUpTestSuite() | bb::TranslatorRecursiveTests | inlinestatic |
| tamper_translator_proof(InnerProver &prover, typename InnerFlavor::Transcript::Proof &proof, TamperType tamper_type) | bb::TranslatorRecursiveTests | inlinestatic |
| TamperType enum name | bb::TranslatorRecursiveTests | |
| test_independent_vk_hash() | bb::TranslatorRecursiveTests | inlinestatic |
| test_recursive_verification() | bb::TranslatorRecursiveTests | inlinestatic |
| test_recursive_verification_fails() | bb::TranslatorRecursiveTests | inlinestatic |
| test_static_analysis() | bb::TranslatorRecursiveTests | inlinestatic |
| test_structured_proof_round_trip() | bb::TranslatorRecursiveTests | inlinestatic |
| Transcript typedef | bb::TranslatorRecursiveTests | |
| TranslatorBF typedef | bb::TranslatorRecursiveTests | |