goblin_recursive_verifier.hpp File Reference

#include "barretenberg/goblin/goblin.hpp"
#include "barretenberg/stdlib/eccvm_verifier/eccvm_recursive_verifier.hpp"
#include "barretenberg/stdlib/merge_verifier/merge_recursive_verifier.hpp"
#include "barretenberg/stdlib/translator_vm_verifier/translator_recursive_verifier.hpp"

Go to the source code of this file.

Classes
struct	bb::stdlib::recursion::honk::GoblinRecursiveVerifierOutput
class	bb::stdlib::recursion::honk::GoblinRecursiveVerifier
struct	bb::stdlib::recursion::honk::GoblinRecursiveVerifier::StdlibProof

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