# Goblin Plonk: lazy recursive proof composition
Introduction
---
- [High level overview](/GfNR5SE5ShyXXmLxNCsg3g)
- [Recursion protocol](/dUsu57SOTBiQ4tS9KJMkMQ)
Chapters
---
- [Speeding up SNARKs with an Instruction Machine](/kMfIhwzNQ_WAa78lqfhkUA)
- [Aggregating Instruction Machine transcripts](/03EZcIU1Riq7t-H1uqwNVw)
- [Processing IM Transcripts + curve transposition](/wwNI75vmSrSMqcIDznlzxQ)
- [Non-Native Field Virtual Machine](/PJWE1lpSQqaWKQbYajwf1g)
- [Elliptic Curve Virtual Machine](/fWAdULyqTiyCSjuCmCxHwA))
{"metaMigratedAt":"2023-06-17T23:00:04.979Z","metaMigratedFrom":"YAML","title":"Goblin Plonk Recursion Book","breaks":true,"description":"recursive proof composition for the lazy bastards","contributors":"[{\"id\":\"af6d984d-fb39-4410-9a8a-c4507b3d26bb\",\"add\":9643,\"del\":8977}]"}