🥷 ZKDL Camp Lecture Notes 🧑‍🏫

This is a series of lectures on zero-knowledge conducted internally at Distributed Lab, in which we covered essentials for Research and Development in the field of zero-knowledge proofs and their applications.

Currently, the largest problem in zero-knowledge field is the diversity of learning material, which is oftentimes either:

• Too high-level, focusing on the applications and not providing the necessary background in Mathematics and Cryptography.
• Too low-level (such as Protocol papers), which are complete from the Mathematics and Cryptography standpoints, but are tremendously hard for practitioners to understand.
• Low-level enough, but incomplete: sometimes, material explains all the constructions needed to understand a certain protocol, but does not summarize it into the complete algorithm which is ``implementable''.

📚 What to expect?

• We dedicate a significant portion of the book to the Mathematics, which is the foundation of cryptography and zero-knowledge proofs: Number and Group Theory, Polynomials (Schwartz-Zippel Lemma, in particular), Finite Fields and Field Extensions.
• Next, we move to the Cryptographic Preliminaries, consisting mainly of Elliptic Curve Theory: we cover the basics of operations over Elliptic Curves, Projective Coordinates, and ecpairing. We proceed to the Commitment Schemes and explain how to formulate security definitions in Cryptography.
• The Zero-Knowledge Proofs section is the core of the book. We start with the basic definitions and classical ZK protocols and proceed to the modern constructions, currently consisting of Sigma Protocols, zk-SNARKs (R1CS, QAP, Pinocchio+Groth16, PlonKish Arithmetization), and basics of zk-STARKs. However, this is just a beginning: we will add more protocols such as Bulletproofs or Halo2 in the future.

📂 Structure of the repository

The book is fully open-source and all suggestions and contributions are very welcome! The repository is structured as follows:

Folder/File	Description
lectures	Contains the written material for the lectures in .tex format. If you want to add your lecture or make corrections to existing ones, you need to navigate to this folder.
lectures/images	Contains images used in the lectures.
presentations	Contains the beamer presentations for the lectures being conducted at Distributed Lab. Typically, they contain the same material as the corresponding section in the book. However, you might find it easier to grasp the material from them.
zkdl-template.cls	The style file for the book.
lecture-notes-148x210.tex	The compilation of all lectures in the single file. Uses lecture files from lectures and compiles them into a single file. The latest version is then manually renamed to lts-notes-148x210.pdf
lecture-notes-105x135.tex	Same as above, but the book is of different size. You may ignore this format since the main format is 148x210.
sage	Contains the SageMath code used in some lectures. For the most part, if the code is present, the separate repository is used, such as for Sigma Proofs

🏃‍♂️ Setup to run locally

1. Download LaTeX locally (e.g. TeX Live, if you are using MacOS: MacTex).
2. Download relevant VSCode extensions: LaTex, LaTex Workshop etc.
3. Clone the repository.
4. Open in VSCode and run the lecture-notes-148x210.tex file (green arrow at the top of the window).
5. You can also compile the lecture separately from the book by following the same procedure for the corresponding .tex file in the lectures folder. Note that compiled .pdf files are ignored by .gitignore and are not pushed to the repository (except for lts-notes files).

📚 How to add your lecture?

1. Conduct the steps above and make sure you can compile everything locally.

2. Create a new .tex file in the lectures folder. Name it <part>-<number>-<topic>.tex, where <number> is the next number in the sequence while <part> is the number of chapter in the book.

3. Add lecture to the lecture-notes-148x210.tex file. For example, if the code looks as:

   \section{Mathematics Preliminaries}
   
   \subfile{lectures/1-math}
   
   \section{Elliptic Curves}
   
   \subfile{lectures/2-ec}

   and you want to add lectures/3-commitment-schemes, you do

   \section{Mathematics Preliminaries}
   
   \subfile{lectures/1-math}
   
   \section{Elliptic Curves}
   
   \subfile{lectures/2-ec}
   
   \section{Commitment Schemes}
   
   \subfile{lectures/3-commitment-schemes}

4. To add the presentation, navigate to the presentations folder and add the same name as for your lecture file.