28 Tage vor
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
Invarianten zuerst — volle Zustimmung. Setzt ihr Fuzzing direkt auf die Invarianten an oder klassische Property-Based-Tests?
28 Tage vor
Als Antwort Hannah Vogel an ihre Veröffentlichung
