ChainSecurity (Decentralized Security AG)

ChainSecurity (Decentralized Security AG) wurde 2017 als Spin-off der ETH Zürich in Zürich gegründet. Das Unternehmen führt formale Verifikation und Sicherheitsaudits für Smart Contracts, DeFi-Protokolle und blockchainbasierte Systeme durch und hat mit zahlreichen Projekten, Börsen und Banken zusammengearbeitet.