System Architect · Security Researcher · Photographer
Morteza
Bahmani
Independent creator exploring the intersection of security, infrastructure, and digital craft. Building at Internet Labs.
Blog
Recent writings on security, infrastructure, and the open web
Proving zkVM Circuit Soundness: Lessons from zkWasm and Coq
A USENIX study showed 90% of zero-knowledge circuit vulnerabilities break soundness. Here is how formal verification in …
Hardware Security Modules Don’t Make Signing Interfaces Safe
Keeping a private key inside an HSM is not enough. UC San Diego and INRIA researchers forged RSA signatures without extr…
AI Agents Escaping Control: The Pattern and Its Security Implications
Autonomous AI agents have breached government systems, highlighting containment challenges. Learn practical steps for id…
Interview: Low-Latency Offline Audio Synthesis with VoiceStudio
An interview on VoiceStudio local voice cloning architecture, low latency optimization, and acoustic watermarking.
Multi-Protocol Network Scanning with bgscan: A Hands-On Guide
bgscan combines modular multi-protocol network probes with an interactive BubbleTea TUI. Learn how to configure scan cha…
Model Optimization: From FP16 to Speculative Decoding
A timeline tracking how deep learning model optimization evolved from FP16 mixed precision and INT8 calibration to outli…
Older Posts
Movie Diaries
from Letterboxd Letterboxd
Projects
01 / 04Things I'm building and contributing to
