Auditing in the age of (good enough) AI

Abstract

Trail of Bits describes building audit-specific tools and validating findings during a security review of the Miden zero-knowledge virtual machine.