# 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](/Zs730vdURaOw0n4PsQCsNg)
{"metaMigratedAt":"2023-06-17T23:00:04.979Z","metaMigratedFrom":"YAML","title":"Goblin Plonk Recursion Book","breaks":"true","description":"recursive proof composition for the lazy bastards"}