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

Result of merge verification. More...

#include <merge_verifier.hpp>

Public Attributes

PairingPoints pairing_points
 
TableCommitments merged_commitments
 
bool reduction_succeeded = false
 

Detailed Description

template<typename Curve>
struct bb::MergeVerifier_< Curve >::ReductionResult

Result of merge verification.

Contains pairing points for KZG verification, merged table commitments, and aggregate check status. Individual check results are logged internally by the verifier.

Definition at line 60 of file merge_verifier.hpp.

Member Data Documentation

◆ merged_commitments

template<typename Curve >
TableCommitments bb::MergeVerifier_< Curve >::ReductionResult::merged_commitments

Definition at line 62 of file merge_verifier.hpp.

◆ pairing_points

template<typename Curve >
PairingPoints bb::MergeVerifier_< Curve >::ReductionResult::pairing_points

Definition at line 61 of file merge_verifier.hpp.

◆ reduction_succeeded

template<typename Curve >
bool bb::MergeVerifier_< Curve >::ReductionResult::reduction_succeeded = false

Definition at line 63 of file merge_verifier.hpp.


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