Security auditing in the age of (good enough) AI(blog.trailofbits.com)
88 points by aray07 | 13 comments
Trail of Bits blog post on using AI agents to build custom tooling (LSP server, decompiler, static analyzer) and formal models for auditing the Miden zero-knowledge VM.