Programmable Cryptography: What it is and key technologies

Relevant links: Programmable Cryptography by 0xPARC: https://0xparc.org/blog/programmable-cryptography-1 The Knowledge Complexity of Interactive Proof Systems: https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf What is Starknet: https://www.starknet.io/what-is-starknet/ Google Wallet launches New Age and Identity Verification features: https://blog.google/products/google-pay/google-wallet-age-identity-verifications/ Google Open Sources their ZKP libraries: https://blog.google/technology/safety-security/opening-up-zero-knowledge-proof-technology-to-promote-privacy-in-age-assurance/ Google ZKP Libraries(GitHub): https://github.com/google/longfellow-zk Spartan: Efficient and general-purpose zkSNARKs without trusted setup: https://eprint.iacr.org/2019/550 Spartan: https://github.com/microsoft/Spartan Spartan2: https://github.com/microsoft/Spartan2 TikTok's Trustless Attestation Verification using Zero-Knowledge Proofs: https://developers.tiktok.com/blog/verifying-trusted-execution-environments Open source code: https://github.com/tiktok-privacy-innovation/trustless-attestation-verification TLSNotary: https://tlsnotary.org/docs/intro A Fully Homomorphic Encryption Scheme by Craig Gentry: https://crypto.stanford.edu/craig/craig-thesis.pdf Exploring Fully Homomorphic Encryption by Vitalik Buterin: https://vitalik.eth.limo/general/2020/07/20/homomorphic.html The MoonMath Manual: https://github.com/LeastAuthority/moonmath-manual