I have been doing some research into recursive SNARKs. But I haven't found a working code example such as this one using Zokrates or this one using snarkjs. Anyone knows one such example, say, for proving a hash chain?

Recursive STARK example is also fine.


1 Answer 1


Are you looking for code that implements a recursive SNARK system, or code that implements circuits taking advantage of that (which is what you linked).

For code that implements zero-knowledge proof systems that support recursion, you'd have to look at pickles or halo2.

If you're looking at code that implements circuits that take advantage of recursion, there's some in snarkyjs but it is not running in production yet. I'm not aware of anything else that runs in production (besides the circuits of Mina using pickles).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.