CertiK

CertiK is a company that provides smart contract verification and security services for blockchain-based systems. It was founded in 2017 by a team of researchers from Yale and Columbia Universities, and it is based in New York City. CertiK uses formal verification technology to analyze and verify the security of smart contracts and other blockchain-based systems. Formal verification is a mathematical technique that is used to prove the correctness of software and hardware systems, and it allows CertiK to provide a high level of assurance that the systems it verifies are secure and free of vulnerabilities. In addition to providing smart contract verification services, CertiK also offers a range of other security-related services, including audit and consulting services, security training, and software development. The company's services are designed to help businesses and organisations build secure and reliable blockchain-based systems, and it has worked with a number of leading companies and organisations in the blockchain space. Overall, CertiK is a leading provider of smart contract verification and security services for blockchain-based systems, and it is committed to helping businesses and organizations build secure and reliable systems using blockchain technology.