How Mina recursion is implemented?

Cryptography
1

Is there any clear explanation about the specific mina recursive process, I tried to read the source code about the step and wrap implementation, but It is difficult to understand the multiple modules: Proof_state, deferred_values, Me_only, Pass_through, etc. Can anyone give me a brief introduction, thank you so much.
Reference: mina/composition_types.ml at 34ad15d220fbd0d623d64c285a9d2648f30dfc0f · MinaProtocol/mina · GitHub

1 Like
2

I have the same question. Is there any documentation or example showing how recursive SNARK works in Mina?

3

@Federico2014 / @xhliu : The Pickles Inductive SNARK Composition System - YouTube this could be of value to you.