| accumulate(ClientCircuit &circuit, const CircuitVerificationKey &vk) | bb::Chonk | |
| accumulate_and_fold(ClientCircuit &circuit, const CircuitVerificationKey &vk) | bb::Chonk | private |
| accumulate_hiding_kernel(ClientCircuit &circuit, const std::shared_ptr< MegaZKVerificationKey > &precomputed_vk) | bb::Chonk | private |
| AppFlavor typedef | bb::Chonk | |
| AppIO typedef | bb::Chonk | |
| AppRecursiveFlavor typedef | bb::Chonk | |
| AppRecursiveVerifierInstance typedef | bb::Chonk | |
| AppRecursiveVKAndHash typedef | bb::Chonk | |
| AppVerificationKey typedef | bb::Chonk | |
| AppWitnessCommitments typedef | bb::Chonk | |
| bus_depot | bb::Chonk | |
| Chonk(std::vector< CircuitKind > circuit_kinds) | bb::Chonk | |
| circuit_kinds | bb::Chonk | private |
| CircuitKind typedef | bb::Chonk | |
| CircuitVerificationKey typedef | bb::Chonk | |
| ClientCircuit typedef | bb::Chonk | |
| Commitment typedef | bb::Chonk | |
| complete_kernel_circuit_logic(ClientCircuit &circuit) | bb::Chonk | |
| current_kind() const | bb::Chonk | |
| DataBusDepot typedef | bb::Chonk | |
| debug_incoming_circuit(ClientCircuit &circuit, const std::shared_ptr< ProverInstance_< InstanceFlavor > > &prover_instance, const std::shared_ptr< typename InstanceFlavor::VerificationKey > &precomputed_vk) | bb::Chonk | private |
| decider_proof | bb::Chonk | |
| DeciderProver typedef | bb::Chonk | |
| EccOpRunningHash typedef | bb::Chonk | |
| ECCVMVerificationKey typedef | bb::Chonk | |
| FF typedef | bb::Chonk | |
| folding_prover | bb::Chonk | |
| FoldingProver typedef | bb::Chonk | |
| get_goblin() | bb::Chonk | inline |
| get_goblin() const | bb::Chonk | inline |
| get_hiding_kernel_vk_and_hash() const | bb::Chonk | |
| get_num_circuits() const | bb::Chonk | inline |
| get_num_circuits_accumulated() const | bb::Chonk | inline |
| goblin | bb::Chonk | |
| group_claim_count(bool has_previous_accumulator, size_t group_size) | bb::Chonk | inlinestatic |
| hide_op_queue_content_in_hiding(ClientCircuit &circuit) | bb::Chonk | static |
| hiding_prover_inst | bb::Chonk | |
| hiding_vk | bb::Chonk | |
| HidingKernelFlavor typedef | bb::Chonk | |
| HidingKernelIO typedef | bb::Chonk | |
| HidingKernelProverInstance typedef | bb::Chonk | |
| instance_to_accumulator(ClientCircuit &circuit, const std::shared_ptr< typename InstanceFlavor::VerificationKey > &vk) | bb::Chonk | private |
| instantiate_stdlib_verification_queue(ClientCircuit &circuit, const std::vector< StdlibCircuitVKAndHash > &input_keys={}) | bb::Chonk | |
| is_hiding_kernel() const | bb::Chonk | inline |
| is_init_kernel() const | bb::Chonk | |
| KernelFlavor typedef | bb::Chonk | |
| KernelIO typedef | bb::Chonk | |
| KernelRecursiveFlavor typedef | bb::Chonk | |
| KernelRecursiveVerifierInstance typedef | bb::Chonk | |
| KernelRecursiveVKAndHash typedef | bb::Chonk | |
| KernelVerificationKey typedef | bb::Chonk | |
| KernelWitnessCommitments typedef | bb::Chonk | |
| MegaZKVerificationKey typedef | bb::Chonk | |
| multilinear_batch_proof | bb::Chonk | |
| native_folding_verifier | bb::Chonk | |
| native_verifier_accum | bb::Chonk | |
| native_verifier_accumulation_transcript | bb::Chonk | |
| next_kind() const | bb::Chonk | |
| num_circuits | bb::Chonk | private |
| num_circuits_accumulated | bb::Chonk | private |
| PairingPoints typedef | bb::Chonk | |
| process_app_public_inputs(std::vector< StdlibFF > &public_inputs, AppWitnessCommitments &witness_commitments) | bb::Chonk | private |
| process_kernel_public_inputs(std::vector< StdlibFF > &public_inputs, KernelWitnessCommitments &witness_commitments, const std::optional< StdlibFF > &prev_accum_hash) | bb::Chonk | private |
| prove() | bb::Chonk | |
| prove_multilinear_batching() | bb::Chonk | private |
| prover_accumulation_transcript | bb::Chonk | private |
| prover_accumulator | bb::Chonk | |
| ProverAccumulator typedef | bb::Chonk | |
| recursive_verification_and_consistency_checks(const StdlibVerifierInputs &verifier_inputs, HypernovaFoldingRecursiveVerifier &folding_verifier, const std::optional< StdlibFF > &prev_stdlib_acc_hash, const std::optional< EccOpRunningHash > &running_ecc_op_hash) | bb::Chonk | |
| recursive_verifier_native_accum | bb::Chonk | |
| RecursiveCommitment typedef | bb::Chonk | |
| RecursiveCurve typedef | bb::Chonk | |
| RecursiveDeciderVerifier typedef | bb::Chonk | |
| RecursiveTranscript typedef | bb::Chonk | |
| RecursiveVerifierAccumulator typedef | bb::Chonk | |
| run_native_instance_sumcheck(const std::shared_ptr< typename NativeFlavor::VerificationKey > &honk_vk, const VerifierInputs &queue_entry) | bb::Chonk | private |
| set_num_circuits_accumulated_for_mocking(const size_t num_circuits) | bb::Chonk | inline |
| stdlib_verification_queue | bb::Chonk | |
| StdlibFF typedef | bb::Chonk | |
| StdlibProof typedef | bb::Chonk | |
| StdlibVerificationQueue typedef | bb::Chonk | |
| Transcript typedef | bb::Chonk | |
| transcript | bb::Chonk | private |
| TranslatorVerificationKey typedef | bb::Chonk | |
| update_native_verifier_accumulator(bool is_init_group) | bb::Chonk | private |
| verification_queue | bb::Chonk | |
| VerificationQueue typedef | bb::Chonk | |
| VerifierAccumulator typedef | bb::Chonk | |
| verify_decider_natively() | bb::Chonk | private |
| verify_native_instance_sumcheck(const VerifierInputs &queue_entry) | bb::Chonk | private |