What is Wake?
Development and testing framework for Solidity smart contracts with pytypes, Python-native equivalents of Solidity types and blazing-fast execution. Wake is used by Ackee Blockchain team to perform smart contract audits - and it helped to discover a bunch of high and critical vulnerabilities.