triple_ipa_claim.hpp File Reference

#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/commitment_schemes/claim_batcher.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/polynomials/polynomial.hpp"
#include <cstddef>
#include <span>
#include <vector>

Go to the source code of this file.

Classes
struct	bb::TripleIpaClaim< Curve >
	The compact TripleIPA opening claim: the statement that crosses verifier boundaries. More...
struct	bb::TripleIpaClaimData< Curve >
	Pre-batch verifier-side claim data: per-polynomial commitments/evaluations before Stage-1 rho-batching. More...
struct	bb::TripleIpaClaimData< Curve >::UnshiftedClaim
struct	bb::TripleIpaClaimData< Curve >::ShiftedBatch
struct	bb::TripleIpaInput< Curve >
	Prover-side TripleIPA input: claim data plus the witness polynomials needed to build the proof. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.