bb::TranslatorVerifier_< Flavor >::ReductionResult Struct Reference

Result of reducing translator proof to pairing check. More...

#include <translator_verifier.hpp>

Public Attributes
PairingPoints	pairing_points
bool	reduction_succeeded = false

Detailed Description

template<typename Flavor>
struct bb::TranslatorVerifier_< Flavor >::ReductionResult

Result of reducing translator proof to pairing check.

Contains pairing points for deferred KZG verification and status of internal checks. The pairing points must be verified externally.

Definition at line 50 of file translator_verifier.hpp.

Member Data Documentation

pairing_points

template<typename Flavor >

PairingPoints bb::TranslatorVerifier_< Flavor >::ReductionResult::pairing_points

Definition at line 51 of file translator_verifier.hpp.

reduction_succeeded

template<typename Flavor >

bool bb::TranslatorVerifier_< Flavor >::ReductionResult::reduction_succeeded = false

Definition at line 52 of file translator_verifier.hpp.

---

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

• src/barretenberg/translator_vm/translator_verifier.hpp