lambda-0b10

Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.

MIT License

Stars
9

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