multilinear_batching_verifier.hpp File Reference

#include "barretenberg/flavor/multilinear_batching_flavor.hpp"
#include "barretenberg/multilinear_batching/multilinear_batching_claims.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/sumcheck/sumcheck.hpp"
#include <span>
#include <utility>

Go to the source code of this file.

Classes
class	bb::MultilinearBatchingVerifierInternal< Flavor_ >
	Internal verifier for multilinear batching sumcheck over a fixed number of claims. More...
class	bb::MultilinearBatchingVerifier< IsRecursive_ >
	Public entrypoint for multilinear batching verification. More...

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

Typedefs
using	bb::MultilinearBatchingNativeVerifier = MultilinearBatchingVerifier< false >
using	bb::MultilinearBatchingRecursiveVerifier = MultilinearBatchingVerifier< true >