Get the app
public
ios_share
The Bitcoin Podcast
chevron_right
Hashing It Out #78- Certora - Mooly Sagiv
Apr 9, 2020
59:52
forum
Ask episode
play_arrow
Play
view_agenda
Chapters
auto_awesome
Transcript
info_circle
Episode notes
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.