Security
Auditing in the age of (good enough) AI
Trail of Bits·September 18, 2026·1 min read
Security firm used AI agents to build custom tooling for auditing Miden VM, a zero-knowledge VM. Over six months, agents created an LSP server, decompiler, static analysis engine, and Lean model, finding a critical flaw allowing malicious provers to forge Falcon signatures and steal funds. The work produced 95 machine-checked proofs.
Read at Trail of BitsDaily crypto arcade
Read the news, then play it.
Chainshorts turns crypto headlines into a daily game. Catch up in 60 words, then jump into daily lucky draws for a shot at the pot.