Ein Defekt in dem, was ein Protokoll leisten sollte, und nicht darin, wie es programmiert wurde — die Implementierung ist korrekt, die Regel, die sie umsetzt, ist es nicht.
Warum das wichtig ist
Diese Klasse übersteht Audits am häufigsten, weil Zeile für Zeile nichts falsch aussieht. Der Fehler steckt in einer Annahme: dass ein Wert nicht gespendet werden kann, dass eine Position nicht so verändert werden kann, dass ihre Liquidation unrentabel wird, dass zwei Operationen nicht kombiniert werden können. Automatisierte Werkzeuge melden keine Regel, an der zu zweifeln ihnen nie aufgetragen wurde.
Was Sie prüfen können
Post-mortems dieser Klasse lesen sich anders als solche zur Speichersicherheit: Sie beschreiben eine Abfolge einzeln betrachtet legitimer Operationen. Prüfumfänge, die ökonomische Tests oder Invariantentests erwähnen, adressieren diese Kategorie; ein auf Code-Review beschränkter Umfang tut das weitgehend nicht.
Wo es aufgetreten ist
Einträge im Vorfall-Tracker, für die dies entscheidend ist: Euler Finance Donation-Angriff.
Keine Beratung. Definitionen dienen dem Verständnis, nicht der Anleitung. Nichts davon ist eine Finanz-, Rechts-, Steuer- oder Sicherheitsberatung.