Zero Knowledge Zero Knowledge Podcast

Summary

In this week’s episode Anna chats with Ismael Hishon-Rezaizadeh, Founder and CEO at Lagrange Labs and Charalampos (Babis) Papamanthou, Head of Research at Lagrange and Co-Director of the Applied Cryptography Lab at Yale University.


They revisit the concepts of zk-powered coprocessors and dive into the work that Charalampos did previous to joining Lagrange on Verifiable SQL. They then explore how this is incorporated into the Lagrange coprocessor system, the work they are doing on Reckle Trees, future work and what all this enables for dApp developers. They discuss their new prover marketplace, the general state of infrastructure and how they are keen to bring more concepts from general computing into decentralized blockchain systems.




Here’s some additional links for this episode:


13:07 * Protocols for Public Key Cryptosystems by Ralph C. Merkle
14:08 * Episode 57: Merklize this! Merkle Trees & Patricia Tries
26:32 * Episode 327: Proof Aggregation with Shumo and Yi from NEBRA
36:57 * Reckle Trees: Updatable Merkle Batch Proofs with Applications by Papamanthou, Srinivasan, Gailly, Hishon-Rezaizadeh, Salumets and Golemac
36:57 * Lagrange Labs GitHub on Reckle Trees




The Web3 Summit is back! The next edition will be happening in Berlin from Aug 19-21, you can head over to web3summit.com to apply, learn more and grab your tickets today.




Episode Sponsors

Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.


Follow Namada on Twitter @namada for more information and join the community on Discord.




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](www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary

In this week’s episode, Anna and Tarun sit down with Hart Lambur irl at EthCC week in Brussels. They start by exploring Hart’s project Across - a cross-chain interoperability solution and sister project to Uma. They explore the Across construction, the tradeoff space and how this compares to other interop solutions. Then, in ZK Podcast tradition, the group shift gears with a few drinks and explore thoughtful observations on the week in Brussels.




Here’s some additional links for this episode:



Hart Lambur’s Twitter
Uma Website
Uma Docs
Across Protocol Website
Across Protocol Medium


9:08 * SchellingCoin: A Minimal-Trust Universal Data Feed
39:13 * ERC-7683 Cross Chain Intents Website
50:58 * Episode 286: Paris 2023 Recap with Uma, Zaki and Tarun
50:58 * Episode 292: State of ZK – Live at zkSummit10!
59:17 * Bell Curve Podcast - Deep Dive: The CAKE Framework & Building a One Click Experience | Hart Lambur & Stephane Gosselin
1:23:39 * ZK Whiteboard Sessions




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




Episode Sponsors

Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.


Follow Namada on Twitter @namada for more information and join the community on Discord.




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](www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

This week's ZK Podcast episode will be delayed to Thursday this week due to Brussels mania.


In the meantime, we wanted to highlight the upcoming ZK Hack Montreal event, happening Aug 9-11 2024. This is the 4th IRL zk-focused hackathon produced by ZK Hack. Apply now to attend ZK Hack Montreal as a hacker and jump into zk.


https://www.zkmontreal.com/


Find out more about ZK Hack & join the discord as well at https://zkhack.dev/

Summary

In this week’s episode, Anna and Tarun meet with Varun Srinivasan, co-founder of Farcaster. They explore the Farcaster project, discussing the ideas that prompted its inception and what separates it from existing social media networks. The conversation explores the design space that Farcaster opens up for devs and the kinds of applications that can be built on top of it.




Here’s some additional links for this episode:



Farcaster
Mastodon
Diaspora
Mastodon ActivityPub
Secure Scuttlebutt
Supercast
Drakula
What is Frames?
Frames Spec
Farcaster Frames: what you need to know
Warpcast
ZORA
Surveycaster
Blowfish
OpenRank
OpenRank Docs - Farcaster Integration
Neynar




ZK Hack Montreal is happening Aug 9 - 11! Apply to join the hackathon here.




Episode Sponsors

Gevulot is the first decentralized proving layer. With Gevulot, users can generate and verify proofs using any proof system, for any use case.


Gevulot is offering priority access to ZK Podcast listeners, register on gevulot.com and write “ZK Podcast” in the note field of the registration form!




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](www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary

In this week’s episode, Anna and Guille chat with Ying Tong Lai from Geometry Research and Bryan Gillespie from Inversed Tech about their latest research and works to date. They dive into the pair’s recent work ‘SoK: Programmable Privacy in Distributed Systems’, exploring the classifications and frameworks being introduced.




Here’s some additional links for this episode:



SoK: Programmable Privacy in Distributed Systems by Benarroch, Gillespie, Lai and Miller
Private Programmability in Zcash - Research Results and Community Discussion
Zcash Halo2 GitHub
Zk0x02 - An intro to Zcash and zkSNARKs - Ariel Gabizon (Zcash)
Moving SNARKs from the generic to algebraic group model by Ariel Gabizon
Explaining SNARKs Part I: Homomorphic Hidings by Ariel Gabizon
Differential Privacy in Constant Function Market Makers by Chitra, Angeris and Evans
A Note on Privacy in Constant Function Market Makers by Angeris, Evans and Chitra
On Privacy Notions in Anonymous Communication by Kuhn, Beck, Schiffner, Jorswieck, and Strufe




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




Episode Sponsors

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](www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)

Summary


In this week’s episode Anna and Nico chat with Alessandro Chiesa, Associate Professor at EPFL and Eylon Yogev, Professor at Bar-Ilan University. They discuss their recent publication; Building Cryptographic Proofs from Hash Functions, which provides a comprehensive and rigorous treatment of cryptographic proofs and goes on to analyze notable constructions of SNARGs based on ideal hash functions.




Here’s some additional links for this episode:



Building Cryptographic Proofs from Hash Functions by Chiesa and Yogev
Episode 200: SNARK Research & Pedagogy with Alessandro Chiesa
Barriers for Succinct Arguments in the Random Oracle Model by Chiesa and Eylon Yogev
STIR: Reed–Solomon Proximity Testing with Fewer Queries by Arnon, Chiesa, Fenzi and Eylon Yogev
ZK Podcast Episode 321: STIR with Gal Arnon & Giacomo Fenzi
Computationally Sound Proofs by Micali
Tight Security Bounds for Micali’s SNARGs by Chiesa and Yogev
Interactive Oracle Proofs by Ben-Sasson, Chiesa, and Spooner
Summer School on Probabilistic Proofs: Foundations and Frontiers of Probabilistic Proofs in Zürich, Switzerland
Proofs, Arguments, and Zero-Knowledge by Thaler
ZK HACK Discord and Justin Thaler Study Club
Justin Thaler Study Club by ZK HACK on YouTube
Subquadratic SNARGs in the Random Oracle Model by Chiesa and Yogev
ZK Learning Course




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




Episode Sponsors

Launching soon, Namada is a proof-of-stake L1 blockchain focused on multichain, asset-agnostic privacy, via a unified shielded set. Namada is natively interoperable with fast-finality chains via IBC, and with Ethereum using a trust-minimized bridge.


Follow Namada on Twitter @namada for more information and join the community on Discord.




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](www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g)