avm2_recursion_constraint.cpp

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 }
// =====================
 
#include "avm2_recursion_constraint.hpp"
#include "barretenberg/common/throw_or_abort.hpp"
#include <stdexcept>
 
namespace acir_format {
 
HonkRecursionConstraintOutput<UltraCircuitBuilder> create_avm2_recursion_constraints_goblin(
    [[maybe_unused]] UltraCircuitBuilder& builder, [[maybe_unused]] const RecursionConstraint& input)
{
    throw_or_abort(
        "AVM recursion is not supported in this build. Please use the 'bb-avm' binary with full AVM support.");
}
 
} // namespace acir_format