# How Mina recursion is implemented?

**URL:** <https://forums.minaprotocol.com/t/how-mina-recursion-is-implemented/5817>\
**Category:** Cryptography\
**Created:** [July 11, 2022, 11:49pm UTC](https://forums.minaprotocol.com/t/how-mina-recursion-is-implemented/5817 "2022-07-11T23:49:09Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![Federico2014](https://yyz1.discourse-cdn.com/flex035/user_avatar/forums.minaprotocol.com/federico2014/32/1819_2.png) [@Federico2014](https://forums.minaprotocol.com/u/Federico2014)\
**Post date:** [July 11, 2022, 11:49pm UTC](https://forums.minaprotocol.com/t/how-mina-recursion-is-implemented/5817/1 "2022-07-11T23:49:09Z")

</div>

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](https://github.com/MinaProtocol/mina/blob/34ad15d220fbd0d623d64c285a9d2648f30dfc0f/src/lib/pickles/composition_types/composition_types.ml)

---

<div class="post-metadata">

**Author:** ![xhliu](https://yyz1.discourse-cdn.com/flex035/user_avatar/forums.minaprotocol.com/xhliu/32/1830_2.png) [@xhliu](https://forums.minaprotocol.com/u/xhliu)\
**Post date:** [July 26, 2022, 10:50pm UTC](https://forums.minaprotocol.com/t/how-mina-recursion-is-implemented/5817/2 "2022-07-26T22:50:51Z")

</div>

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

---

<div class="post-metadata">

**Author:** ![hgedia](https://yyz1.discourse-cdn.com/flex035/user_avatar/forums.minaprotocol.com/hgedia/32/1734_2.png) [@hgedia](https://forums.minaprotocol.com/u/hgedia)\
**Post date:** [August 11, 2022, 12:39pm UTC](https://forums.minaprotocol.com/t/how-mina-recursion-is-implemented/5817/3 "2022-08-11T12:39:42Z")

</div>

@Federico2014 / @xhliu : [The Pickles Inductive SNARK Composition System - YouTube](https://www.youtube.com/watch?v=ZQkzTB8VDzs) this could be of value to you.
