What is Certora?
Certora specializes in developing advanced security analysis tools for smart contracts, leveraging its proprietary Certora Prover technology. This unique system operates at compile-time, ensuring that all smart contract executions adhere to predefined security rules. Certora Prover is designed to integrate seamlessly with existing smart contract development workflows, complementing compilers and debuggers. The technology's blockchain-independent and language-agnostic nature allows it to precisely identify bugs and prove their absence across various smart contract implementations. Certora offers two primary solutions: the Static Asset Scanner (SAS) for businesses employing smart contracts, which guarantees long-term asset safety by promptly notifying on new issues and reducing incident response time, and the Quality Development Environment (QDE), a CI/CD plugin for developers that facilitates rapid, secure development by detecting issues early in the development cycle, assisting QA, and maximizing security before deployment.
How much funding has Certora raised?
Certora has raised a total of $36M across 1 funding round:
Series B
$36M
Series B (2022): $36M with participation from Tiger Global Management and Galaxy Digital
Key Investors in Certora
Tiger Global Management
Tiger Global Management is an investment firm deploying capital in both public and private markets. The company was founded in 2001 and is headquartered in New York City, New York.
Galaxy Digital
Galaxy Digital provides a volunteer management software that helps nonprofits, corporations and campuses manage their volunteerism. The company was formed in 2009 and is headquartered in Asheville, North Carolina.
What's next for Certora?
The substantial enterprise-level funding and recent strategic investment indicate Certora's strong market position and its potential for accelerated growth. This capital infusion is expected to fuel further development of its innovative security analysis tools, potentially expanding its reach within the blockchain ecosystem. Certora's focus on compile-time security and its dual offerings for both businesses and developers position it to address critical security challenges in smart contract development, a sector increasingly vital for the integrity and safety of digital assets. The company is poised to further solidify its role in ensuring the robustness and security of blockchain applications.
See full Certora company page
