Posts

2024

• 7 Oct 2024
  Locally Testable Proofs: The PVP Problem
• 6 Oct 2024
  Vocation: A Dialogue on Human Potential and Purpose
• 4 Oct 2024
  Tools for Probabilistic Checkable Proofs
• 30 Sept 2024
  The Elegant Foundation: Plonkish Arithmetization
• 25 Sept 2024
  Introduction to Gates and Circuits
• 23 Sept 2024
  Introduction to Interactive Proofs and Mina
• 24 Jul 2024
  Sumcheck: The Queen of Algorithms
• 12 Jul 2024
  A (somewhat) gentle introduction to the FFT
• 24 Jun 2024
  List-Decoding (5/5)
• 23 Jun 2024
  STIR: Proof of Proximity (4/5)