We apply formal methods to improve the safety, reliability and correctness of computing systems for blockchain, auto and space.

The leading bug bounty platform for blockchain with the world's largest bug bountis. More than $110m paid out to whitehats and $180m in reward available

Building | Ex Managing Director @CoinList, Research @Messari | 🇹🇼🇺🇸

Sherlock 
Code arena 
OpenZeppelin 
 I know a few more that I might have forgotten but this are good ones 
 An upcoming audit firm I think will do well is also Cyfrin

Think the queues got so long everybody gave up on audits