CertiK

CertiK is an American blockchain security company headquartered in New York City. Founded in 2017 by computer scientists Ronghui Gu and Zhong Shao, the company specializes in smart contract auditing, formal verification, and blockchain security services. Its work originates from research on formally verified operating systems and software verification developed by its founders in academia.

The company has received coverage in technology and financial publications for its application of formal verification to blockchain security, its venture capital funding, and its growth within the Web3 cybersecurity industry.

History

CertiK was founded in 2017 by Ronghui Gu, a professor of computer science at Columbia University, and Zhong Shao, a professor of computer science at Yale University. Before establishing the company, the founders conducted research on formal verification and operating system security, including the development of CertiKOS, a formally verified operating system designed to improve software reliability through mathematical verification.

According to MIT Technology Review, the company was established to apply formal verification techniques developed in academic research to blockchain software and smart contracts.

During its early years, CertiK expanded from research-based software verification into blockchain security services, including smart contract auditing and security monitoring for blockchain networks.

Operations

CertiK provides security services for blockchain networks, smart contracts, decentralized finance (DeFi) protocols, and Web3 applications. Its activities include smart contract auditing, formal verification, penetration testing, and blockchain security monitoring.

According to MIT Technology Review, the company's approach emphasizes formal verification, using mathematical methods to verify software behavior in addition to conventional security testing.

The company also develops monitoring tools for blockchain ecosystems that identify potential security risks affecting smart contracts and decentralized applications.

Funding

In July 2021, CertiK announced a US$37 million Series B funding round led by Coatue Management and Shunwei Capital, with participation from Coinbase Ventures and other investors.

Later in 2021, the company raised an additional US$80 million in a Series B2 funding round. CoinDesk reported that the investment increased CertiK's valuation to nearly US$1 billion.

In April 2022, CertiK announced an additional US$88 million funding round led by Insight Partners, Tiger Global Management, and Advent International. Following the investment, several financial publications reported that the company had reached a valuation of approximately US$2 billion.

Advent InternationalBlockchainCoatue ManagementCoinbase VenturesColumbia UniversityComputer scienceDecentralized applicationDecentralized financeFormal verificationInsight PartnersMIT Technology ReviewNew York (state)New York CityOperating systemPenetration testSeries B roundShunwei CapitalSmart contractTiger Global ManagementVenture capitalWeb3Yale University

Backlinks (3)

Bored ApeJason NiehSafeMoon

External links (12)

mobile.bjd.wqtv.online/...

blockworks.co/...

https://en.jiemian.com/article/7308876.html

https://m.yicai.com/news/101373194.html

news.yale.edu/...

https://www.certik.com/

www.coindesk.com/...

https://www.forbeschina.com/entrepreneur/58547

www.technologyreview.com/...

www.wenweipo.com/...

Templates (94)

AmboxCat handlerCategory handlerCite webComma separated entriesDb-g11Db-metaDb-spamEncodefirstHang on/notice3If emptyInfoboxInfobox companyInfobox company/styles.cssMain otherMboxModule:ArgumentsModule:Category handlerModule:Category handler/blacklistModule:Category handler/configModule:Category handler/dataModule:Category handler/sharedModule:Check for conflicting parametersModule:Check for unknown parametersModule:Citation/CS1Module:Citation/CS1/COinSModule:Citation/CS1/ConfigurationModule:Citation/CS1/Date validationModule:Citation/CS1/IdentifiersModule:Citation/CS1/styles.cssModule:Citation/CS1/UtilitiesModule:Citation/CS1/WhitelistModule:Disambiguation/templatesModule:If emptyModule:InfoboxModule:Infobox/styles.cssModule:InfoboxImageModule:Message boxModule:Message box/ambox.cssModule:Message box/configurationModule:MultiReplaceModule:Namespace detectModule:Namespace detect/configModule:Namespace detect/dataModule:NoincludeModule:PagetypeModule:Pagetype/configModule:Pagetype/disambiguationModule:Pagetype/rfdModule:Pagetype/setindexModule:Pagetype/softredirectModule:SDcatModule:Separated entriesModule:StringModule:TableToolsModule:TextModule:Text/dataModule:Time agoModule:ToolbarModule:UnsubstModule:URLModule:WdModule:Wd/i18nModule:WikidataIBModule:WikidataIB/nolinksModule:WikidataIB/titleformatsModule:Wikitext ParsingModule:YesnoNamespace detectNOINDEXPagetypeParagraph breakPbReflistReflist/styles.cssREVISIONUSER2SDcatShort descriptionShort description/lowercasecheckStart date and ageTalk otherTemplate for discussion/styles.cssTemplate for merging/datedTemplate linkTemplate otherTerminate sentenceTime agoTlToolbarUndisclosed paidURLWikidataYears or months agoYesno

📊 Wikidata

Subject Facts

QID: Q140894340

Label: CertiK

Description: American blockchain security company

Type: Company

Wikidata Archive Data

Captured: August 14, 2026 9:38 AM

View raw claims JSON

Stored properties: 1

P31

{
    "P31": [
        {
            "id": "Q140894340$0258bdb6-1839-47d3-80e6-54933b4a9030",
            "rank": "normal",
            "type": "statement",
            "mainsnak": {
                "hash": "b7fc6c9f46efeede3bf483f3a5b0c45c7be77936",
                "datatype": "wikibase-item",
                "property": "P31",
                "snaktype": "value",
                "datavalue": {
                    "type": "wikibase-entityid",
                    "value": {
                        "id": "Q783794",
                        "numeric-id": 783794,
                        "entity-type": "item"
                    }
                }
            }
        }
    ]
}

Main Menu

CertiK

History

Operations

Funding

See also

CertiK

History

Operations

Funding

See also

See Also

Zero Hash

MOD BIKES

Krikey AI

Phoenix Home Remodeling

Agallas Equities