Unlocking Programmable Cryptography: Key Technologies Explained 🔐

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