Certora, an Israeli firm that provides smart contract security research tools, has secured $36 million in a Series B investment round headed by Jump Crypto.
Investors in Series B funding round of Certora
As per information, Galaxy Digital, Tiger Global, and existing Series A investors like ACapital, Electric Capital, Framework Ventures, Lemniscap, Coinfund, Coinbase, and VMware participated in the Series B funding round.
What does Certora do?
Certora allows smart contract designers to identify errors before deploying the code post audits. Certora is used by DeFi protocols like Aave, Balancer, Compound Finance, MakerDao, Sushi, and others to secure their smart contracts against defects before launching them.
Certora’s technology is the result of two decades of academic study in formal verification and programming languages. Certora has secured around $50 billion in decentralised finance (DeFi) projects using procedures similar to those employed in safety-critical systems like avionics software.
The Certora team
Shmuel Sagiv, a computer science chair at Tel Aviv University and a leader in formal verification research, is the company’s CEO. Formal verification is the key research behind Certora’s technology.
Also, Certora’s 65-person team comprises professors from Cornell and the University of Washington. Furthermore, it employs security engineers from conventional banking organisations such as JPMorgan.
According to Saurabh Sharma, who is a partner and head of investments at Jump Crypto, Certora is powered by a world-class specialists team. It employs a formal verification to employ a spectrum of scalable and resilient solutions that enable considerably better reusability and granular testing.
