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

Result of reducing ECCVM proof to IPA opening claim. More...

#include <eccvm_verifier.hpp>

Public Attributes
OpeningClaim< Curve >	ipa_claim
bool	reduction_succeeded = false

Detailed Description

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

Result of reducing ECCVM proof to IPA opening claim.

Contains IPA opening claim for deferred verification and status of internal checks. The IPA claim must be verified externally. Individual check results are logged via vinfo().

Definition at line 42 of file eccvm_verifier.hpp.

Member Data Documentation

ipa_claim

template<typename Flavor >

OpeningClaim<Curve> bb::ECCVMVerifier_< Flavor >::ReductionResult::ipa_claim

Definition at line 43 of file eccvm_verifier.hpp.

reduction_succeeded

template<typename Flavor >

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

Definition at line 44 of file eccvm_verifier.hpp.

---

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

• src/barretenberg/eccvm/eccvm_verifier.hpp