Concise Zero Knowledge

I am writing a long-form text about the algorithms and protocols used in zero-knowledge and verifiable computation. My aim is to make a reference with concise statements of algorithms and self-contained rigorous proofs of their characteristics. The canonical TeX source code is hosted on Github, and a recent PDF draft is available here:

I am also planning to write a complementary Rust library implementing the algorithms discussed in the book. The library source code will be hosted on Github (probably still an empty repository until I remove this note), and it will eventually be made available as a crate on