/lambda-0b10

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

Primary LanguageRustMIT LicenseMIT

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