• TODO
• In progress
• Done

Get better at cryptography Link to heading

• Read Proofs, Arguments and Zero Knowledge
• Read Pairings for beginner
• Read Binius paper
• Read Zeromorph paper
• Read Extractable Witness Encryption for KZG Commitments and Efficient Laconic OT
• Read Spartan: Efficient and general-purpose zkSNARKs without trusted setup

Write cool articles Link to heading

• Write an article about sumcheck
• Write an article about GKR
• Write an article about Spartan
• Write an article about how to learn ZK maths
• Write about proofs as objects

Learn things about interesting maths subjects Link to heading

• Watch Milewski’s lecture on Category Theory
• Watch Type Theory for the Working Rustacean
• Find resources and learn more in-depth linear algebra
• Read A course in number theory
• Read Book of proof
• Read Everything You Always Wanted To Know About Mathematics
• Read Graph Theory and Additive Combinatorics or watch here

Learn about AI stuff Link to heading

• Take the fast.ai course
• Watch From Neural Networks: Zero to Hero playlist

Become a better programmer with functional programming :D Link to heading

• Read CS3110 OCaml Book

Other Link to heading

• Study From Nand to Tetris
• Play TIS-100