Summary

This 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 Boneh
• Privately Connecting Mobility to Infectious Diseases via Applied Cryptography Bampoulidis, Bruni, Helminger, Kales, Rechberger, and Walch
• Large-Scale MPC: Scaling Private Iris Code Uniqueness Checks to Millions of Users by Bloemen, Kales, Sippl and Walch
• Collaborative SNARKs by Roman Walch
• Notes on Collaborative zkSNARKs
• MPC Primer - coCircom
• ZK Podcast clip about Collaborative Zero-Knowledge Proofs from Episode 256: New ZK Use Cases with Dan Boneh
• coSNARKs - coCircom
• Exploring Collaborative Zero-Knowledge Proofs
• ZK11: MPC-Enabled Proof Markets - Daniel Kales
• coCircom Repo
• coSNARKs Demo: Max Pick Challenge
• MPC Uniqueness Check GitHub
• coSNARKs Telegram Channel

Check out the ZK Jobs Board for the latest jobs in ZK at job