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 68 of file merge_verifier.hpp.

Member Data Documentation

merged_commitments

template<typename Curve >

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

Definition at line 70 of file merge_verifier.hpp.

pairing_points

template<typename Curve >

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

Definition at line 69 of file merge_verifier.hpp.

reduction_succeeded

template<typename Curve >

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

Definition at line 71 of file merge_verifier.hpp.

---

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

• src/barretenberg/goblin/merge_verifier.hpp