Quantstamp: The Protocol for Securing Smart Contracts