Episode 330: Frameworks for Programmable Privacy with Ying Tong and Bryan Gillespie

Summary

In this week’s episode, Anna and Guille chat with Ying Tong Lai and Bryan Gillespie about their latest research and works to date. They get to dive into Ying Tong’s work on Zcash, Geometry Research and Halo2 before exploring Bryan’s journey into ZK via Zcash and current work at Inversed Tech.

After catching up, they dive into the pair’s recent work ‘SoK: Programmable Privacy in Distributed Systems’, exploring the classifications and frameworks being introduced.

Here’s some additional links for this episode:

• SoK: Programmable Privacy in Distributed Systems by Benarroch, Gillespie, Lai and Miller
• Private Programmability in Zcash - Research Results and Community Discussion
• Zcash Halo2 GitHub
• Zk0x02 - An intro to Zcash and zkSNARKs - Ariel Gabizon (Zcash)
• Moving SNARKs from the generic to algebraic group model by Ariel Gabizon
• Explaining SNARKs Part I: Homomorphic Hidings by Ariel Gabizon
• Differential Privacy in Constant Function Market Makers by Chitra, Angeris and Evans
• A Note on Privacy in Constant Function Market Makers by Angeris, Evans and Chitra
• On Privacy Notions in Anonymous Communication by Kuhn, Beck, Schiffner, Jorswieck, and Strufe

ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here.

Episode Sponsors

Aleo is a new Layer-1 blockchain that achieves the programmability of Ethereum, the privacy of Zcash, and the scalability of a rollup.

As Aleo is gearing up for their mainnet launch in Q1, this is an invitation to be part of a transformational ZK journey.

Dive deeper and discover more about Aleo at http://aleo.org/.

If you like what we do:

• Find all our links here! @ZeroKnowledge | Linktree
• Subscribe to our podcast newsletter
• Follow us on Twitter @zeroknowledgefm
• Join us on Telegram
• Catch us on [YouTube](www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)