This book is dedicated to providing the necessary background for understanding LogUp-GKR, a technique to accelerate proving LogUp invented by Shahar Papini and Ulrich Habock in 2023. We will also explore the practical ramifications of using the technique in a real-world STARK-based zero-knowledge virtual machine (zk-VM).

I wrote this book as a result of my experience in implementing LogUp-GKR for the Miden VM, alongside Bobbin Threadbare and Al. It is my hope that it will provide the necessary tools to help onboard future developers to that part of the Miden VM codebase, as well as help maintainers of other VMs decide whether or not they should integrate LogUp-GKR in their zk-VM.

Practical knowledge of STARKs is assumed.

If you have any suggestions and/or feedback, drop a comment, or DM me on Twitter/X.