eccvm_verifier.hpp File Reference

#include "barretenberg/commitment_schemes/triple_ipa/triple_ipa.hpp"
#include "barretenberg/eccvm/eccvm_flavor.hpp"
#include "barretenberg/goblin/translation_evaluations.hpp"
#include "barretenberg/stdlib/eccvm_verifier/eccvm_recursive_flavor.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/sumcheck/sumcheck_output.hpp"

Go to the source code of this file.

Classes
class	bb::ECCVMVerifier_< Flavor >
	Unified ECCVM verifier class for both native and recursive verification. More...
struct	bb::ECCVMVerifier_< Flavor >::DeferredTripleIpaOpening
struct	bb::ECCVMVerifier_< Flavor >::ReductionResult
	Result of reducing ECCVM proof to a compact TripleIPA claim. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.

Typedefs
using	bb::ECCVMVerifier = ECCVMVerifier_< ECCVMFlavor >
using	bb::ECCVMRecursiveVerifier = ECCVMVerifier_< ECCVMRecursiveFlavor >
using	bb::ECCVMTripleIpaVerifier = ECCVMVerifier
using	bb::ECCVMTripleIpaRecursiveVerifier = ECCVMRecursiveVerifier