Posts

• August 28, 2023 Grand product arguments
• June 27, 2023 The Walsh–Hadamard transform
• 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 25, 2022 The case for centralized rollups
• October 16, 2021 ECFFT on the BN254 base field in Rust
• August 7, 2021 The ECFFT algorithm
• 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
• November 30, 2019 Understanding Verifiable Delay Functions (with a Rust implementation)
• November 14, 2019 Use Rust in React Native through WebAssembly