Trail of Bits is a cybersecurity firm focusing on blockchain security, formal verification, exploit response, and secure development for Web3 protocols.