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.