# Crypto Learning Topics

The list of crypto learning blogs is intended to capture the key ideas behind each protocol. Design details and in-depth analysis can be found in the related links provided within each blog.

## ZK
- [ ] ZKP basics
- [ ] Plonk
- [ ] halo2
- [ ] Groth16
- [x] [STARK](https://hackmd.io/@YaoGalteland/BJAV8nQ7Jg)
- [ ] Lookup Argument
- [x] [Permutation Argument](https://hackmd.io/@YaoGalteland/HyaOZBVD1x)
- [ ] Bitwise circuit operations and their constraints (+ code project)
- [ ] ZK-friendly hashes (e.g. MiMC hash, Poseidon, Sinsemilla)
- [x] [ZK Rollup](https://hackmd.io/@YaoGalteland/Hkd4wnlSyl)
- [ ] Designing zk-VMs: Challenges and Different Focuses
- [x] [Recursive Proving](https://hackmd.io/@YaoGalteland/S1BnQL0Qkx)
- [ ] How to compute NTT in ZKP, and its applications (polynomial multiplication, division, interpolation; Kyber)
- [ ] Compilers and VMs
- [ ] Plonky2 and Plonky3
- [ ] GKR protocol

### Developer Guide
- [x] [How to Build a zk-VM Application](https://hackmd.io/@YaoGalteland/S1NXhRJzkg)
- [x] [Halo2 - Circuit Implementation](https://hackmd.io/@YaoGalteland/ry6g_V8Xyx)

### PCS
- [x] [FRI](https://hackmd.io/@YaoGalteland/SJhTGtsZ1x)
- [x] [KZG](https://hackmd.io/@YaoGalteland/Sydx9FoZkg)
- [ ] IPA
- [x] [PCS Comparison: KZG, FRI and IPA](https://hackmd.io/@YaoGalteland/Hk-2bG2byg)

## MPC
- [x] [Threshold ECDSA](https://hackmd.io/@YaoGalteland/HJc8JYMfkx)
- [ ] Attacks on Threshold ECDSA
- [x] [UC-Security](https://hackmd.io/@YaoGalteland/ryHFtyVMJe)

## PQC
- [ ] Lattice-Based Cryptography (e.g. Kyber, Dilithium)
- [ ] Hash-Based Cryptography

## Background Materials
- [ ] Pairing-friendly curves
- [x] [Applications of FFT](https://hackmd.io/@YaoGalteland/r1Y5nJaQ1l)
- [ ] consensus protocol