ultra_recursive_verifier.hpp File Reference

#include "barretenberg/flavor/mega_recursive_flavor.hpp"
#include "barretenberg/flavor/mega_zk_recursive_flavor.hpp"
#include "barretenberg/flavor/ultra_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/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/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/oink_verifier.hpp"

Go to the source code of this file.

Classes
struct	bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >
class	bb::stdlib::recursion::honk::UltraRecursiveVerifier_< Flavor >

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