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).

ZKDL Blockstream Alpha Release 0.4.1

About

This is the updated release 0.4 after migration to the BlockstreamResearch organization. Primary changes were made in #36, #40, and #41

Latest Book Build

Automated build compiled from the latest push to main.

ZKDL Book Alpha Release 0.4

About

This is a new release of ZKDL camp book that includes new chapters and updated design.

Added

• Bulletproofs
• Sum-Check Protocol
• GKR and Offline Memory Checking
• Lookup Checks (plookup and logup)
• UltraGroth (Groth16 with lookup checks)

ZKDL Book Alpha Release 0.3

About

Version 0.3 marks the first state of the book, which contains the bare essentials for every zero-knowledge R&D Engineer: detailed Mathematics sections, Cryptography Preliminary (with Elliptic Curves included), and basic state-of-the-art zero-knowledge protocols: Pinoccio, Groth16, PlonK, and currently, the basics of zk-STARKs.

Added

• First MVP version of the book.
• All the source materials: sections of the book, presentations, and exercises.
• Basic README to navigate through the repository.