Certora
About
Technology stack
detected 2026-06-13No comments yet. Be the first to share your take.
What does Certora do?
Certora provides a formal verification platform for smart contracts, enabling developers to ensure the correctness and security of their blockchain applications. By applying modular formal verification techniques, Certora helps identify bugs and vulnerabilities before deployment, reducing risks and building trust in decentralized systems.
How much funding has Certora raised?
Certora has raised a total of $36M in funding. The most recent round on record is Series B.
Where is Certora headquartered?
Certora is headquartered in Tel Aviv, Israel.
When was Certora founded?
Certora was founded in 2018.
What industry does Certora operate in?
Certora operates in Blockchain, Smart Contract, Cybersecurity, Smart Contract Security, Formal Verification, Fintech.
How many employees does Certora have?
Certora has approximately 92 people on record.
What is Certora's current status?
Certora's current operating status is: Inactive.