Upvotes
131
Views
173
Score
64
Algorithm Analysis: Certora
Certora, based in Tel Aviv and founded in 2018, offers formal verification tooling, automated security analysis and smart contract audits through the Certora Prover and expert review. With a Canton Development Fund grant, it is building an open-source static analysis tool for compiled Daml packages that surfaces cross-package interactions and authorization risks. Led by co-founder Mooly Sagiv and CTO Shelly Grossman, with public documentation and open-source code, it brings established security expertise to Daml developers.
Last analyzed: Nov 14, 2026
Certora on Canton
Builds open-source Daml static analysis tooling with a Canton Development Fund grant to improve security and visibility into cross-package interactions.
About Certora
Certora provides formal verification tools, automated security analysis and smart contract audits. In May 2026, it received a Canton Development Fund grant to build an open-source static analysis tool for compiled Daml packages, helping developers identify cross-package interactions and authorization risks.
Features
What the product does
Certora Prover
Formal verification platform that mathematically checks smart contract behavior against developer-defined specifications.
Smart Contract Audits
Expert security audits combining formal verification, automated analysis and manual review.
Projects Related to Certora
Similar projects in the ecosystem
