Hashing It Out
Hashing It Out

Episode 77 · 1 year ago

Hashing It Out #78- Certora - Mooly Sagiv

ABOUT THIS EPISODE

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.

Links:

Sponsor

AD Music Rod Hamilton Enchanted Forest

Donate to Hashing It Out

Discuss

In-Stream Audio Search

NEW

Search across all episodes within this podcast

Episodes (108)