Deep Systems Notes
Browse series · RSS · Atom
Start here: first entry.
Composable Security: Where Proofs Break in Real Systems
Threat-model-first analysis (January 2026): Composable Security: Where Proofs Break in Real Systems.
Verifiable Computation as Infrastructure: Proof Systems at Scale
Engineering notebook entry (February 2026): Verifiable Computation as Infrastructure: Proof Systems at Scale.
Secure Distributed Storage: Erasure Coding Under Adversaries
Spec-driven research note (March 2026): Secure Distributed Storage: Erasure Coding Under Adversaries.
Termination Is a Security Boundary: HotStuff Under UC, Delay Attacks, and the Uncomfortable Gap to Rust
Paper note (March 2026): a UC-style termination proof for HotStuff, the real invariant it relies on, and what changes when you ship it as a low-level Rust system under adversarial latency.