#jolt

• Jolt Soundness Bug -- Writing To Control Status Registers
  Ari 2026-06-19
• Bug Report: DIVW Inline Sequence Incompleteness
  Ari 2026-04-28
• Chain Proving: A Strategy To Deal With Monadic Monstrosity
  Ari 2026-04-23
• Register Operation Helpers
  Ari 2026-04-14
• The Proof
  Ari 2026-04-13
• The Theorem Statement
  Ari 2026-04-13
• Modelling the CPU State
  Ari 2026-04-11
• Compiling RISCV-SAIL Into Lean4 Cpuu
  Ari 2026-03-22
• Sumchecks Bloody Sumchecks
  Ari 2026-02-20
• Anatomy Of A Jolt Sumcheck
  Ari 2025-12-01
• Algorithms For Montgomery Multiplication
  Ari 2025-05-16
• Montgomery Multiplication: Theory Vs Practice
  Ari, Squirrel 2025-05-15