Monograph

Certora provides advanced security analysis tools for Smart Contracts, including a one-of-its-kind accessible and cost-efficient formal verification tool. Evil Martians helped them build a handy VS Code plugin for analyzing the verification results in the IDE.

We’re proud that this Martian-built open source project has gained its independence but remains the fastest and most secure image processing tool on the market! To highlight these differentiators, we refreshed their brand identity, redesigned and launched a new website, developed a content strategy, and kicked off copywriting for the imgproxy blog and social channels.