hypernova_prover.hpp File Reference

#include "barretenberg/commitment_schemes/shplonk/shplemini.hpp"
#include "barretenberg/common/memory_profile.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/verifier_commitments.hpp"
#include "barretenberg/hypernova/hypernova_batching_challenges.hpp"
#include "barretenberg/multilinear_batching/multilinear_batching_claims.hpp"
#include "barretenberg/multilinear_batching/multilinear_batching_prover.hpp"
#include "barretenberg/sumcheck/sumcheck.hpp"
#include "barretenberg/ultra_honk/oink_prover.hpp"
#include "barretenberg/ultra_honk/prover_instance.hpp"
#include <optional>
#include <vector>

Go to the source code of this file.

Classes
class	bb::HypernovaFoldingProver
	HyperNova folding prover. Folds circuit instances into accumulators, deferring PCS verification. More...

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