| accumulate(ClientCircuit &circuit, const std::shared_ptr< MegaVerificationKey > &precomputed_vk) | bb::ClientIVC | |
| AppIO typedef | bb::ClientIVC | |
| bn254_commitment_key | bb::ClientIVC | |
| bus_depot | bb::ClientIVC | |
| ClientCircuit typedef | bb::ClientIVC | |
| ClientIVC(size_t num_circuits, TraceSettings trace_settings={}) | bb::ClientIVC | |
| complete_kernel_circuit_logic(ClientCircuit &circuit) | bb::ClientIVC | |
| construct_decider_proof(const std::shared_ptr< Transcript > &transcript) | bb::ClientIVC | |
| construct_mega_proof_for_hiding_kernel(ClientCircuit &circuit) | bb::ClientIVC | |
| construct_oink_proof(const std::shared_ptr< DeciderProvingKey > &proving_key, const std::shared_ptr< MegaVerificationKey > &honk_vk, const std::shared_ptr< Transcript > &transcript) | bb::ClientIVC | private |
| construct_pg_proof(const std::shared_ptr< DeciderProvingKey > &proving_key, const std::shared_ptr< MegaVerificationKey > &honk_vk, const std::shared_ptr< Transcript > &transcript, bool is_kernel) | bb::ClientIVC | private |
| DataBusDepot typedef | bb::ClientIVC | |
| decider_proof | bb::ClientIVC | |
| DeciderProver typedef | bb::ClientIVC | |
| DeciderProvingKey typedef | bb::ClientIVC | |
| DeciderProvingKeys typedef | bb::ClientIVC | |
| DeciderRecursiveVerifier typedef | bb::ClientIVC | |
| DeciderVerificationKey typedef | bb::ClientIVC | |
| DeciderVerificationKeys typedef | bb::ClientIVC | |
| DeciderVerifier typedef | bb::ClientIVC | |
| DeciderZKProvingKey typedef | bb::ClientIVC | |
| ECCVMVerificationKey typedef | bb::ClientIVC | |
| FF typedef | bb::ClientIVC | |
| Flavor typedef | bb::ClientIVC | |
| fold_output | bb::ClientIVC | |
| FoldingProver typedef | bb::ClientIVC | |
| FoldingRecursiveVerifier typedef | bb::ClientIVC | |
| FoldingVerifier typedef | bb::ClientIVC | |
| FoldProof typedef | bb::ClientIVC | |
| get_num_circuits() const | bb::ClientIVC | inline |
| get_queue_type() const | bb::ClientIVC | private |
| get_vk() const | bb::ClientIVC | |
| goblin | bb::ClientIVC | |
| hide_op_queue_accumulation_result(ClientCircuit &circuit) | bb::ClientIVC | static |
| HidingKernelIO typedef | bb::ClientIVC | |
| honk_vk | bb::ClientIVC | |
| instantiate_stdlib_verification_queue(ClientCircuit &circuit, const std::vector< std::shared_ptr< RecursiveVKAndHash > > &input_keys={}) | bb::ClientIVC | |
| KernelIO typedef | bb::ClientIVC | |
| MegaProver typedef | bb::ClientIVC | |
| MegaVerificationKey typedef | bb::ClientIVC | |
| MegaVerifier typedef | bb::ClientIVC | |
| MegaZKVerificationKey typedef | bb::ClientIVC | |
| native_verifier_accum | bb::ClientIVC | |
| num_circuits | bb::ClientIVC | private |
| num_circuits_accumulated | bb::ClientIVC | |
| OinkRecursiveVerifier typedef | bb::ClientIVC | |
| PairingPoints typedef | bb::ClientIVC | |
| perform_oink_recursive_verification(ClientCircuit &circuit, const std::shared_ptr< RecursiveDeciderVerificationKey > &verifier_instance, const std::shared_ptr< RecursiveTranscript > &transcript, const StdlibProof &proof) | bb::ClientIVC | privatestatic |
| perform_pg_recursive_verification(ClientCircuit &circuit, const std::shared_ptr< RecursiveDeciderVerificationKey > &verifier_accumulator, const std::shared_ptr< RecursiveDeciderVerificationKey > &verifier_instance, const std::shared_ptr< RecursiveTranscript > &transcript, const StdlibProof &proof, std::optional< StdlibFF > &prev_accum_hash, bool is_kernel) | bb::ClientIVC | privatestatic |
| perform_recursive_verification_and_databus_consistency_checks(ClientCircuit &circuit, const StdlibVerifierInputs &verifier_inputs, const std::shared_ptr< RecursiveDeciderVerificationKey > &input_verifier_accumulator, const TableCommitments &T_prev_commitments, const std::shared_ptr< RecursiveTranscript > &accumulation_recursive_transcript) | bb::ClientIVC | |
| Point typedef | bb::ClientIVC | |
| prove() | bb::ClientIVC | |
| prove_and_verify() | bb::ClientIVC | |
| prover_accumulation_transcript | bb::ClientIVC | private |
| ProverFoldOutput typedef | bb::ClientIVC | private |
| PublicPairingPoints typedef | bb::ClientIVC | |
| QUEUE_TYPE enum name | bb::ClientIVC | |
| recursive_verifier_native_accum | bb::ClientIVC | |
| RecursiveDeciderVerificationKey typedef | bb::ClientIVC | |
| RecursiveDeciderVerificationKeys typedef | bb::ClientIVC | |
| RecursiveFlavor typedef | bb::ClientIVC | |
| RecursiveTranscript typedef | bb::ClientIVC | |
| RecursiveVerificationKey typedef | bb::ClientIVC | |
| RecursiveVKAndHash typedef | bb::ClientIVC | |
| stdlib_verification_queue | bb::ClientIVC | |
| StdlibFF typedef | bb::ClientIVC | |
| StdlibProof typedef | bb::ClientIVC | |
| StdlibVerificationQueue typedef | bb::ClientIVC | |
| TableCommitments typedef | bb::ClientIVC | |
| trace_settings | bb::ClientIVC | |
| trace_usage_tracker | bb::ClientIVC | |
| transcript | bb::ClientIVC | private |
| Transcript typedef | bb::ClientIVC | |
| TranslatorVerificationKey typedef | bb::ClientIVC | |
| update_native_verifier_accumulator(const VerifierInputs &queue_entry, const std::shared_ptr< Transcript > &verifier_transcript) | bb::ClientIVC | private |
| verification_queue | bb::ClientIVC | |
| VerificationQueue typedef | bb::ClientIVC | |
| verify(const Proof &proof, const VerificationKey &vk) | bb::ClientIVC | static |
| verify(const Proof &proof) const | bb::ClientIVC | |
| WitnessCommitments typedef | bb::ClientIVC | |
1.9.8