|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
#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< ProverClaim > | prover_claims |
| std::vector< VerifierClaim > | verifier_claims |
Definition at line 21 of file claim_batcher.hpp.
| using bb::ProverOpeningClaimBatcher< Curve >::Commitment = typename Curve::AffineElement |
Definition at line 22 of file claim_batcher.hpp.
| using bb::ProverOpeningClaimBatcher< Curve >::ProverClaim = ProverOpeningClaim<Curve> |
Definition at line 23 of file claim_batcher.hpp.
| using bb::ProverOpeningClaimBatcher< Curve >::VerifierClaim = OpeningClaim<Curve> |
Definition at line 24 of file claim_batcher.hpp.
|
inline |
Definition at line 29 of file claim_batcher.hpp.
| std::vector<ProverClaim> bb::ProverOpeningClaimBatcher< Curve >::prover_claims |
Definition at line 26 of file claim_batcher.hpp.
| std::vector<VerifierClaim> bb::ProverOpeningClaimBatcher< Curve >::verifier_claims |
Definition at line 27 of file claim_batcher.hpp.