cryptography
- August 28, 2023 Grand product arguments
- June 22, 2023 A simple multivariate AIR argument inspired by SuperSpartan
- February 15, 2023 Applications of Riemann-Roch in cryptography
- May 21, 2022 Proving AIRs with multivariate sumchecks
- April 19, 2021 Cairo Games Vol 2: Writeup
- October 31, 2020 Donjon CTF Writeup: Secret RNG
- October 10, 2020 Isogeny-based crypto Part 1: The SIDH protocol
- April 29, 2020 Anomalous Curves Part 3: Formal groups
- April 22, 2020 Anomalous Curves Part 2: p-adic niceties
- April 21, 2020 Anomalous Curves Part 1: Don't be clever with your elliptic curve order
- April 16, 2020 Membership proofs from polynomial commitments