bb::TripleIPA< Curve_, log_poly_length > Member List

This is the complete list of members for bb::TripleIPA< Curve_, log_poly_length >, including all inherited members.

add_claim_to_hash_buffer(const TripleIpaClaim &claim, const std::shared_ptr< Transcript > &transcript)	bb::TripleIPA< Curve_, log_poly_length >	inlineprivatestatic
add_claim_to_hash_buffer(const IpaVerifierClaim &opening_claim, const std::shared_ptr< Transcript > &transcript)	bb::TripleIPA< Curve_, log_poly_length >	inlineprivatestatic
batch_verify_accumulators(const VK &vk, std::span< const NativeAccumulator > accumulators)	bb::TripleIPA< Curve_, log_poly_length >	inlinestatic
CK typedef	bb::TripleIPA< Curve_, log_poly_length >
combine_into_ipa_claim(const TripleIpaClaim &claim, const std::array< Fr, NUM_TENSORS > &zeta, const std::array< Fr, NUM_CROSS_SUMS > &cross_sums)	bb::TripleIPA< Curve_, log_poly_length >	inlineprivatestatic
combined_inner_product(const std::array< Fr, NUM_TENSORS > &diagonal_evaluations, const std::array< Fr, NUM_TENSORS > &zeta, const std::array< Fr, NUM_CROSS_SUMS > &cross_sums)	bb::TripleIPA< Curve_, log_poly_length >	inlineprivatestatic
Commitment typedef	bb::TripleIPA< Curve_, log_poly_length >
compute_cross_sums(const TripleIpaInput &input, const Polynomial &unshifted_witness, const Polynomial &shifted_witness, const Polynomial &eq_tensor)	bb::TripleIPA< Curve_, log_poly_length >	inlineprivatestatic
compute_ipa_verifier_claim(const TripleIpaClaim &claim, const std::shared_ptr< Transcript > &transcript)	bb::TripleIPA< Curve_, log_poly_length >	inlineprivatestatic
compute_opening_proof(const CK &ck, const TripleIpaInput &input, const std::shared_ptr< Transcript > &transcript)	bb::TripleIPA< Curve_, log_poly_length >	inlinestatic
Curve typedef	bb::TripleIPA< Curve_, log_poly_length >
Fr typedef	bb::TripleIPA< Curve_, log_poly_length >
GroupElement typedef	bb::TripleIPA< Curve_, log_poly_length >
IPAProtocol typedef	bb::TripleIPA< Curve_, log_poly_length >
NativeAccumulator typedef	bb::TripleIPA< Curve_, log_poly_length >
NUM_CROSS_SUMS	bb::TripleIPA< Curve_, log_poly_length >	static
NUM_TENSORS	bb::TripleIPA< Curve_, log_poly_length >	static
poly_length	bb::TripleIPA< Curve_, log_poly_length >	static
Polynomial typedef	bb::TripleIPA< Curve_, log_poly_length >
reduce_to_accumulator(const TripleIpaClaim &claim, const auto &transcript)	bb::TripleIPA< Curve_, log_poly_length >	inlinestatic
reduce_to_accumulator_internal(const IpaVerifierClaim &opening_claim, const auto &transcript)	bb::TripleIPA< Curve_, log_poly_length >	inlineprivatestatic
reduce_verify(const VK &vk, const TripleIpaClaim &claim, const std::shared_ptr< Transcript > &transcript)	bb::TripleIPA< Curve_, log_poly_length >	inlinestatic
reduce_verify(const TripleIpaClaim &claim, const auto &transcript)	bb::TripleIPA< Curve_, log_poly_length >	inlinestatic
TripleIpaClaim typedef	bb::TripleIPA< Curve_, log_poly_length >
TripleIpaClaimData typedef	bb::TripleIPA< Curve_, log_poly_length >
TripleIpaInput typedef	bb::TripleIPA< Curve_, log_poly_length >
VerifierAccumulator typedef	bb::TripleIPA< Curve_, log_poly_length >
verify_accumulator(const VK &vk, const NativeAccumulator &accumulator)	bb::TripleIPA< Curve_, log_poly_length >	inlinestatic
VK typedef	bb::TripleIPA< Curve_, log_poly_length >