#termmax @TermMax
Quand je regarde la sécurité de TermMax, je suis moins intéressé par le nombre d’audits que par ce que la piste d’audit révèle sur la manière dont le système se comporte sous pression.
Cette distinction compte.
Les revues des phases 1, 2 et 3 d’ABDK, ainsi que les travaux ultérieurs V2 et liés à TMX, montrent une base de code qui a été mise à l’épreuve à maintes reprises. La partie intéressante n’est pas l’existence de rapports. C’est la catégorie de problèmes qui continuait à remonter autour de la réentrance, de la logique de rachat, des mises à jour de réserves, de la comptabilité des soldes, des calculs de créances douteuses et des parcours de contrôle des actifs.
J’ai déjà vu cela dans la DeFi. Le bug évident est corrigé, puis un autre apparaît à la frontière entre deux contrats qui, pris isolément, semblaient sûrs.
C’est sur cela que je me concentre avec TermMax.
L’évaluation de Cantina a fait état de plusieurs constats, y compris des problèmes de sévérité élevée, et le statut publié indique que ces constats sont corrigés. C’est une preuve utile d’un processus de remédiation actif, mais je ne considère pas « tous les constats résolus » comme équivalent à « l’architecture est formellement sûre ».
La question la plus importante, c’est celle des invariants.
Pour un protocole construit autour de tokens fixes, de tokens d’échange, de courbes d’ordres, de vaults et d’effet de levier, je veux savoir si des propriétés comme la conservation comptable, la solvabilité et le règlement correct des FT/XT sont imposées mécaniquement à travers chaque transition d’état significative, et pas seulement couvertes par des tests.
Le programme public Immunefi est un autre élément de l’ensemble. Une prime active donne aux chercheurs une incitation à attaquer le système déployé, ce qui est précieux. Mais la couverture des primes reste encore réactive.
Donc mon analyse est simple : TermMax semble avoir fait l’objet d’itérations de sécurité sérieuses. Ce qui ne me convainc pas encore pleinement, c’est l’écart entre « les bugs connus ont été corrigés » et « les invariants économiques importants sont préservés de manière prouvable ».
C’est dans cet écart que je continuerais à creuser.
Quand je regarde la sécurité de TermMax, je suis moins intéressé par le nombre d’audits que par ce que la piste d’audit révèle sur la manière dont le système se comporte sous pression.
Cette distinction compte.
Les revues des phases 1, 2 et 3 d’ABDK, ainsi que les travaux ultérieurs V2 et liés à TMX, montrent une base de code qui a été mise à l’épreuve à maintes reprises. La partie intéressante n’est pas l’existence de rapports. C’est la catégorie de problèmes qui continuait à remonter autour de la réentrance, de la logique de rachat, des mises à jour de réserves, de la comptabilité des soldes, des calculs de créances douteuses et des parcours de contrôle des actifs.
J’ai déjà vu cela dans la DeFi. Le bug évident est corrigé, puis un autre apparaît à la frontière entre deux contrats qui, pris isolément, semblaient sûrs.
C’est sur cela que je me concentre avec TermMax.
L’évaluation de Cantina a fait état de plusieurs constats, y compris des problèmes de sévérité élevée, et le statut publié indique que ces constats sont corrigés. C’est une preuve utile d’un processus de remédiation actif, mais je ne considère pas « tous les constats résolus » comme équivalent à « l’architecture est formellement sûre ».
La question la plus importante, c’est celle des invariants.
Pour un protocole construit autour de tokens fixes, de tokens d’échange, de courbes d’ordres, de vaults et d’effet de levier, je veux savoir si des propriétés comme la conservation comptable, la solvabilité et le règlement correct des FT/XT sont imposées mécaniquement à travers chaque transition d’état significative, et pas seulement couvertes par des tests.
Le programme public Immunefi est un autre élément de l’ensemble. Une prime active donne aux chercheurs une incitation à attaquer le système déployé, ce qui est précieux. Mais la couverture des primes reste encore réactive.
Donc mon analyse est simple : TermMax semble avoir fait l’objet d’itérations de sécurité sérieuses. Ce qui ne me convainc pas encore pleinement, c’est l’écart entre « les bugs connus ont été corrigés » et « les invariants économiques importants sont préservés de manière prouvable ».
C’est dans cet écart que je continuerais à creuser.