ultra_verifier.hpp File Reference

#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/eccvm_verifier/verifier_commitment_key.hpp"
#include "barretenberg/sumcheck/sumcheck.hpp"
#include "barretenberg/ultra_honk/decider_verifier.hpp"
#include "barretenberg/ultra_honk/verifier_instance.hpp"

Go to the source code of this file.

Classes
class	bb::UltraVerifier_< Flavor >
struct	bb::UltraVerifier_< Flavor >::UltraVerifierOutput

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

Typedefs
using	bb::UltraVerifier = UltraVerifier_< UltraFlavor >
using	bb::UltraRollupVerifier = UltraVerifier_< UltraRollupFlavor >
using	bb::UltraKeccakVerifier = UltraVerifier_< UltraKeccakFlavor >
using	bb::MegaVerifier = UltraVerifier_< MegaFlavor >
using	bb::MegaZKVerifier = UltraVerifier_< MegaZKFlavor >