O fuzzer do Wake é diferente de qualquer outro. Exemplo: fuzzers aleatórios falham completamente a corrupção do estado em cenários DeFi de múltiplos passos. Vamos mergulhar nisso ↓

2/ A abordagem guiada de Wake na prática: → Defina fluxos realistas: depositar → pedir emprestado → liquidar com as devidas restrições → Os invariantes em Python verificam "total supply == soma de saldos" após cada transação → Testar o Mainnet contra Uniswap/Aave em funcionamento sem implementar