Quantstamp – the Protocol for Securing Smart Contracts