Fuzzer Wake'a jest niepowtarzalny. Przykład: losowe fuzzery całkowicie pomijają uszkodzenia stanu w wieloetapowych scenariuszach DeFi. Zanurzmy się w to ↓
2/ Podejście prowadzone Wake'a w praktyce: → Zdefiniuj realistyczne przepływy: depozyt → pożyczka → likwidacja przy odpowiednich ograniczeniach → Inwarianty Pythona sprawdzają "całkowita podaż == suma sald" po każdej transakcji → Forkowanie sieci głównej testuje na żywym Uniswap/Aave bez wdrażania
161