bb::SumcheckClientIVC Member List

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

accumulate(ClientCircuit &circuit, const std::shared_ptr< MegaVerificationKey > &precomputed_vk) override	bb::SumcheckClientIVC	virtual
AppIO typedef	bb::SumcheckClientIVC
bn254_commitment_key	bb::SumcheckClientIVC
bus_depot	bb::SumcheckClientIVC
ClientCircuit typedef	bb::SumcheckClientIVC
Commitment typedef	bb::SumcheckClientIVC
complete_kernel_circuit_logic(ClientCircuit &circuit)	bb::SumcheckClientIVC
construct_folding_proof(const std::shared_ptr< ProverInstance > &prover_instance, const std::shared_ptr< MegaVerificationKey > &honk_vk, const std::shared_ptr< Transcript > &transcript)	bb::SumcheckClientIVC	private
construct_honk_proof_for_hiding_kernel(ClientCircuit &circuit, const std::shared_ptr< MegaVerificationKey > &verification_key)	bb::SumcheckClientIVC	private
construct_pcs_proof(const std::shared_ptr< Transcript > &transcript)	bb::SumcheckClientIVC
construct_sumcheck_proof(const std::shared_ptr< ProverInstance > &prover_instance, const std::shared_ptr< MegaVerificationKey > &honk_vk, const std::shared_ptr< Transcript > &transcript)	bb::SumcheckClientIVC	private
Curve typedef	bb::SumcheckClientIVC
DataBusDepot typedef	bb::SumcheckClientIVC
DeciderProver typedef	bb::SumcheckClientIVC
DeciderRecursiveVerifier typedef	bb::SumcheckClientIVC
DeciderVerifier typedef	bb::SumcheckClientIVC
DeciderZKProvingKey typedef	bb::SumcheckClientIVC
ECCVMVerificationKey typedef	bb::SumcheckClientIVC
execute_first_sumcheck(const std::shared_ptr< ProverInstance > &prover_instance, const std::shared_ptr< MegaVerificationKey > &honk_vk, const std::shared_ptr< Transcript > &transcript)	bb::SumcheckClientIVC	privatestatic
execute_first_sumcheck_native_verification(const std::shared_ptr< VerifierInstance > &verifier_instance, const std::shared_ptr< Transcript > &transcript, const HonkProof &proof)	bb::SumcheckClientIVC	privatestatic
execute_first_sumcheck_recursive_verification(ClientCircuit &circuit, const std::shared_ptr< RecursiveVerifierInstance > &verifier_instance, const std::shared_ptr< RecursiveTranscript > &transcript, const StdlibProof &proof)	bb::SumcheckClientIVC	privatestatic
FF typedef	bb::SumcheckClientIVC
Flavor typedef	bb::SumcheckClientIVC
FoldingProver typedef	bb::SumcheckClientIVC
FoldingRecursiveVerifier typedef	bb::SumcheckClientIVC
FoldingVerifier typedef	bb::SumcheckClientIVC
FoldProof typedef	bb::SumcheckClientIVC
get_goblin() override	bb::SumcheckClientIVC	inlinevirtual
get_goblin() const override	bb::SumcheckClientIVC	inlinevirtual
get_num_circuits() const	bb::SumcheckClientIVC	inline
get_queue_type() const	bb::SumcheckClientIVC	private
get_vk() const	bb::SumcheckClientIVC
goblin	bb::SumcheckClientIVC
hide_op_queue_accumulation_result(ClientCircuit &circuit)	bb::SumcheckClientIVC	static
hide_op_queue_content_in_hiding(ClientCircuit &circuit)	bb::SumcheckClientIVC	static
hide_op_queue_content_in_tail(ClientCircuit &circuit)	bb::SumcheckClientIVC	static
HidingKernelIO typedef	bb::SumcheckClientIVC
instantiate_stdlib_verification_queue(ClientCircuit &circuit, const std::vector< std::shared_ptr< RecursiveVKAndHash > > &input_keys={})	bb::SumcheckClientIVC
IVCBase()=default	bb::IVCBase	protected
KernelIO typedef	bb::SumcheckClientIVC
MegaProver typedef	bb::SumcheckClientIVC
MegaVerificationKey typedef	bb::SumcheckClientIVC
MegaVerifier typedef	bb::SumcheckClientIVC
MegaZKVerificationKey typedef	bb::SumcheckClientIVC
native_verifier_accum	bb::SumcheckClientIVC
num_circuits	bb::SumcheckClientIVC	private
num_circuits_accumulated	bb::SumcheckClientIVC
OinkRecursiveVerifier typedef	bb::SumcheckClientIVC
PairingPoints typedef	bb::SumcheckClientIVC
pcs_proof	bb::SumcheckClientIVC
perform_folding_recursive_verification(ClientCircuit &circuit, const std::optional< RecursiveVerifierAccumulator > &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::SumcheckClientIVC	privatestatic
perform_recursive_verification_and_databus_consistency_checks(ClientCircuit &circuit, const StdlibVerifierInputs &verifier_inputs, const std::optional< RecursiveVerifierAccumulator > &input_verifier_accumulator, const TableCommitments &T_prev_commitments, const std::shared_ptr< RecursiveTranscript > &accumulation_recursive_transcript)	bb::SumcheckClientIVC
Point typedef	bb::SumcheckClientIVC
PolynomialBatcher typedef	bb::SumcheckClientIVC
prove()	bb::SumcheckClientIVC
prover_accumulation_transcript	bb::SumcheckClientIVC	private
prover_accumulator	bb::SumcheckClientIVC
ProverInstance typedef	bb::SumcheckClientIVC
ProverPolynomials typedef	bb::SumcheckClientIVC
PublicPairingPoints typedef	bb::SumcheckClientIVC
QUEUE_TYPE enum name	bb::SumcheckClientIVC
recursive_verifier_native_accum	bb::SumcheckClientIVC
RecursiveCommitment typedef	bb::SumcheckClientIVC
RecursiveFlavor typedef	bb::SumcheckClientIVC
RecursiveTranscript typedef	bb::SumcheckClientIVC
RecursiveVerificationKey typedef	bb::SumcheckClientIVC
RecursiveVerifierInstance typedef	bb::SumcheckClientIVC
RecursiveVKAndHash typedef	bb::SumcheckClientIVC
stdlib_verification_queue	bb::SumcheckClientIVC
StdlibFF typedef	bb::SumcheckClientIVC
StdlibProof typedef	bb::SumcheckClientIVC
StdlibVerificationQueue typedef	bb::SumcheckClientIVC
SumcheckClientIVC(size_t num_circuits)	bb::SumcheckClientIVC
TableCommitments typedef	bb::SumcheckClientIVC
Transcript typedef	bb::SumcheckClientIVC
transcript	bb::SumcheckClientIVC	private
TranslatorVerificationKey typedef	bb::SumcheckClientIVC
update_native_verifier_accumulator(const VerifierInputs &queue_entry, const std::shared_ptr< Transcript > &verifier_transcript)	bb::SumcheckClientIVC	private
verification_queue	bb::SumcheckClientIVC
VerificationQueue typedef	bb::SumcheckClientIVC
VerifierInstance typedef	bb::SumcheckClientIVC
verify(const Proof &proof, const VerificationKey &vk)	bb::SumcheckClientIVC	static
WitnessCommitments typedef	bb::SumcheckClientIVC
~IVCBase()=default	bb::IVCBase	virtual