ChainSecurity

ChainSecurity is a company that offers security products and services for blockchain protocols and smart contracts. They also provide research and development in machine learning, program analysis, and security. ChainSecurity is known for its smart contract analyzer, Securify, and smart contract verifier, VerX. They have worked with DeFi protocols, Web3 projects, and the central banking sector.