Notes

Written word.

Series

Proof Complexity Notes
Jolt-Qed 2026-04-11
Money For Nothing Monads For Free 2026-03-25

Posts

Jolt System Mismatch -- Writing To Control Status Registers 2026-06-19
Compiling RISCV-SAIL Into Lean4 Cpu 2026-03-22
Sumchecks Bloody Sumchecks 2026-02-20
Anatomy Of A Jolt Sumcheck 2025-12-01
Small Scalar Binding 2025-10-04
Tracked Types 2025-10-04
Algorithms For Montgomery Multiplication 2025-05-16
Montgomery Multiplication: Theory Vs Practice 2025-05-15