Personal, rigorous write-ups on cryptographic and zero-knowledge proof protocols. Each note is a self-contained LaTeX document with formal proofs, worked examples, and figures.
| Folder | Topic | Contents |
|---|---|---|
| gkr/ | GKR Protocol | Circuit representation, multilinear extensions, the sum-check inner loop, layer-by-layer reduction, soundness proof, full worked example |
| sumcheck/ | Sum-Check Protocol | Problem setting, MLE definition and Lagrange basis, formal protocol (v rounds + oracle check), soundness theorem with proof sketch, worked example for v=2, complexity table |
Each protocol lives in its own subdirectory:
<protocol>/
main.tex — LaTeX source
main.pdf — compiled output (committed)
references.bib — bibliography
figures/ — SVG/drawio figures (if any)
LaTeX build artifacts (.aux, .bbl, .log, etc.) are gitignored.
Requirements: any TeX distribution with pdflatex and biber (e.g. MiKTeX), and Inkscape for SVG figures.
cd <protocol>/
pdflatex --shell-escape main.tex
biber main
pdflatex --shell-escape main.tex
pdflatex --shell-escape main.tex