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

Securing the blockchain and its users. Powering CodeHawks and Solodit.

Think the queues got so long everybody gave up on audits

Certik has been in business for long and is getting a lot of recognition.

CertiK and Trail of Bits lead in crypto audits.

Top crypto audit firms include CertiK and QuillAudits.