-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlecture-notes-148x210.tex
130 lines (78 loc) · 2.49 KB
/
lecture-notes-148x210.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
\documentclass{zkdl-template}
\usepackage{opencolor}
\makeatletter
\def\maketitle{
\begin{center}
{\Large\sffamily \emph{Distributed Lab}} \\ \vspace{30mm}
{\huge\sffamily\bfseries ZKDL Lecture Notes} \\ \vspace{5mm}
{Version 0.2} \\ \vspace{10mm}
\end{center}
\vfill
\begin{center}
{Ukraine} \\ \vspace{2mm}
{\sffamily \the\year}
\end{center}
\thispagestyle{empty}
\pagebreak
}
\makeatother
\begin{document}
\maketitle
% Inverse title page
\pagecolor{white}
\vspace*{\fill}
\begin{abstract}
\fontsize{10}{12}\selectfont
\input{preface/abstract.tex}
\end{abstract}
\vspace*{\fill}
\thispagestyle{empty}
\newpage
% --- Table of Contents ---
\pagestyle{fancy}
\pagecolor{white}
\tableofcontents
\pagebreak
% --- Content ---
\section*{Preface}
\subfile{preface/preface.tex}
\section{Group Theory and Polynomials}\label{section:math-crypto-1}
\subfile{lectures/1-math}
\section{Basics of Security Analysis}\label{section:math-crypto-2}
\subfile{lectures/2-math-and-crypto}
\section{Basics of Linear Algebra}\label{section:linear-algebra}
\subfile{lectures/3-linear-algebra-basics.tex}
\section{Field Extensions ands Elliptic Curves}\label{section:field_extensions}
\subfile{lectures/3-ec}
\section{Projective Coordinates and Pairing}
\subfile{lectures/4-pairing}
\section{Commitment Schemes}\label{section:commitments}
\subfile{lectures/5-commitments}
\section{Introduction to Zero-Knowledge Proofs}\label{section:intro-zk}
\subfile{lectures/6-intro-zk}
\section{Sigma Protocols}\label{section:sigma}
\subfile{lectures/7-sigma}
\section[Arithmetic Circuits. R1CS]{Introduction to SNARKs. Arithmetic Circuits. R1CS} \label{section:r1cs}
\subfile{lectures/8-circuits}\label{section:circuits}
\section[Quadratic Arithmetic Program]{Quadratic Arithmetic Program. Probabilistically Checkable Proofs}
\subfile{lectures/9-qap-pcp}
\section[Pairing-based SNARKs]{Pairing-based SNARKs. Pinocchio and Groth16}
\subfile{lectures/10-groth}
\section{Circom}\label{section:circom}
\subfile{lectures/11-circom}
\section{PlonK}\label{section:plonk}
\subfile{lectures/12-plonk}
\section{Basics of STARKs}
\subfile{lectures/13-stark}
% --- Contact ---
\newpage
\pagestyle{empty}
\ifodd\value{page}
\newpage
\fi
\vspace*{\fill}
\begin{center}
\end{center}
\vspace*{\fill}
\end{document}