The Path to Shielded Programmability
summary
The SoK presents a concrete three-phase model (independent off‑chain, mediated multiparty, global on‑chain) and catalogs real systems: 2PC matching with collaborative SNARKs (Renegade), extra‑protocol matchers (ZSA Swap), TEEs and threshold decryption batch swaps (Secret, Penumbra). Recommendation: minimal L1 changes (generic SNARK verifier, commit/nullify roots), add a DSL and metered on‑chain storage, and explore MPC‑based mediated computation as the practical path to multi‑party shielded programmability; Mina’s extreme of eight on‑chain data slots highlights tradeoffs.
AI-written summary · about
chapters (26)
- 0:00Intro to Bryan Gillespie
- 0:35Co-Presenter & Collaborators
- 1:05SoK on Programmable Privacy
- 3:30Privacy Protocols Reviewed
- 4:50Modern Privacy Chains: Off-chain + On-chain
- 10:11Design Flexibility
- 13:10Example Design Protocols
- 16:00A Secret Third Thing?
- 16:54Mediated Computation Phase
- 20:24Example: Penumbra
- 21:34Ideal Functionality
- 23:44Q?: Why is privacy of inputs important in SoK?
- 26:34Intro to Ying Tong Lai
- 29:03Motivating App: Limit Order Auctions
- 33:00Exemplary Protocols
- 34:40Design Patterns and Observations
- 38:56Example 1: ZSA Swap
- 40:54Example 2: Renegade.fi
- 42:52Example 3: Secret Network
- 44:30Example 4: Penumbra
- 46:50Recommendations for Zcash
- 51:29Things to Come!
- 52:18Join in!
- 52:59Q?: What's the intersection of shielded and plain programmability?
- 57:18Q?: What features are crucial for shielded programmability?
- 59:16Thank you!
related talks
32mSoK: Private Programmability on Blockchain Systems
48mSoK: Programmable Privacy
09mWhy Institutional Custody Breaks on Shielded Chains
18mSoK: Understanding zk-SNARKs: The Gap Between Research and Practice
39mPrivacy and Evolution of SNARKs
36mPanel Discussion
20mSoK: Off The Chain Transactions
01h 08mSecure Computation 1