Smart contract security firm Certora has raised $36 million in Series B funding.
Based in Israel, Certora enables smart contract developers to detect bugs in their code before launching.
It is used by decentralised finance protocols including Aave, Balancer, Compound Finance, MakerDao and Sushi.
The round was led by Jump Crypto and featured participation from Tiger Global, Galaxy Digital and existing investors including Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase and VMware.
Certora claims to currently secure about $50 billion in DeFi projects through technology developed over two decades of academic research. The company, which employs 65 people, including lecturers from leading American universities, is led by Shmuel Sagiv, computer science chair at Tel Aviv University.
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.”