batched_honk_translator_verifier.hpp File Reference

#include "barretenberg/commitment_schemes/pairing_points.hpp"
#include "barretenberg/flavor/mega_zk_flavor.hpp"
#include "barretenberg/flavor/mega_zk_recursive_flavor.hpp"
#include "barretenberg/honk/proof_system/types/proof.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/stdlib/translator_vm_verifier/translator_recursive_flavor.hpp"
#include "barretenberg/translator_vm/translator_flavor.hpp"
#include "barretenberg/ultra_honk/verifier_instance.hpp"

Go to the source code of this file.

Classes
class	bb::BatchedHonkTranslatorVerifier_< Curve >
	Verifier for the batched MegaZK circuit + translator sumcheck and PCS. More...
struct	bb::BatchedHonkTranslatorVerifier_< Curve >::ReductionResult
	Result of the batched sumcheck/PCS reduction. More...
struct	bb::BatchedHonkTranslatorVerifier_< Curve >::OinkResult
	Result of Phase 1 (MegaZK Oink verification). More...

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

Typedefs
using	bb::BatchedHonkTranslatorVerifier = BatchedHonkTranslatorVerifier_< curve::BN254 >
using	bb::BatchedHonkTranslatorRecursiveVerifier = BatchedHonkTranslatorVerifier_< stdlib::bn254< UltraCircuitBuilder > >