Recusion / AVM trace is unlimited

[Rumata888]

Aim

I was testing a function on an edgecase, but it kept running forever.

Expected Behavior

There should be a limit on the recursion and separately on the AVM trace length to avoid unbounded computation and draining resources.

Bug

Computation is unbounded.

To Reproduce

The following code allows to DoS the prover.

unconstrained fn recurse() {
        recurse();
    }
    #[test]
    fn test_recurse() {
        recurse();
    }

Run this test

Project Impact

Nice-to-have

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

Compiled from source

Nargo Version

nargo version = 0.29.0 noirc version = 0.29.0+b776d287db096b657e3afa12da9ae18a803a72ea (git version hash: e7e0fa5, is dirty: true)

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response