Informática
Una IA detectó un fallo crítico en OpenVM, pero la auditoría humana cerró el caso
ZKSecurity explica cómo su auditor de IA encontró un candidato a vulnerabilidad en una biblioteca de OpenVM. El fallo se divulgó en mayo, fue corregido en la versión 1.6.0 y muestra el valor —y el límite— de automatizar auditorías.
4 min