Certora provides security analysis tools for Smart Contracts. Certora has unique technology called Certora Prover capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.
...more
View all episodesBy Corey Petty, Demetrick Ferguson, Jessie Santiago
5
44 ratings
Hashing It Out #78- Certora - Mooly Sagiv
Certora provides security analysis tools for Smart Contracts. Certora has unique technology called Certora Prover capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.