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