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 […]