recursion_constraint_output.hpp File Reference

#include "barretenberg/commitment_schemes/claim.hpp"
#include "barretenberg/stdlib/eccvm_verifier/verifier_commitment_key.hpp"
#include "barretenberg/stdlib/primitives/pairing_points.hpp"
#include "barretenberg/stdlib/proof/proof.hpp"
#include "barretenberg/ultra_honk/ultra_verifier.hpp"
#include <cstdint>
#include <vector>

Go to the source code of this file.

Classes
struct	acir_format::HonkRecursionConstraintsOutput< Builder >
	Container for the output of multiple recursive verifications. More...

Namespaces
namespace	acir_format

Typedefs
template<typename Builder >
using	acir_format::HonkRecursionConstraintOutput = bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput< Builder >
	Alias for the result of recursively verifying a proof.