MPC & ZK in Ligero and Ligetron

SummaryIn 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:LigeroLigero: Lightweight Sublinear Arguments Without a Trusted Setup by Ames, Hazay, Ishai and VenkitasubramaniamLigetron by LigeroLigetron: 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 VenkitasubramaniamEfficient RSA Key Generation and Threshold Paillier in the Two-Party Setting by Hazay, Mikkelsen, Rabin, Toft and NicolosiMeshCal.comZero-Knowledge from Secure Multiparty Computation by Ishai, Kushilevitz, Ostrovsky and SahaiIntroduction to MPC-in-the-Head by Carmit HazayZKBoo: Faster Zero-Knowledge for Boolean Circuits by Giacomelli, Madsen and OrlandiEpisode 322: Definitions, Security and Sumcheck in ZK Systems with Justin ThalerCommunication complexity of secure computation by Franklin and YungZK 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 | LinktreeSubscribe to our podcast newsletterFollow us on Twitter @zeroknowledgefmJoin us on TelegramCatch us on YouTube Read transcript