Status of the "Recursive proofs" feature

[akoptelov]

Hi, I would like to ask about the current status of the recursive/inductive proofs support in Mina. I'm aware of the experimental status of the feature, so it would be good to know if this is worth creating a proper issue.

Currently, when I'm trying to send a zkApp transaction with a method verifying an off-chain proof (like described here. this is the code), I get an error ("Invalid rich scalar: Proof ..." in daemon the log, 500 from graphql endpoint).

I'm using snarkyjs 0.12.1 and 2.0.0rampup3 Mina daemon.

Another issue that I have is that I cannot work out a proper type for proof argument of a zkApp method. E.g. though the file mentioned above is transpiled to js properly by the snarkyjs/run script, this line makes type checker complain that

'SimpleProgramProof' refers to a value, but is being used as a type here.

Also I cannot make this line pass type checking with e.g. tsc when using .ts files explicitly, e.g. with ts-node.

[akoptelov]

It looks like I managed to get rid of the first issue. There is no sign call for the transaction, so it is signed only by the zkapp privkey only. When I add a fee payer privkey as well, it is included into the chain, at least with 2.0.0rampup4 Mina version.

[L-as]

Ask in the Mina Discord in the zkApp section