Goblin Plonk: lazy recursive proof composition

Introduction

Chapters