Los agentes de IA de Trail of Bits destapan un fallo crítico en la zkVM Miden
Security auditing in the age of (good enough) AI
Trail of Bits revisó la zkVM Miden y, antes de empezar, usó agentes de IA para crear desde cero un servidor LSP, un descompilador, un motor de análisis estático y un modelo en Lean del ejecutor. Estas herramientas encontraron más de 400 ubicaciones con validación de tipos mejorable y un fallo grave que permitía falsificar firmas Falcon y vaciar cuentas. Además, se generaron 95 pruebas de corrección verificadas por máquina.
Un probador malicioso podría explotar esto para falsificar firmas Falcon y vaciar cualquier cuenta Miden controlada por un par de claves Falcon.