Detecting program-tampering in the cloud: advances in zero-knowledge proofs | Hacker News Reader