DeFi propagation research & hardware supply chain analysis. Writing about why things break and DJing while they keep running.
- Building KeyShield, Spec-First — Engineering a zero-knowledge "iCloud Keychain" for agent credentials. Enforcing client-side encryption invariants (WebAuthn PRF → HKDF → AES-256-GCM), instant revocation, and proxy-level spending caps via high-performance Rust proxying (50–80ms hot path).
- KeyShield (Solana Mini Hack SG #5): Zero-knowledge credential isolation proxy for autonomous agents. Built with a Rust reverse proxy, AES-256-GCM, and a 50–80ms hot path to secure session-scoped credentials.
- Solana MEV Contagion: Multi-pool shock propagation modeling and prop AMM risk mechanics.
- Semiconductor Supply Chain: Mapping the physical and economic dependencies of AI silicon — focusing on Co-Packaged Optics (CPO) and NVIDIA GB200/GB300 packaging bottlenecks.
- Spec-Driven AI Co-authoring: Treating human-written specs as the source of truth; leveraging AI to generate structural scaffolding, while leaving zero room for LLM drift or hallucination.
- Compiler-Guarded Safety: Using Rust's strict type-system (Type-State pattern, lifetime constraints) as a compile-time firewall. AI writes the code, the borrow checker verifies the logic.
- Deterministic Hot Paths: Strict latency budgeting (50-80ms target in KeyShield), zero-allocation design, and aggressive profiling to keep runtime overhead at absolute zero.
- Rust, TypeScript, Python
- Solana VM, ZK, MEV Simulation