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

Result of reducing ECCVM proof to a compact TripleIPA claim. More...

#include <eccvm_verifier.hpp>

Public Attributes
TripleIpaClaim	triple_ipa_claim
bool	reduction_succeeded = false

Detailed Description

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

Result of reducing ECCVM proof to a compact TripleIPA claim.

Individual check results are logged via vinfo(). The TripleIPA proof is carried separately.

Definition at line 81 of file eccvm_verifier.hpp.

Member Data Documentation

reduction_succeeded

template<typename Flavor >

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

Definition at line 83 of file eccvm_verifier.hpp.

triple_ipa_claim

template<typename Flavor >

TripleIpaClaim bb::ECCVMVerifier_< Flavor >::ReductionResult::triple_ipa_claim

Definition at line 82 of file eccvm_verifier.hpp.

---

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

• src/barretenberg/eccvm/eccvm_verifier.hpp