We identify security vulnerabilities and certify the functional correctness of smart contracts and blockchain projects. We have extensive experience with complex projects, such as decentralized exchanges, multi-party computation protocols and high-value enterprise systems.
A selection of public audits performed by us can be found in our GitHub repository.
Our team consists of PhDs and graduates in blockchain security from ETH Zurich, Switzerland.We use our audit platform to check for vulnerabilities and certify correctness.The smart contracts audited by our experts have raised over $300 millions. We use our audit platform to check for vulnerabilities and certify correctness