sCompile: Critical Path Identification and Analysis for Smart Contracts
ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER