ChainSecurity is an ETH Zurich spin-off founded in 2017, specializing in smart contract and blockchain protocol security. The company provides security audits, formal verification, and develops tools like Securify and VerX. They work with leading DeFi protocols, research institutions, central banks, and large organizations to ensure the highest level of security for critical Web3 infrastructure.