Zcash fue descubierto por un AI en un día, sacando a la luz una vulnerabilidad mortal que llevaba oculta 4 años
El 28 de mayo Anthropic lanzó Claude Opus 4.8.
El 29 de mayo, un investigador corrió una auditoría automatizada y encontró un bug crítico en el circuito Orchard de Zcash——
La misma moneda se puede gastar repetidamente, generando un nullifier diferente cada vez, sin que se note en la cadena.
En pocas palabras, es como imprimir dinero infinito; las características de privacidad de la prueba de conocimiento cero se convirtieron en una capa de invisibilidad.
Esta vulnerabilidad estuvo presente desde el día de la actualización NU5 en mayo de 2022, y nadie la había detectado en más de cuatro años. Las auditorías manuales y las revisiones no la captaron.
La raíz del problema es bastante pequeña: un gadget de multiplicación escalar en Halo2 utilizó assign_advice()
sin restricciones, lo que permitió a un probador malicioso cambiar el punto base y falsificar una prueba válida. La solución era solo una línea de código: cambiar assign_advice a copy_advice.
Pero el proceso fue bastante emocionante:
- El investigador lo descubrió un viernes por la noche y envió un mensaje por Signal a los desarrolladores principales de Zcash
- En la madrugada del sábado, él mismo escribió un PoC completo con Claude, elevando el saldo de Orchard en regtest a 10 millones de ZEC
- El equipo de Zcash cerró urgentemente Orchard a través de un soft fork el lunes por la noche
- El martes se lanzó la corrección y se reactivó
Lo interesante es que este investigador había corrido anteriormente el mismo marco de auditoría con Opus 4.7 y no encontró nada. Solo con 4.8 funcionó. Además, el AI
después de encontrarlo dudó y pensó: "seguro que este código ya fue auditado", dudando si debía tomárselo en serio.
Al leer el informe completo, las impresiones son dos:
1. La auditoría de contratos seguros por AI ya no es solo un cuento; realmente puede hacer el trabajo
2. Aunque el código haya sido auditado varias veces por humanos, puede que aún esconda cosas.
Los titulares de ZEC no tienen de qué preocuparse, ya se ha solucionado todo.
#Zcash #ZEC #Claude #安全审计