Summary

In this week’s episode Anna and Kobi chat with Muthu Venkitasubramaniam and Carmit Hazay from Ligero. They discuss their work on MPC and ZK for the last 20 years and how the research has evolved. They then dive into a nuanced conversation on how MPC & ZK are interrelated. The discuss Ligero, what led to the project and the early phases, as well as the new Ligetron system and how they plan on getting this technology into the wild.

Here’s some additional links for this episode:

• Ligero
• Ligero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and Venkitasubramaniam
• Ligetron by Ligero
• Ligetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs. Post-Quantum ZK-SNARKs on a Browser by Wang, Hazay and Venkitasubramaniam
• ℓ-Diversity: Privacy Beyond k-Anonymity by Machanavajjhala, Gehrke, Kifer and Venkitasubramaniam
• Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting by Hazay, Mikkelsen, Rabin, Toft and Nicolosi
• MeshCal.com
• Zero-Knowledge from Secure Multiparty Computation by Ishai, Kushilevitz, Ostrovsky and Sahai
• Introduction to MPC-in-the-Head by Carmit Hazay
• ZKBoo: Faster Zero-Knowledge for Boolean Circuits by Giacomelli, Madsen and Orlandi
• Episode 322: Definitions, Security and Sumcheck in ZK Systems with Justin Thaler
• Communication complexity of secure computation by Franklin and Yung

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

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