bb::HypernovaFoldingVerifier< IsRecursive_ > Member List

This is the complete list of members for bb::HypernovaFoldingVerifier< IsRecursive_ >, including all inherited members.

accumulate_instance(const std::shared_ptr< VerifierInstance< InstanceFlavor > > &instance, const Proof &proof)	bb::HypernovaFoldingVerifier< IsRecursive_ >
Accumulator typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >
BaseFlavor typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >
batch_mul(std::span< Commitment, N > _points, std::vector< FF > &scalars)	bb::HypernovaFoldingVerifier< IsRecursive_ >	private
BatchingVerifier typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >
cached_claims	bb::HypernovaFoldingVerifier< IsRecursive_ >	private
Commitment typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >
Curve typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >
FF typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >
finalize(const Proof &batching_proof, std::optional< Accumulator > previous_accumulator=std::nullopt)	bb::HypernovaFoldingVerifier< IsRecursive_ >
get_cached_claims() const	bb::HypernovaFoldingVerifier< IsRecursive_ >	inline
HypernovaFoldingVerifier(std::shared_ptr< Transcript > transcript)	bb::HypernovaFoldingVerifier< IsRecursive_ >	inline
IsRecursive	bb::HypernovaFoldingVerifier< IsRecursive_ >	static
Proof typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >
sumcheck_on_incoming_instance(const std::shared_ptr< VerifierInstance< InstanceFlavor > > &instance, const Proof &proof, size_t num_public_inputs)	bb::HypernovaFoldingVerifier< IsRecursive_ >	private
sumcheck_output_to_accumulator(SumcheckOutput< InstanceFlavor > &sumcheck_output, const std::shared_ptr< VerifierInstance< InstanceFlavor > > &instance)	bb::HypernovaFoldingVerifier< IsRecursive_ >	private
transcript	bb::HypernovaFoldingVerifier< IsRecursive_ >	private
Transcript typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >
VerifierInstance typedef	bb::HypernovaFoldingVerifier< IsRecursive_ >