Within the last decade, general-purpose zero-knowledge arguments have made the jump from theory to practice. This has opened new doors in the design of cryptographic systems, and generated additional insights into the power of interactive proofs and arguments (zero-knowledge or otherwise). There are now no fewer than five promising approaches to designing efficient, general-purpose zero-knowledge arguments. This book covers these approaches in a unified manner, emphasizing commonalities between them.
Super proud of myself for finally finishing a textbook that I was reading for self studying. This took me 3.5 months! This is a pretty good book, though there is a bit of weird variance in how good the chapters are. There's very little junk in this book.
To keep myself honest, I did not understand everything in the FRI/Ligero and Dory sections, I should really come back to those.