Waken fuzzer on erilainen kuin mikään muu. Esimerkki: satunnaiset fuzzerit missaavat täysin tilan korruptiota monivaiheisissa DeFi-tilanteissa. Sukelletaan asiaan ↓

2/ Waken ohjattu lähestymistapa käytännössä: → Määrittele realistiset virrat: talletat → lainaa → realisoi asianmukaisin rajoituksin → Python-invariantit tarkistavat "kokonaistarjonta == saldojen summa" jokaisen tapahtuman jälkeen → Mainnetin haarautuminen testaa live-Uniswap/Aavea vastaan ilman käyttöönottoa