Random Walks

Notes

Not thoroughly reviewed. Mostly for my consumption.

  1. Formal Methods Notes

  2. Proof Complexity Notes

  3. Jolt-Qed

  4. Sail RISC-V Into Lean

  5. Anatomy Of A Jolt Sumcheck

  6. Small Scalar Binding

  7. Theorem Proving in Lean notes.

  8. Algorithms For Montgomery Multiplication

  9. Montgomery Multiplication: Theory Vs Practice