This is some of the stuff I (plan to) read and think others could find useful.
Cryptography
- A course in cryptography, Rafael Pass and abhi shelat
toread - Notes on Programmable Cryptography, 0xPARC
toread
Group theory
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
Others
- Bitcoin Is Worse Is Better, gwern.net
- Bullsh*t jobs, Matthew B. Crawford
(Zero-knowledge) proof systems
- 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 - PLONK notes (wave 1), ret2basic.eth
toread
Academic papers
- On the Size of Pairing-Based Non-interactive Arguments1
- Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model2
- Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and Thresholdisable3
toread - NeutronNova: Folding everything that reduces to zero-check4
toread
-
On the Size of Pairing-Based Non-interactive Arguments, by Groth, Jens, in Advances in Cryptology – EUROCRYPT 2016, 2016 ↩
-
Scalable Multi-party Computation for zk-SNARK Parameters in the Random Beacon Model, by Sean Bowe and Ariel Gabizon and Ian Miers, 2017, [URL] ↩
-
Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and Thresholdisable, by Martin R. Albrecht and Kamil Doruk Gur, in Cryptology {ePrint} Archive, Paper 2024/1459, 2024, [URL] ↩
-
NeutronNova}: Folding everything that reduces to zero-check, by Abhiram Kothapalli and Srinath Setty, in Cryptology {ePrint} Archive, Paper 2024/1606, 2024, [URL] ↩