Why a lack of verifiable computation limits transparency, efficiency, and trust in modern cloud systems.