The Bitcoin Podcast Network
Hashing It Out #78- Certora - Mooly Sagiv
- Author: Vários
- Narrator: Vários
- Publisher: Podcast
- Duration: 0:59:52
- More information
Informações:
Synopsis
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.
