We rely on our formal verification platform and the security mindsets of our experts to secure our clients. 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 and high-value enterprise systems.
What is the difference between a formal audit and a manual audit?
In a manual audit, a security auditor manually inspects the smart contract’s code to check if it correctly implements the contract’s specification. A manual audit does not come with guarantees as even the best experts may fail to spot hard-to-find bugs. In a formal audit, the expert also (1) formalizes the key parts of the contract’s specification and (2) uses a verifier to mathematically prove that the smart contract correctly implements the specification.
Who will audit my project?
All audits involve multiple auditors from the ChainSecurity team. Our teams consists of PhD and Master graduates from ETH Zurich, Switzerland, the top technical university in Europe, and have extensive experience in system security and program verification. All our experts are trained in-house.