Trail of Bits 用 AI 自建工具审计 Miden zkVM，发现可伪造 Falcon 签名的高危漏洞

Security firms have published numerous blog posts describing how they pointed their agent harness at a codebase and found dozens of bugs ( we’re one of them ). However, these posts tend to focus on agentic code review, which is just one aspect of how we use AI in our security reviews. We want to give a different perspe…