Certora
Certora is an Israeli private VC-backed formal verification company developing mathematical proof tools for smart contract security with dual-use military software verification and assurance applications.
Visit WebsiteCompany Overview
Certora develops the Certora Prover, a powerful formal verification tool that mathematically proves smart contract code behaves correctly by checking every possible execution path and state against specified rules. The platform protects over $100 billion in total value locked (TVL) across leading DeFi protocols including MakerDAO, Aave, Compound, Lido, and Coinbase.
Founded by researchers from the Hebrew University of Jerusalem, Certora's technology applies formal methods from academic computer science to real-world software security, transforming how critical code is verified before deployment.
Dual-use relevance is significant: the same formal verification technology that mathematically proves DeFi protocols are secure can be applied to military software verification, ensuring mission-critical defense software — from weapons systems to command-and-control platforms — is provably correct and free from exploitable bugs before deployment.
Dual-Use Assessment
Formal verification technology has dual-use applications in DeFi/blockchain security and military mission-critical software assurance for defense systems.
Key Technologies
- Certora Prover formal verification engine
- Specification language for behavioral rules
- Automated counterexample generation
- Static analysis and symbolic execution
- Continuous verification CI/CD integration
Use Cases & Applications
- DeFi smart contract security verification
- Blockchain protocol correctness proofs
- Military weapons systems software verification
- Defense command-and-control software assurance
- Critical infrastructure software correctness proofs
Strategic Value to U.S.-Israel Alliance
Provides allied defense organizations with mathematically rigorous software verification for mission-critical military systems where bugs can be catastrophic.
Interested in this startup?
Learn more about our investment approach or get in touch to discuss opportunities in dual-use technology.