ZK-SNARKs, Privacy, Cryptographic Protocols, Verifiable Computation