Fuzzer в Wake не похож ни на один другой. Пример: случайные фуззеры полностью пропустили порчу состояния в многоступенчатых DeFi-сценариях. Давайте погрузимся в это ↓
2/ Управляемый подход Wake на практике: → Определить реалистичные потоки: депозит → заимствование → ликвидация с соответствующими ограничениями → Инварианты Python проверяют «total supply == сумма балансов» после каждой транзакции → Тестирование форка Mainnet против живого Uniswap/Aave без развертывания
172