CertiK leverages formal verification technology to mathematically ensure security in systems software.
CertiK has raised $60.0M in total funding. The most recent round was Series B. The last funding was announced in April 2022.
CertiK's investors include Lightspeed Venture Partners, Sequoia Capital, Advent International, Coatue, Hillhouse Investment.
CertiK is headquartered in New York, United States.
CertiK leverages formal verification technology to mathematically ensure security in systems software.
CertiK is at the Series B stage.
Free to use in articles, research, and reference works. Stable URL — will not change. Data on this page last updated .
"CertiK — Funding & Investors." VCBacked, April 22, 2022, https://www.vcbacked.co/company/certik. Accessed July 19, 2026.
VCBacked. (2022). CertiK — Funding & Investors. Retrieved July 19, 2026, from https://www.vcbacked.co/company/certik
{{cite web |title=CertiK — Funding & Investors |url=https://www.vcbacked.co/company/certik |website=VCBacked |access-date=July 19, 2026}}Profile data sourced and verified per the VCbacked methodology · Last funding round dated