# Certik Why did we decide to be audited by CertiK? Founded in 2018 by Columbia University and Yale University professors, [CertiK](https://www.certik.com/) is a pioneer in blockchain security. It uses the best of their kind formal verification and artificial intelligence technologies to protect and monitor blockchains, smart contracts and Web3 applications. #### CertiK advantages: * CertiK conducted over 1,800 audits across all major protocols; it is trusted by leading exchanges such as Binance, OKEx and Huobi as a recommended provider of blockchain and smart contract audits. * CertiK has a secure coding language on its native blockchain. Users can use it to create their own smart contracts verified on the CertiK blockchain using DeepSEA. * DeepSEA is a compiler and programming language that merits respect for its security. * CertiK's proprietary tool was developed in collaboration with researchers from such leading academic institutions as Columbia University and Yale University. The tool chain can identify complex corrective properties of smart contracts, thereby enhancing the security of the network and the products integrated into it. * CertiK is partnered with major blockchain players: Binance, Huobi and International Business Machines (IBM). #### CertiK's MarsDAO audit is available at: . --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://docs.daomars.com/marsdao-ecosystem/security/certik.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.