Скачать с ютуб Episode 326 - MPC & ZK in Ligero and Ligetron в хорошем качестве

Episode 326 - MPC & ZK in Ligero and Ligetron

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