Notes on engineering & thought
Secure Enclave, threat models, defense in depth, and Passkey- / ERC-4337-based account abstraction — why keeping blockchain wallet keys on a phone can be "good enough" but never "perfect," and the structural limits behind that.
How an under-constrained Orchard circuit — a missing elliptic-curve-multiplication constraint that Taylor Hornby found with Opus 4.8 in 2026 — could mint unlimited counterfeit ZEC, and what is confirmed vs. unprovable from public material.
The meta-technique that turns a corruption primitive like UAF/overflow into reliable code execution. A tour of modern mitigations on both Android (Scudo/SLUB) and iOS (libmalloc/kalloc_type).
How a sub-exponential attack on the discrete-log problem in finite fields shapes today's DH key-size recommendations — and ended up powering Logjam.
AI shifted PR productivity, size, and generation speed all at once. The unit, review target, and gates — three axes — must be redesigned together.