## Verifiable Encryption #### _Empowering Private Data Availability_ --- ### Data Availability (DA) Provides protocol **safety** & **liveness** _...Some data is **too sensitive** to publish publicly...._ --- ### **Private** Data Availability - Data Available... _but hidden_ - _Selectively disclosed_ programably --- ### Today's Encryption Encryption hides _everything_ about data. You **must fully trust** those who can decrypt. --- ### Verifiable Encryption (VE) **Verifiable claims on encrypted data** **_without decrypting it_** --- ### _Constrains_ on Encryption - Encryption _algorithm_ (AES, ChaCha, ...) - Private _key_(s) used (KMS commitments) - Decrypted data _properties_ --- <img style="filter: invert(100%);" src="https://safeanchor.org.uk/wp-content/uploads/2017/09/logo.fw_.png" /> PDA **ancors VE proofs** into protocols --- ## **_Use Cases_** Just a few ideas... Please [let us know yours](https://github.com/celestiaorg/pda-proxy/issues)! --- ### dApp Programmable Privacy - _Permissioned_, collaborative dApps - Inspired by ["local-first access control"](https://www.inkandswitch.com/keyhive/notebook/) - Data is public, **encrypted at rest** --- ### Example dApps - **Private rollups/apps** with _(partial)_ obfuscation - *Wrap* your fav kit: Rollkit, OP, Nitro, ... - **Verifiable Backups** recover from "disaster" - [Hibachi](https://hibachi.xyz) provable exchange ([Talk](https://docs.google.com/presentation/d/1rxc9UvcTBGN57oc2C06g5cyJ2Y1e140zIfvCyKsuuo4/edit?usp=sharing)) - **Trustless data markets** using escrow contracts - [Stock0](https://dorahacks.io/buidl/14098) media market --- #### [Stock0](https://dorahacks.io/buidl/14098) media marketplace <img style="border-radius: 20px;" src="https://hackmd.io/_uploads/SJ3LWlH-lg.png" /> ##### [img source](https://docs.google.com/presentation/d/1qq1QXSBcThOjaQ2OcEyS8cwNyAHs3SnC76YrBMAYENk) --- ### 🔗 [Private DA **Proxy**](https://github.com/celestiaorg/pda-proxy) Use canonical Celestia APIs _today_ --- <img style="height: 675px; border-radius: 20px;" src="https://raw.githubusercontent.com/celestiaorg/pda-proxy/n/add-sequence-diagram/doc/assets/verifiable-encryption.drawio.svg" /> --- ## 🔭 Future Directions **Hybrid** systems using TEEs/MPC/ZKPs - Confidential compute - Outsourcing - Parallelization - Better scalability --- ### Let's Build a Better Web 🔗 [Pritate DA Proxy](https://github.com/celestiaorg/pda-proxy) 📚 [Ongoing Research](https://docs.google.com/document/d/1XZyuOxdMm5INcHwQZOZ8ALRk_YkvicNwQHSfOVs8hoM/) 💬 Ideas? Use cases? Feedback? Questions?  ^ Slides ^