Zero Knowledge

SummaryThis week Anna and Nico chat with Lukas Helminger and Ais Connolly from TACEO. They discuss Lukas & Ais’ early work in cryptography and privacy preserving technologies, the founding of TACEO and their recent work on coSNARKs - or Collaborative SNARKs - that combine MPC and ZK. They explore how these coSNARKs are created, their coCircom language, the characteristics of these systems as well as how they can be applied in the real world.Here’s some additional links for this episode:TACEO TACEO Docs TACEO GitHub Hashing it out: coSNARKs at TACEO Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets by Ozdemir and BonehPrivately Connecting Mobility to Infectious Diseases via Applied Cryptography Bampoulidis, Bruni, Helminger, Kales, Rechberger, and WalchLarge-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users by Bloemen, Kales, Sippl and WalchCollaborative SNARKs by Roman WalchNotes on Collaborative zkSNARKsMPC Primer - coCircomZK Podcast clip