recursive_verifier.hpp File Reference

#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/sumcheck/sumcheck.hpp"
#include "barretenberg/vm2/constraining/recursion/recursive_flavor.hpp"

Go to the source code of this file.

Classes
class	bb::avm2::AvmRecursiveVerifier

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