Trail of Bits spent six months preparing to audit the Miden zkVM, a zero-knowledge virtual machine written in a custom assembly language with almost no existing developer tooling. Rather than pointing agents at the code once the review…
In the News: September 21, 2026 (Evening)
Trail of Bits had agents build a zkVM audit's tooling for six months, and the resulting formal proofs caught a fund-draining bug unit tests missed.
Evening edition
Machine-readable
Download Markdown