bb::UltraVerifier_< Flavor, IO >::ReductionResult Struct Reference

Result of reducing ultra proof to pairing points check. Contains pairing points and the aggrefate result of intermediate checks. More...

#include <ultra_verifier.hpp>

Public Attributes
PairingPoints	pairing_points
bool	reduction_succeeded = false

Detailed Description

template<typename Flavor, class IO>
struct bb::UltraVerifier_< Flavor, IO >::ReductionResult

Result of reducing ultra proof to pairing points check. Contains pairing points and the aggrefate result of intermediate checks.

Definition at line 114 of file ultra_verifier.hpp.

Member Data Documentation

pairing_points

template<typename Flavor , class IO >

PairingPoints bb::UltraVerifier_< Flavor, IO >::ReductionResult::pairing_points

Definition at line 115 of file ultra_verifier.hpp.

reduction_succeeded

template<typename Flavor , class IO >

bool bb::UltraVerifier_< Flavor, IO >::ReductionResult::reduction_succeeded = false

Definition at line 116 of file ultra_verifier.hpp.

---

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

• src/barretenberg/ultra_honk/ultra_verifier.hpp