1Detecting program-tampering in the cloud: advances in zero-knowledge proofs (opens in new tab)(web.mit.edu)2noswi12y ago0