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.

Links:

• Website Certora
• Twitter-Certora

Sponsor

• Status Website
• Status APP
• DAPPS Website
• DAPPS Email

AD Music Rod Hamilton Enchanted Forest

Donate to Hashing It Out

Discuss