Notes
Written word.
Not recently updated. Links may have broken since the website was moved.
Proof Complexity Notes
Working notes on proof complexity (potentially incomplete and/or wrong)
Compiling RISCV-SAIL Into Lean4 Cpuu
Notes from getting local transpilation working from source.
Lost in Translation
Sumchecks Bloody Sumchecks
Anatomy Of A Jolt Sumcheck
Small Scalar Binding
Tracked Types
Algorithms For Montgomery Multiplication
Montgomery Multiplication: Theory Vs Practice
The Lockdown Music Project
-
Proof Complexity Notes
Working notes on proof complexity (potentially incomplete and/or wrong)
-
Compiling RISCV-SAIL Into Lean4 Cpuu
Notes from getting local transpilation working from source.
-
-
-
-
-
-
-
-