#termmax @TermMax
Cuando observo la seguridad de TermMax, me interesa menos la cantidad de auditorías que lo que el rastro de auditoría revela sobre cómo se comporta el sistema bajo presión.
Esa distinción importa.
Las revisiones de la Fase 1, 2 y 3 de ABDK, junto con el trabajo posterior relacionado con V2 y TMX, muestran una base de código que ha sido desafiada repetidamente. Lo interesante no es la existencia de informes. Es la clase de problemas que seguían apareciendo alrededor de reentrancy, lógica de redención, actualizaciones de reservas, contabilidad de saldos, matemáticas de deudas incobrables y rutas de control de activos.
He visto esto antes en DeFi. El error evidente se corrige, y luego aparece otro en el límite entre dos contratos que, vistos por separado, parecían seguros.
Ahí es donde me enfoco con TermMax.
La evaluación de Cantina informó múltiples hallazgos, incluidos problemas de alta severidad, y el estado publicado muestra esos hallazgos como corregidos. Esto es evidencia útil de un proceso activo de remediación, pero no trato “todos los hallazgos resueltos” como equivalente a “la arquitectura es formalmente segura”.
La pregunta más grande son los invariantes.
Para un protocolo construido alrededor de tokens fijos, tokens de intercambio, curvas de órdenes, bóvedas y apalancamiento, quiero saber si propiedades como la conservación contable, la solvencia y el asentamiento correcto de FT/XT se hacen cumplir de forma mecánica en cada transición de estado significativa, no solo cubiertas por pruebas.
El programa público de Immunefi es otra pieza del panorama. Una recompensa vigente le da a los investigadores un incentivo para atacar el sistema desplegado, lo cual es valioso. Pero la cobertura de las recompensas aún es reactiva.
Así que mi conclusión es sencilla: TermMax parece haber pasado por una iteración de seguridad seria. Lo que todavía no me convence del todo es la brecha entre “los bugs conocidos fueron corregidos” y “los importantes invariantes económicos se preservan de manera demostrable”.
Ahí es donde seguiría profundizando.
Cuando observo la seguridad de TermMax, me interesa menos la cantidad de auditorías que lo que el rastro de auditoría revela sobre cómo se comporta el sistema bajo presión.
Esa distinción importa.
Las revisiones de la Fase 1, 2 y 3 de ABDK, junto con el trabajo posterior relacionado con V2 y TMX, muestran una base de código que ha sido desafiada repetidamente. Lo interesante no es la existencia de informes. Es la clase de problemas que seguían apareciendo alrededor de reentrancy, lógica de redención, actualizaciones de reservas, contabilidad de saldos, matemáticas de deudas incobrables y rutas de control de activos.
He visto esto antes en DeFi. El error evidente se corrige, y luego aparece otro en el límite entre dos contratos que, vistos por separado, parecían seguros.
Ahí es donde me enfoco con TermMax.
La evaluación de Cantina informó múltiples hallazgos, incluidos problemas de alta severidad, y el estado publicado muestra esos hallazgos como corregidos. Esto es evidencia útil de un proceso activo de remediación, pero no trato “todos los hallazgos resueltos” como equivalente a “la arquitectura es formalmente segura”.
La pregunta más grande son los invariantes.
Para un protocolo construido alrededor de tokens fijos, tokens de intercambio, curvas de órdenes, bóvedas y apalancamiento, quiero saber si propiedades como la conservación contable, la solvencia y el asentamiento correcto de FT/XT se hacen cumplir de forma mecánica en cada transición de estado significativa, no solo cubiertas por pruebas.
El programa público de Immunefi es otra pieza del panorama. Una recompensa vigente le da a los investigadores un incentivo para atacar el sistema desplegado, lo cual es valioso. Pero la cobertura de las recompensas aún es reactiva.
Así que mi conclusión es sencilla: TermMax parece haber pasado por una iteración de seguridad seria. Lo que todavía no me convence del todo es la brecha entre “los bugs conocidos fueron corregidos” y “los importantes invariantes económicos se preservan de manera demostrable”.
Ahí es donde seguiría profundizando.