New system allows cloud customers to detect program-tampering

A new version of “zero-knowledge proofs” allows cloud customers to verify the proper execution of their software with a single packet of data.