decider_prover.hpp File Reference

#include "barretenberg/commitment_schemes/shplonk/shplemini.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/mega_zk_flavor.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/flavor/ultra_rollup_flavor.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/relations/relation_parameters.hpp"
#include "barretenberg/sumcheck/sumcheck_output.hpp"
#include "barretenberg/sumcheck/zk_sumcheck_data.hpp"
#include "barretenberg/transcript/transcript.hpp"
#include "barretenberg/ultra_honk/decider_proving_key.hpp"

Go to the source code of this file.

Classes
class	bb::DeciderProver_< Flavor >

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

Typedefs
using	bb::UltraDeciderProver = DeciderProver_< UltraFlavor >
using	bb::MegaDeciderProver = DeciderProver_< MegaFlavor >
using	bb::MegaZKDeciderProver = DeciderProver_< MegaZKFlavor >