Blog posts
Group theory
Math
- Winograd Fast Inner Product, Remco Bloemen
(Zero-knowledge) proof systems
- Groth16, Remco Bloemen
- PLONK notes (wave 1), ret2basic.eth
Papers to read
- Verifiable Oblivious Pseudorandom Functions from Lattices: Practical-ish and Thresholdisable1
- NeutronNova: Folding everything that reduces to zero-chec2
-
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] ↩