{"data":{"id":"eaeeacb3-e29c-4f3f-97a7-274fa6a283d1","title":"Auditing in the age of (good enough) AI","summary":"Trail of Bits describes a six-month effort to prepare for a security review of the Miden VM, a new zero-knowledge VM with its own assembly language, MASM. Its agents built an LSP server, a decompiler, a static analysis engine, and a Lean model of the VM executor. The tooling found real issues, including an unvalidated prover-supplied input that could let a malicious prover forge Falcon signatures and steal funds, and the Lean work produced 95 machine-checked correctness proofs.","solution":"N/A -- no mitigation discussed in source.","labels":["security","research"],"sourceUrl":"https://blog.trailofbits.com/2026/09/18/auditing-in-the-age-of-good-enough-ai/","publishedAt":"2026-09-18T11:00:00.000Z","cveId":null,"cweIds":null,"cvssScore":null,"cvssSeverity":null,"severity":"info","attackType":[],"issueType":"news","affectedPackages":null,"affectedPackageNames":null,"affectedPackageRefs":null,"affectedVendors":[],"affectedVendorsRaw":["Miden VM","Claude"],"classifierModel":"claude-haiku-5-5","classifierPromptVersion":"v4","summaryPromptVersion":"v2","headline":null,"headlinePromptVersion":null,"cvssVector":null,"attackVector":null,"attackComplexity":null,"privilegesRequired":null,"userInteraction":null,"exploitMaturity":null,"epssScore":null,"epssCheckedAt":null,"kevDateAdded":null,"advisoryAliases":null,"affectedPackagesSource":null,"affectedPackagesCheckedAt":null,"patchAvailable":null,"disclosureDate":"2026-09-18T11:00:00.000Z","fixReleasedAt":null,"daysToFix":null,"fixCheckedAt":null,"capecIds":null,"crossRefCount":0,"attackSophistication":"moderate","impactType":null,"aiComponentTargeted":null,"llmSpecific":false,"classifierConfidence":0.6,"researchCategory":null,"atlasIds":null}}