batch_merge_verifier.hpp File Reference

#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/commitment_schemes/kzg/kzg.hpp"
#include "barretenberg/commitment_schemes/shplonk/shplonk.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/transcript/transcript.hpp"

Go to the source code of this file.

Classes
class	bb::BatchMergeVerifier_< Curve, MaxMergeSize >
	Unified batch verifier for the batch Goblin ECC op queue merge protocol. More...
struct	bb::BatchMergeVerifier_< Curve, MaxMergeSize >::ReductionResult
	Result of batch merge verification. More...

Namespaces
namespace	bb
	Entry point for Barretenberg command-line interface.
namespace	bb::stdlib
namespace	bb::stdlib::recursion
namespace	bb::stdlib::recursion::goblin

Typedefs
using	bb::BatchMergeVerifier = BatchMergeVerifier_< curve::BN254, CHONK_MAX_NUM_CIRCUITS >
template<typename Builder >
using	bb::stdlib::recursion::goblin::BatchMergeRecursiveVerifier = BatchMergeVerifier_< bn254< Builder >, CHONK_MAX_NUM_CIRCUITS >