goblin_recursive_verifier.test.cpp File Reference

#include "barretenberg/stdlib/goblin_verifier/goblin_recursive_verifier.hpp"
#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/common/assert.hpp"
#include "barretenberg/common/test.hpp"
#include "barretenberg/goblin/goblin.hpp"
#include "barretenberg/goblin/mock_circuits.hpp"
#include "barretenberg/srs/global_crs.hpp"
#include "barretenberg/stdlib/honk_verifier/ultra_verification_keys_comparator.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"

Go to the source code of this file.

Classes
class	bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests
struct	bb::stdlib::recursion::honk::GoblinRecursiveVerifierTests::ProverOutput

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

Functions
	bb::stdlib::recursion::honk::TEST_F (GoblinRecursiveVerifierTests, NativeVerification)
	Ensure the Goblin proof produced by the test method can be natively verified.
	bb::stdlib::recursion::honk::TEST_F (GoblinRecursiveVerifierTests, Basic)
	Construct and check a goblin recursive verification circuit.
	bb::stdlib::recursion::honk::TEST_F (GoblinRecursiveVerifierTests, IndependentVKHash)
	bb::stdlib::recursion::honk::TEST_F (GoblinRecursiveVerifierTests, ECCVMFailure)
	Ensure failure of the goblin recursive verification circuit for a bad ECCVM proof.
	bb::stdlib::recursion::honk::TEST_F (GoblinRecursiveVerifierTests, TranslatorFailure)
	Ensure failure of the goblin recursive verification circuit for a bad Translator proof.
	bb::stdlib::recursion::honk::TEST_F (GoblinRecursiveVerifierTests, TranslationEvaluationsFailure)
	Ensure failure of the goblin recursive verification circuit for bad translation evaluations.
	bb::stdlib::recursion::honk::TEST_F (GoblinRecursiveVerifierTests, TranslatorMergeConsistencyFailure)
	Ensure failure of the goblin recursive verification circuit for bad translation evaluations.