Barretenberg: src/barretenberg/vm2_stub/avm2_recursion_constraint.cpp Source File

#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

bb::UltraCircuitBuilder_
Definition ultra_circuit_builder.hpp:41

builder
AluTraceBuilder builder
Definition alu.test.cpp:124

acir_format
Definition acir_format.cpp:30

acir_format::create_avm2_recursion_constraints_goblin
HonkRecursionConstraintOutput< bb::UltraCircuitBuilder > create_avm2_recursion_constraints_goblin(bb::UltraCircuitBuilder &builder, const RecursionConstraint &input)
Stub implementation for AVM2 recursion constraints.
Definition avm2_recursion_constraint.cpp:12

acir_format::RecursionConstraint
RecursionConstraint struct contains information required to recursively verify a proof.
Definition recursion_constraint.hpp:60

bb::stdlib::recursion::honk::UltraRecursiveVerifierOutput
Output type for recursive ultra verification.
Definition ultra_verifier.hpp:28

throw_or_abort.hpp

throw_or_abort
void throw_or_abort(std::string const &err)
Definition throw_or_abort.hpp:6

avm2_recursion_constraint.hpp