honk_recursion_constraint.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: completed, auditors: [Federico], commit: 8b4e1279ef130eeb18bce9ce2a9f0fa39a243697}
// external_1:  { status: not started, auditors: [], commit: }
// external_2:  { status: not started, auditors: [], commit: }
// =====================
 
#pragma once
 
#include "barretenberg/dsl/acir_format/recursion_constraint.hpp"
#include "barretenberg/dsl/acir_format/recursion_constraint_output.hpp"
#include <vector>
 
namespace acir_format {
 
using namespace bb;
 
template <typename Flavor, typename IO>
[[nodiscard("IPA claim and Pairing points should be accumulated")]] HonkRecursionConstraintOutput<
    typename Flavor::CircuitBuilder>
create_honk_recursion_constraints(typename Flavor::CircuitBuilder& builder, const RecursionConstraint& input)
    requires(IsRecursiveFlavor<Flavor> && IsUltraHonk<typename Flavor::NativeFlavor>);
 
#ifndef NDEBUG
template <typename Flavor, typename IO>
void native_verification_debug(const std::shared_ptr<typename Flavor::VerificationKey> vkey,
                               const typename Flavor::NativeFlavor::FF vkey_hash,
                               const bb::stdlib::Proof<typename Flavor::CircuitBuilder>& proof_fields);
#endif
 
} // namespace acir_format