bb::ClientIVC Member List

This is the complete list of members for bb::ClientIVC, including all inherited members.

accumulate(ClientCircuit &circuit, const std::shared_ptr< MegaVerificationKey > &precomputed_vk) override	bb::ClientIVC	virtual
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_honk_proof_for_hiding_kernel(ClientCircuit &circuit, const std::shared_ptr< MegaVerificationKey > &verification_key)	bb::ClientIVC	private
construct_oink_proof(const std::shared_ptr< ProverInstance > &prover_instance, const std::shared_ptr< MegaVerificationKey > &honk_vk, const std::shared_ptr< Transcript > &transcript)	bb::ClientIVC	private
construct_pg_proof(const std::shared_ptr< ProverInstance > &prover_instance, 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
DeciderRecursiveVerifier typedef	bb::ClientIVC
DeciderVerifier typedef	bb::ClientIVC
DeciderZKProvingKey typedef	bb::ClientIVC
ECCVMVerificationKey typedef	bb::ClientIVC
FF typedef	bb::ClientIVC
Flavor typedef	bb::ClientIVC
FoldingProver typedef	bb::ClientIVC
FoldingRecursiveVerifier typedef	bb::ClientIVC
FoldingVerifier typedef	bb::ClientIVC
FoldProof typedef	bb::ClientIVC
get_goblin() override	bb::ClientIVC	inlinevirtual
get_goblin() const override	bb::ClientIVC	inlinevirtual
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
hide_op_queue_content_in_hiding(ClientCircuit &circuit)	bb::ClientIVC	static
hide_op_queue_content_in_tail(ClientCircuit &circuit)	bb::ClientIVC	static
HidingKernelIO typedef	bb::ClientIVC
instantiate_stdlib_verification_queue(ClientCircuit &circuit, const std::vector< std::shared_ptr< RecursiveVKAndHash > > &input_keys={})	bb::ClientIVC
IVCBase()=default	bb::IVCBase	protected
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< RecursiveVerifierInstance > &verifier_instance, const std::shared_ptr< RecursiveTranscript > &transcript, const StdlibProof &proof)	bb::ClientIVC	privatestatic
perform_pg_recursive_verification(ClientCircuit &circuit, const std::shared_ptr< RecursiveVerifierInstance > &verifier_accumulator, const std::shared_ptr< RecursiveVerifierInstance > &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< RecursiveVerifierInstance > &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
prover_accumulation_transcript	bb::ClientIVC	private
prover_accumulator	bb::ClientIVC
ProverInstance typedef	bb::ClientIVC
PublicPairingPoints typedef	bb::ClientIVC
QUEUE_TYPE enum name	bb::ClientIVC
recursive_verifier_native_accum	bb::ClientIVC
RecursiveFlavor typedef	bb::ClientIVC
RecursiveTranscript typedef	bb::ClientIVC
RecursiveVerificationKey typedef	bb::ClientIVC
RecursiveVerifierInstance 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
VerifierInstance typedef	bb::ClientIVC
verify(const Proof &proof, const VerificationKey &vk)	bb::ClientIVC	static
WitnessCommitments typedef	bb::ClientIVC
~IVCBase()=default	bb::IVCBase	virtual