|
Barretenberg
The ZK-SNARK library at the core of Aztec
|
Result of merge verification. More...
#include <merge_verifier.hpp>
Public Attributes | |
| PairingPoints | pairing_points |
| TableCommitments | merged_commitments |
| bool | reduction_succeeded = false |
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.
| TableCommitments bb::MergeVerifier_< Curve >::ReductionResult::merged_commitments |
Definition at line 62 of file merge_verifier.hpp.
| PairingPoints bb::MergeVerifier_< Curve >::ReductionResult::pairing_points |
Definition at line 61 of file merge_verifier.hpp.
| bool bb::MergeVerifier_< Curve >::ReductionResult::reduction_succeeded = false |
Definition at line 63 of file merge_verifier.hpp.