blog

• 2026-06-16 When a Timeout Is Not a NotFound: Reproducing Zebra's Sync Stall in TLA+
• 2026-05-04 Formally Verifying the Zcash Orchard Cryptographic Stack
• 2024-01-01 Why the way you trade matters — and how privacy makes it fair