goblin_verifier.hpp File Reference

#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/ecc/curves/bn254/bn254.hpp"
#include "barretenberg/ecc/curves/grumpkin/grumpkin.hpp"
#include "barretenberg/eccvm/eccvm_verifier.hpp"
#include "barretenberg/flavor/ultra_flavor.hpp"
#include "barretenberg/goblin/merge_verifier.hpp"
#include "barretenberg/goblin/types.hpp"
#include "barretenberg/stdlib/primitives/curves/bn254.hpp"
#include "barretenberg/stdlib/primitives/curves/grumpkin.hpp"
#include "barretenberg/translator_vm/translator_verifier.hpp"

Go to the source code of this file.

Classes
class	bb::GoblinVerifier_< Curve >
	Unified Goblin verifier for both native and recursive verification. More...
struct	bb::GoblinVerifier_< Curve >::ReductionResult
	Result of Goblin verification with mode-specific semantics. More...

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

Typedefs
using	bb::GoblinVerifier = GoblinVerifier_< curve::BN254 >
using	bb::GoblinRecursiveVerifier = GoblinVerifier_< stdlib::bn254< UltraCircuitBuilder > >