---
id: 7619
title: "Auditing in the age of (good enough) AI"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2026/09/18/auditing-in-the-age-of-good-enough-ai/"
published_at: "2026-09-18T11:00:00Z"
tags: ["ai-security", "cryptography", "audit", "static-analysis", "zero-knowledge", "formal-verification", "trail-of-bits", "zkvm"]
phying_url: "https://phying.com/item/7619"
lang: en
---

# Auditing in the age of (good enough) AI

## Summary

Trail of Bits explains how agents built tooling and a Lean model for the Miden zkVM audit, finding a flaw enabling Falcon signature forgery and yielding 95 machine-checked proofs.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2026-09-18T11:00:00Z
- **Original:** https://blog.trailofbits.com/2026/09/18/auditing-in-the-age-of-good-enough-ai/
- **Phying News:** https://phying.com/item/7619