As a Developer, I want to implement a simple recursive ZkApp, so I can investigate network behaviour processing such ZkApps

[akoptelov]

Definition of DONE: A zkApp that uses recursion (sorting/GCD/etc) that can be run in a private network/berkeleynet.

Documentation (intro): https://docs.minaprotocol.com/zkapps/o1js/recursion

[akoptelov]

This is the RFC for the Mina feature: o1-labs/o1js#89

[akoptelov]

Opened a question in Mina descussions: MinaProtocol/mina#14104

[akoptelov]

With some help from @tizoc, added some witness tracing APIs to snarkyjs to get traces of proofs performed on client side when running a zkApp. Still in progress.

[akoptelov]

Here is the gist with the current recursive app (Fibonacci numbers)

[akoptelov]

Regarding the possibility to use this/similar code in web app, the TS issue that I mentioned might be a blocker. The code that TS complaints about is the proof parameter's type:

class FibonacciZkapp extends SmartContract {
  @method foo(proof: FibonacciProof) {
    proof.verify();
  }
}

[akoptelov]

Looks like the issue with TX inclusion was caused by a mismatched in deployed zkapp and one that was used in the transaction. After redeploying it with a new account transaction works fine.