Sparkling Water Bootcamp 0b10
This repository is an umbrella repository for my notes during Sparkling Water Bootcamp in Cryptography 01b0. The lecture notes are given below:
-
Week 1: Arithmetic, Abstract Algebra, Polynomials, RSA, FFT.
-
Week 2: Elliptic Curves, Commitments & Hashing, Pairings.
-
Week 3: SNARKs, KZG, BabySNARK.
-
Week 4: STARKs, FRI.
-
Week 5: PlonK.
-
Week 6 (skipped due to conference)
-
Week 7: MLE, Sumcheck, Binius, Brakedown.
-
Week 8: Plookup, zkVMs.
Exercises are given below:
-
Interview: bootcamp interview questions & answers.
-
RSA: very basic implementation of RSA cryptosystem.
-
Shamir: a basic Shamir's Secret Sharing implementation.
-
NTT: a very basic fast radix-2 Number Theoretic Transform implementation.
-
Vault of Loki: KZG fake proof challenge by LambdaClass.
-
BabySnark: small example circuits using BabySnark.
-
Stark101: the Stark101 prover, based on its blog posts.
-
Sumcheck: an implementation of Sumcheck protocol for multilinear polynomials.
You can run any of these via the Makefile, just see:
make interview
make rsa
make shamir
make ntt
make vault-of-loki
make stark101
make sumcheck