Barretenberg
The ZK-SNARK library at the core of Aztec
Loading...
Searching...
No Matches
bb::ProverOpeningClaimBatcher< Curve > Struct Template Reference

#include <claim_batcher.hpp>

Public Types

using Commitment = typename Curve::AffineElement
 
using ProverClaim = ProverOpeningClaim< Curve >
 
using VerifierClaim = OpeningClaim< Curve >
 

Public Member Functions

void add (ProverClaim prover_claim, Commitment commitment)
 

Public Attributes

std::vector< ProverClaimprover_claims
 
std::vector< VerifierClaimverifier_claims
 

Detailed Description

template<typename Curve>
struct bb::ProverOpeningClaimBatcher< Curve >

Definition at line 21 of file claim_batcher.hpp.

Member Typedef Documentation

◆ Commitment

template<typename Curve >
using bb::ProverOpeningClaimBatcher< Curve >::Commitment = typename Curve::AffineElement

Definition at line 22 of file claim_batcher.hpp.

◆ ProverClaim

template<typename Curve >
using bb::ProverOpeningClaimBatcher< Curve >::ProverClaim = ProverOpeningClaim<Curve>

Definition at line 23 of file claim_batcher.hpp.

◆ VerifierClaim

template<typename Curve >
using bb::ProverOpeningClaimBatcher< Curve >::VerifierClaim = OpeningClaim<Curve>

Definition at line 24 of file claim_batcher.hpp.

Member Function Documentation

◆ add()

template<typename Curve >
void bb::ProverOpeningClaimBatcher< Curve >::add ( ProverClaim  prover_claim,
Commitment  commitment 
)
inline

Definition at line 29 of file claim_batcher.hpp.

Member Data Documentation

◆ prover_claims

template<typename Curve >
std::vector<ProverClaim> bb::ProverOpeningClaimBatcher< Curve >::prover_claims

Definition at line 26 of file claim_batcher.hpp.

◆ verifier_claims

template<typename Curve >
std::vector<VerifierClaim> bb::ProverOpeningClaimBatcher< Curve >::verifier_claims

Definition at line 27 of file claim_batcher.hpp.


The documentation for this struct was generated from the following file: