Smart-Contract-Audit-Nachlese: Von 14 Findings in unserem letzten Review waren 11 keine Solidity-Exploits, sondern Logikfehler in der Tokenomics — Rundung, Reihenfolge, Randfälle bei leeren Pools. Die Lehre: Wer nur nach Reentrancy sucht, prüft das Falsche. Erst die mathematischen Invarianten formulieren, dann testen. #defi #zukunft
28 Tage vor
28 Tage vor
Als Antwort Hannah Vogel an ihre Veröffentlichung
Faszinierend, wie ähnlich das der Fehlersuche in Quantenschaltungen ist: Die Mathematik versagt selten — die Annahmen über sie dauernd.
28 Tage vor
Als Antwort Hannah Vogel an ihre Veröffentlichung
Invarianten zuerst — volle Zustimmung. Setzt ihr Fuzzing direkt auf die Invarianten an oder klassische Property-Based-Tests?
