Quantstamp is the first scalable security-audit protocol designed to find vulnerabilities in Ethereum smart contracts.