EPISODE · Apr 9, 2020 · 59 MIN
Hashing It Out #78- Certora - Mooly Sagiv
from The Bitcoin Podcast · host Corey Petty, Demetrick Ferguson, Jessie Santiago
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.
What this episode covers
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.
NOW PLAYING
Hashing It Out #78- Certora - Mooly Sagiv
No transcript for this episode yet
Similar Episodes
Dec 5, 2025 ·50m
Oct 9, 2025 ·33m
Oct 3, 2025 ·40m
Sep 11, 2025 ·31m
Aug 27, 2025 ·39m
Aug 18, 2025 ·54m