shplemini.hpp File Reference

#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/commitment_schemes/claim_batcher.hpp"
#include "barretenberg/commitment_schemes/commitment_key.hpp"
#include "barretenberg/commitment_schemes/gemini/gemini_impl.hpp"
#include "barretenberg/commitment_schemes/shplonk/shplonk.hpp"
#include "barretenberg/commitment_schemes/small_subgroup_ipa/small_subgroup_ipa.hpp"
#include "barretenberg/commitment_schemes/verification_key.hpp"
#include "barretenberg/flavor/repeated_commitments_data.hpp"
#include "barretenberg/sumcheck/zk_sumcheck_data.hpp"
#include "barretenberg/transcript/transcript.hpp"

Go to the source code of this file.

Classes
class	bb::ShpleminiProver_< Curve >
class	bb::ShpleminiVerifier_< Curve >
	An efficient verifier for the evaluation proofs of multilinear polynomials and their shifts. More...

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