Un defecto en lo que un protocolo fue diseñado para hacer, y no en cómo se programó: la implementación es correcta, la regla que implementa no lo es.
Por qué importa
Es la categoría que más a menudo sobrevive a una auditoría, porque línea a línea nada parece incorrecto. El error está en una suposición: que un valor no puede donarse, que una posición no puede volverse no rentable de liquidar, que dos operaciones no pueden combinarse. Las herramientas automáticas no señalan una regla que nadie les pidió poner en duda.
Qué puedes comprobar
Los análisis posteriores de esta categoría se leen de forma distinta a los de errores de memoria: describen una secuencia de operaciones individualmente legítimas. Los alcances de auditoría que mencionan pruebas económicas o de invariantes abordan esta categoría; uno limitado a la revisión de código, en general, no.
Dónde apareció
Registros del Rastreador de Incidentes que dependen de esto: ataque por donación a Euler Finance.
No es asesoramiento. Las definiciones son para entender, no para instruir. Nada de lo aquí publicado es asesoramiento financiero, jurídico, fiscal ni de seguridad.