two_layer_avm_recursive_verifier.hpp File Reference

#include "barretenberg/circuit_checker/circuit_checker.hpp"
#include "barretenberg/flavor/mega_avm_flavor.hpp"
#include "barretenberg/flavor/mega_avm_recursive_flavor.hpp"
#include "barretenberg/flavor/mega_flavor.hpp"
#include "barretenberg/flavor/mega_recursive_flavor.hpp"
#include "barretenberg/goblin_avm/goblin_avm.hpp"
#include "barretenberg/goblin_avm/goblin_avm_verifier.hpp"
#include "barretenberg/stdlib/hash/poseidon2/poseidon2.hpp"
#include "barretenberg/stdlib/special_public_inputs/special_public_inputs.hpp"
#include "barretenberg/ultra_honk/ultra_prover.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include "barretenberg/vm2/common/avm_io.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_flavor.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_verifier.hpp"

Go to the source code of this file.

Classes
class	bb::avm2::TwoLayerAvmRecursiveVerifier
	Recursive verifier of AVM2 proofs that utilizes the Goblin mechanism for efficient EC operations. More...
struct	bb::avm2::TwoLayerAvmRecursiveVerifier::InnerProverOutput

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