Paraphernalia

This is some of the stuff I (plan to) read and think others could find useful.

Cryptography and (zero-knowledge) proof systems

• A course in cryptography, Rafael Pass and abhi shelat toread
• Groth16, Remco Bloemen
• Groth16 Explained, RareSkills (An excellent overview of Groth16!)
• The MoonMath manual, Least Authority toread
• The RareSkills Book of Zero Knowledge, RareSkills toread
• Notes on programmable cryptography, 0xPARC toread
• PLONK notes (wave 1), ret2basic.eth toread
• A brief history of lookup arguments, Tomer Solberg, Ingonyama, 2023

Group theory

• Elliptic curve attacks - from small subgroup attack to invalid curve attack, ret2basic.eth

Math

• Winograd Fast Inner Product, Remco Bloemen
• The tensor product demystified, Math3ma
• A course in discrete structures, Rafael Pass and Wei-Lung Dustin Tseng toread

Formal verification

• The Natural Numbers Game
• ImperialCollegeLondon/formalising-mathematics-2024
• Formalising mathematics 2024
• Xena Project useful links
• Learning Lean 4
• Mathematics in Lean
• PatrickMassot/GlimpseOfLean

Others

• The moral character of cryptographic work, Phillip Rogaway
• Bitcoin Is Worse Is Better, gwern.net
• Bullsh*t jobs, Matthew B. Crawford
• Do artifacts have politics?, Langdon Winner
• Quantum punks

Academic papers

• [Groth16]¹
• [BGM17]²

---