#EthereumSecurityInitiative The co-founder of Ethereum, Vitalik Buterin, is supporting a new Ethereum Security Initiative, aimed at bringing formal verification, community auditing, and faster patching to smart contracts.