hypernova_verifier.hpp File Reference

#include "barretenberg/flavor/flavor.hpp"
#include "barretenberg/flavor/mega_kernel_flavor.hpp"
#include "barretenberg/flavor/mega_kernel_recursive_flavor.hpp"
#include "barretenberg/multilinear_batching/multilinear_batching_claims.hpp"
#include "barretenberg/multilinear_batching/multilinear_batching_verifier.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib_circuit_builders/mega_circuit_builder.hpp"
#include "barretenberg/sumcheck/sumcheck_output.hpp"
#include "barretenberg/ultra_honk/verifier_instance.hpp"
#include <optional>
#include <span>
#include <utility>
#include <vector>

Go to the source code of this file.

Classes
class	bb::HypernovaFoldingVerifier< IsRecursive_ >
	Stateful HyperNova folding verifier (native + recursive). Verifies a series of instances against a starting accumulator and reduces them to one accumulator with a single multilinear batching proof. More...

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

Typedefs
using	bb::HypernovaFoldingNativeVerifier = HypernovaFoldingVerifier< false >
using	bb::HypernovaFoldingRecursiveVerifier = HypernovaFoldingVerifier< true >