https://github.com/erhant/lambda-0b10

Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
https://github.com/erhant/lambda-0b10

cryptography lambdaworks math rust

Last synced: 18 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/erhant/lambda-0b10
• Owner: erhant
• License: mit
• Created: 2024-03-12T15:54:44.000Z (8 months ago)
• Default Branch: main
• Last Pushed: 2024-06-27T20:02:25.000Z (5 months ago)
• Last Synced: 2024-10-12T16:33:56.380Z (about 1 month ago)
• Topics: cryptography, lambdaworks, math, rust
• Language: Rust
• Homepage:
• Size: 205 KB
• Stars: 29
• Watchers: 1
• Forks: 10
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Sparkling Water Bootcamp 0b10

This repository is an umbrella repository for my notes during [Sparkling Water Bootcamp in Cryptography 01b0](https://github.com/lambdaclass/lambdaworks/blob/bootcamp0b10/bootcamp/sparkling_water_0b10.md). The lecture notes are given below:

- [Week 1](./docs/WEEK-1.md): Arithmetic, Abstract Algebra, Polynomials, RSA, FFT.

- [Week 2](./docs/WEEK-2.md): Elliptic Curves, Commitments & Hashing, Pairings.

- [Week 3](./docs/WEEK-3.md): SNARKs, KZG, BabySNARK.

- [Week 4](./docs/WEEK-4.md): STARKs, FRI.

- [Week 5](./docs/WEEK-5.md): PlonK.

- [Week 6](./docs/WEEK-6.md) (_skipped due to conference_)

- [Week 7](./docs/WEEK-7.md): MLE, Sumcheck, Binius, Brakedown.

- [Week 8](./docs/WEEK-8.md): Plookup, zkVMs.

Exercises are given below:

- [Interview](./exercises/interview/README.md): bootcamp interview questions & answers.

- [RSA](./exercises/rsa/): very basic implementation of **RSA cryptosystem**.

- [Shamir](./exercises/shamir-secret-share/README.md): a basic **Shamir's Secret Sharing** implementation.

- [NTT](./exercises/ntt/README.md): a very basic fast radix-2 **Number Theoretic Transform** implementation.

- [Vault of Loki](./exercises/vault-of-loki/README.md): **KZG** fake proof challenge by LambdaClass.

- [BabySnark](./snarks/babysnark/): small example circuits using **BabySnark**.

- [Stark101](./snarks/stark101/README.md): the **Stark101** prover, based on its blog posts.

- [Sumcheck](./exercises/sumcheck/README.md): an implementation of **Sumcheck protocol** for multilinear polynomials.

You can run any of these via the Makefile, just see:

```sh

make interview

make rsa

make shamir

make ntt

make vault-of-loki

make stark101

make sumcheck

```