What Is Programmable Privacy? From Programmable Cryptography to Verifiable Execution