Short, practical writeups on audits, verification, and cryptographic systems engineering.
How a small, proved model plus a differential fuzzer catches deep logic bugs normally missed by tests.
A minimal Rust system that mirrors Lean invariants and keeps them enforced in code and tests.
A postmortem-style breakdown of how rounding, invariants, and unchecked assumptions turn into catastrophic losses.
An in-depth guide to building high-signal fuzzing programs for security-critical systems.
A practical, production-minded checklist for verifying ZK circuits before deployment.
A more realistic Lean model with pending payouts, limits, and conservation proofs.
Why Lean belongs in a security workflow and how to start modeling real invariants.
A compact checklist for abuse cases, side channels, and key lifecycle risks in crypto interfaces.