Eine Sache, die ich an TermMax’ Sicherheitswettbewerb im Februar 2025 interessant finde, ist der Umfang dessen, was geprüft wurde: 5.816 Zeilen Code (LOC).
Für TermMax, ein dezentraler Kredit- und Darlehensprotokoll mit festem Zinssatz, ist das eine sinnvolle Menge Code, die man unter die Lupe nehmen kann. Aber allein die Zahl sagt mehr darüber aus, wie viel Code einbezogen wurde, als darüber, wo die tatsächliche Sicherheitsrelevanz darin verortet war.
Diese 5.816 LOC deckten sehr unterschiedliche Arten von Logik ab, darunter Markt-, Order-, Router- und Vault-Funktionalität. Beim Zählen von Zeilen werden alle gleich behandelt. Ökonomisch tragen sie jedoch nicht zwangsläufig das gleiche Gewicht.
Ein kleiner Codeausschnitt kann die Bewegung von Mitteln, Berechtigungen, Preisbildung oder das Accounting steuern. Eine viel größere Komponente kann dagegen einen deutlich geringeren direkten Einfluss auf den wirtschaftlichen Zustand haben.
Was ich noch nicht weiß, ist, wie viel von TermMax’ realer Angriffsfläche sich in einem relativ kleinen Teil des geprüften Umfangs konzentrierte.
Die stärkere Evidenz wäre eine eindeutige Zuordnung zwischen der Prüfung und den zustandsändernden Übergängen von TermMax mit der höchsten Konsequenz: den Stellen, an denen ein kleiner Implementierungsfehler zu einem großen wirtschaftlichen Ergebnis führen könnte.
Das verändert, wie ich den Umfang interpretiere.
Die hilfreichere Frage ist nicht, wie viele Zeilen innerhalb der Audit-Grenze lagen, sondern wie viel wirtschaftliche Autorität diese geprüften Zeilen tatsächlich kontrollierten.
Eine Überprüfung mit 5.816 LOC kann in Bezug auf das Codevolumen breit angelegt sein, ohne mir zu verraten, ob diese Breite auch in den Teilen von TermMax vorhanden war, in denen Fehler am meisten zählen.
Entscheidend ist, ob TermMax’ Prüfung nur anhand der Codeanzahl breit war oder ob sie auch über die Systemteile hinweg breit war, die in der Lage sind, wirtschaftlichen Zustand zu verändern.
Ich beobachte, wie TermMax die Sicherheitsabdeckung auf die kritische Bewegung von Mitteln, Berechtigungen, Preisbildung, Accounting sowie die Invarianten abbildet, die sie schützen.
@TermMax #TermMax
$PIEVERSE
Für TermMax, ein dezentraler Kredit- und Darlehensprotokoll mit festem Zinssatz, ist das eine sinnvolle Menge Code, die man unter die Lupe nehmen kann. Aber allein die Zahl sagt mehr darüber aus, wie viel Code einbezogen wurde, als darüber, wo die tatsächliche Sicherheitsrelevanz darin verortet war.
Diese 5.816 LOC deckten sehr unterschiedliche Arten von Logik ab, darunter Markt-, Order-, Router- und Vault-Funktionalität. Beim Zählen von Zeilen werden alle gleich behandelt. Ökonomisch tragen sie jedoch nicht zwangsläufig das gleiche Gewicht.
Ein kleiner Codeausschnitt kann die Bewegung von Mitteln, Berechtigungen, Preisbildung oder das Accounting steuern. Eine viel größere Komponente kann dagegen einen deutlich geringeren direkten Einfluss auf den wirtschaftlichen Zustand haben.
Was ich noch nicht weiß, ist, wie viel von TermMax’ realer Angriffsfläche sich in einem relativ kleinen Teil des geprüften Umfangs konzentrierte.
Die stärkere Evidenz wäre eine eindeutige Zuordnung zwischen der Prüfung und den zustandsändernden Übergängen von TermMax mit der höchsten Konsequenz: den Stellen, an denen ein kleiner Implementierungsfehler zu einem großen wirtschaftlichen Ergebnis führen könnte.
Das verändert, wie ich den Umfang interpretiere.
Die hilfreichere Frage ist nicht, wie viele Zeilen innerhalb der Audit-Grenze lagen, sondern wie viel wirtschaftliche Autorität diese geprüften Zeilen tatsächlich kontrollierten.
Eine Überprüfung mit 5.816 LOC kann in Bezug auf das Codevolumen breit angelegt sein, ohne mir zu verraten, ob diese Breite auch in den Teilen von TermMax vorhanden war, in denen Fehler am meisten zählen.
Entscheidend ist, ob TermMax’ Prüfung nur anhand der Codeanzahl breit war oder ob sie auch über die Systemteile hinweg breit war, die in der Lage sind, wirtschaftlichen Zustand zu verändern.
Ich beobachte, wie TermMax die Sicherheitsabdeckung auf die kritische Bewegung von Mitteln, Berechtigungen, Preisbildung, Accounting sowie die Invarianten abbildet, die sie schützen.
@TermMax #TermMax
$PIEVERSE