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