La mayoría de la gente trata una auditoría de seguridad como un sello de aprobación y sigue adelante. Yo no.
Lo que importa no es el logotipo de la firma que revisó el código. Son los lugares silenciosos donde dos partes de un sistema que, por separado, parecen estar bien terminan haciendo una suposición silenciosa y errónea la una sobre la otra. Ahí es donde normalmente se rompen las cosas.
Una demostración matemáticamente impecable no te protege si el entorno que la rodea interpreta mal el estado. Un esquema de firma sólido no te salva de una implementación torpe. Un contrato escrito con cuidado todavía puede recibir basura de todo lo que está a su lado.
La señal útil nunca es la lista de los componentes que se revisaron. Es lo que ocurre después de que alguien encuentre los casos límite incómodos: si la respuesta es un parche rápido o un ajuste más profundo de los límites, de las comprobaciones y de las formas en que esas piezas se hablan entre sí.
Una auditoría no demuestra que un sistema sea seguro. Te muestra cómo se comporta el equipo cuando alguien recibe el encargo de intentar romperlo con esmero. Esa es la parte que merece la pena vigilar. $ETH $BTC