ZKDL Blockstream Release 0.5

About

This version does a lot of polishing and finalizes the first version of the book. Specifically, we:

• added a code snippet for Shamir secret sharing;
• completely rewrote "Commitment Schemes" section: added proper definition blocks for various constructions, added missing proofs, and fixed definitions;
• completely rewrote "Linear Algebra" section: added proper motivation, definitions of dim(\cdot) and basis, and exercises with solutions;
• enhanced "Security analysis" section: added more motivation and significantly improved the exercises;
• added a more complete "Authorship & Contributions" page; added an appropriate "Changelog";
• fixed errors with the cleveref package;
• fixed numerous typos and grammatical errors throughout the book (thanks to @DarkWindman).