ultra_verifier.hpp File Reference

#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/flavor/mega_zk_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_zk_recursive_flavor.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/sumcheck/sumcheck.hpp"
#include "barretenberg/ultra_honk/verifier_instance.hpp"

Go to the source code of this file.

Classes
struct	bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >
	Output type for recursive ultra verification. More...
struct	bb::UltraVerifierOutput< Flavor >
class	bb::UltraVerifier_< Flavor, IO >
struct	bb::UltraVerifier_< Flavor, IO >::ReductionResult
	Result of reducing ultra proof to pairing points check. Contains pairing points and the aggrefate result of intermediate checks. More...
struct	bb::UltraVerifier_< Flavor, IO >::PaddingData
	Result of padding computation. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::stdlib
namespace	bb::stdlib::recursion
namespace	bb::stdlib::recursion::honk

Typedefs
using	bb::UltraVerifier = UltraVerifier_< UltraFlavor, DefaultIO >
using	bb::UltraZKVerifier = UltraVerifier_< UltraZKFlavor, DefaultIO >
using	bb::UltraRollupVerifier = UltraVerifier_< UltraRollupFlavor, RollupIO >
using	bb::UltraKeccakVerifier = UltraVerifier_< UltraKeccakFlavor, DefaultIO >
using	bb::UltraKeccakZKVerifier = UltraVerifier_< UltraKeccakZKFlavor, DefaultIO >
using	bb::MegaVerifier = UltraVerifier_< MegaFlavor, DefaultIO >
using	bb::MegaZKVerifier = UltraVerifier_< MegaZKFlavor, HidingKernelIO >
using	bb::MegaZKRecursiveVerifier = UltraVerifier_< MegaZKRecursiveFlavor_< UltraCircuitBuilder >, stdlib::recursion::honk::HidingKernelIO< UltraCircuitBuilder > >