avm2_recursion_constraint.hpp

Go to the documentation of this file.

// === AUDIT STATUS ===
// internal:    { status: not started, auditors: [], date: YYYY-MM-DD }
// external_1:  { status: not started, auditors: [], date: YYYY-MM-DD }
// external_2:  { status: not started, auditors: [], date: YYYY-MM-DD }
// =====================
 
#ifndef DISABLE_AZTEC_VM
#pragma once
 
#include "barretenberg/dsl/acir_format/honk_recursion_constraint.hpp"
#include "barretenberg/dsl/acir_format/recursion_constraint.hpp"
#include "barretenberg/stdlib/primitives/bigfield/bigfield.hpp"
 
namespace acir_format {
 
using Builder = bb::UltraCircuitBuilder;
 
using namespace bb;
 
[[nodiscard("IPA claim and Pairing points should be accumulated")]] HonkRecursionConstraintOutput<Builder>
create_avm2_recursion_constraints_goblin(Builder& builder,
                                         const RecursionConstraint& input,
                                         bool has_valid_witness_assignments);
 
} // namespace acir_format
 
#endif // DISABLE_AZTEC_VM