Skip to content
Auditing in the age of (good enough) AI
blog.trailofbits.com | blog | #ai-security | #cryptography | #audit | #static-analysis | #zero-knowledge | #formal-verification | #trail-of-bits | #zkvm
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.
- Published
- Collected