Permissioned ledgers that use Byzantine fault tolerance can detect misbehaviour provided that there is enough diversity between machines but, if there are only a few cloud providers, you don’t get much diversity.
This paper proposes a mechanism to assign blame based on verifiable receipts that allow the ledger to be audited which creates a strong disincentive to misbehaviour at low cost (they can support 48k transactions per second).