AI found a critical OpenVM flaw, but human auditing closed the case
ZKSecurity explains how its AI auditor found a vulnerability candidate in an OpenVM library. The issue was disclosed in May, fixed in version 1.6.0, and shows both the value and the limit of automated auditing.