%22%3E%3Crect%20fill%3D%22%23ffb300%22%20width%3D%22120%22%20height%3D%22120%22%20x%3D%220%22%20y%3D%220%22%20%2F%3E%3Cg%20transform%3D%22translate(22%2068)%22%3E%3Crect%20x%3D%2224%22%20y%3D%226%22%20width%3D%2227%22%20height%3D%228%22%20rx%3D%224%22%20fill%3D%22%23000%22%20fill-opacity%3D%22.8%22%2F%3E%3C%2Fg%3E%3Cg%20transform%3D%22translate(8%2020)%22%3E%3Cpath%20d%3D%22M29.27%209.68c-2.55.13-4.96%202.24-6.25%204.15-1.48-1.76-4.1-3.6-6.65-3.47-5.48.28-8.85%203.8-8.63%208.1.3%205.72%204.88%208.89%209.7%2012.24%201.71%201.15%205%204.15%205.42%204.82.42.67%202.14.6%202.58-.13a37.8%2037.8%200%200%201%204.9-5.36c4.43-3.84%208.66-7.47%208.36-13.2-.23-4.3-3.95-7.44-9.43-7.15ZM87.63%2010.36c-2.55-.14-5.17%201.7-6.65%203.47-1.3-1.9-3.7-4.02-6.25-4.15-5.48-.29-9.2%202.86-9.43%207.16-.3%205.72%203.93%209.35%208.36%2013.19%201.6%201.32%204.55%204.64%204.9%205.36.35.7%202.06.82%202.58.13.51-.7%203.7-3.67%205.42-4.82%204.81-3.35%209.4-6.52%209.7-12.24.22-4.3-3.15-7.82-8.63-8.1Z%22%20fill%3D%22%23FF5353%22%20fill-opacity%3D%22.8%22%2F%3E%3C%2Fg%3E%3C%2Fg%3E%3C%2Fsvg%3E)
Trend of Hot Index Change
Certora
Details
Certora is a smart contract security firm designed to help developers detect and prevent security mistakes before code is deployed. They have a unique technology called Certora Prover, which is capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.
Team
Fundraising
Related News
How do you feel about Certora today?
Total Votes 1283
Significant Events
May, 2022
Certora raised $ 36 M in Series B round
May, 2021
Certora raised $ 7.2 M in Series A round
Similar Projects
CertiK
Blockchain security company
MetaTrust
Automatic security scanning solution for Web3 Applications
Hacken
Web3 cybersecurity auditor
sec3
Web3 Security research firm
Veridise
Hardening blockchain security with formal methods
OpenZeppelin
Crypto cybersecurity technology and services company
Slowmist
Blockchain security company
Quantstamp
Blockchain security company