★ See also the PDF version of this chapter (better formatting/references) ★
“Let’s not try to define knowledge, but try to define zero-knowledge.”, Shafi Goldwasser.
Proofs have captured human imagination for thousands of years, ever since the publication of Euclid’s Elements, a book second only to the bible in the number of editions printed.
Most of the exercises have been written in the summer of 2018 and haven’t yet been fully debugged. While I would prefer people do not post online solutions to the exercises, I would greatly appreciate if you let me know of any bugs. You can do so by posting a GitHub issue about the exercise, and optionally complement this with an email to me with more details about the attempted solution.
Some topics related to this chapter that might be accessible to advanced students include: (to be completed)
Copyright 2018, Boaz Barak.
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
HTML version is produced using the Distill template, Copyright 2018, The Distill Template Authors.