Verifiable resource accounting for cloud computing services | Synapse