Episode 326. Aired on May 29, 2024
See full episode on zeroknowledge.fm/326-2/
In this week’s episode, Anna ( / annarrose ) and Kobi (x.com/kobigurk) chat with Muthu Venkitasubramaniam (www.cs.rochester.edu/u/muthuv/) and Carmit Hazay (www.eng.biu.ac.il/hazay/) from Ligero (ligero-inc.com). 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 (ligetron.com/) system and how they plan on getting this technology into the wild.
--------------------
Here’s some additional links for this episode:
* Ligero (ligero-inc.com)
* Ligero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and Venkitasubramaniam (eprint.iacr.org/2022/1608)
* Ligetron by Ligero (ligetron.com/)
* Ligetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs. Post-Quantum ZK-SNARKs on a Browser by Wang, Hazay and Venkitasubramaniam
(www.computer.org/csdl/proceed...)
05:19 * ℓ-Diversity: Privacy Beyond k-Anonymity by Machanavajjhala, Gehrke, Kifer and Venkitasubramaniam (personal.utdallas.edu/~mxk055...)
11:35 * Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting by Hazay, Mikkelsen, Rabin, Toft and Nicolosi (www.eng.biu.ac.il/~hazay/Conf...)
18:39 * MeshCal.com (meshcal.com/)
23:05 * Zero-Knowledge from Secure Multiparty Computation by Ishai, Kushilevitz, Ostrovsky and Sahai (web.cs.ucla.edu/~rafail/PUBLI...)
23:05 * Introduction to MPC-in-the-Head by Carmit Hazay (crypto.sjtu.edu.cn/cis2018/fi...)
23:33 * ZKBoo: Faster Zero-Knowledge for Boolean Circuits by Giacomelli, Madsen and Orlandi (eprint.iacr.org/2016/163.pdf)
29:51 * Episode 322: Definitions, Security and Sumcheck in ZK Systems with Justin Thaler (zeroknowledge.fm/322-2/)
36:46 * Communication complexity of secure computation by Franklin and Yung (dl.acm.org/doi/pdf/10.1145/12...)
--------------------
ZK Hack Montreal has been announced for Aug 9 - 11! Apply to join the hackathon here (zk-hack-montreal.devfolio.co/).
--------------------
Aleo (aleo.org/) 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 aleo.org/.
--------------------
*If you like what we do:*
* Find all our links here! @ZeroKnowledge | Linktree (linktr.ee/zeroknowledge)
* Subscribe to our podcast newsletter (zeroknowledge.substack.com)
* Follow us on Twitter @zeroknowledgefm ( / zeroknowledgefm )
* Join us on Telegram (zeroknowledge.fm/telegram)
* Catch us on KZread ( / @zeroknowledgefm )