Certora Has Raised $36 Million Series B Funding Round Led By Jump Crypto
Certora, an Israel-based company that provides smart contract security analysis tools, has secured $36 million in a Series B round led by Jump Crypto.
According to a statement released on Tuesday, Tiger Global, Galaxy Digital, and current Series A investors such as Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase, and VMware participated in the round.
Certora allows smart contract developers to identify errors before deploying code after audits. Certora is used by DeFi protocols like as Aave, Balancer, Compound Finance, MakerDao, Sushi, and others to safeguard their smart contracts against bugs before launch, according to the statement.
According to the company, it has secured around $50 billion in decentralized finance (DeFi) projects using techniques similar to those utilized in safety-critical systems like avionics software. Certora’s technology is the result of two decades of academic work in formal verification and programming languages.
Saurabh Sharma, partner and head of investments at Jump Crypto, said: “Powered by world-class experts, Certora leverages formal verification to employ a suite of scalable and robust products that offer much higher reusability and granular testing.”
Shmuel Sagiv, a computer science chair at Tel Aviv University and a pioneer of formal verification, the academic subject that supports Certora’s technology, is the company’s founder.
Cetora’s 65-person team includes academics from Cornell and the University of Washington, as well as security engineers from traditional banking institutions such as JPMorgan.
DISCLAIMER: The information on this website is provided as general market commentary and does not constitute investment advice. We encourage you to do your own research before investing.
Join CoinCu Telegram to keep track of news: https://t.me/coincunews