coSNARKs with Ais and Lukas from TACEO
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 about Collaborative Zero-Knowledge Proofs from Episode 256: New ZK Use Cases with Dan BonehcoSNARKs - coCircomExploring Collaborative Zero-Knowledge ProofsZK11: MPC-Enabled Proof Markets - Daniel KalescoCircom RepocoSNARKs Demo: Max Pick ChallengeMPC Uniqueness Check GitHubcoSNARKs Telegram ChannelCheck out the ZK Jobs Board for the latest jobs in ZK at