Episode 156: Stateless Validation with Alin Tomescu

In this week’s episode, Anna and Fredrik chat with Alin Tomescu, a post-doc researcher at VMWare Research Group, about the concept of stateless systems. Specifically, they explore his work on stateless validation, why this would be desirable and what is the state of the research around this topic.

Have a look at Alin’s previous zkStudy Club episodes: zkStudyClub: Alin Tomescu on authenticated dictionaries and cross-incremental proof (dis)aggregation & zkStudyClub: Aggregatable Subvector Commitments with Alin Tomescu (VMWare Research)

This episode is packed full of info and Alin shared an amazing list of resources to help navigate this :
RMCI17e, Improving Authenticated Dynamic Dictionaries, with Applications to Cryptocurrencies, Leonid Reyzin and Dmitry Meshkov and Alexander Chepurnoy and Sasha Ivanov
CPZ18, Edrax: A Cryptocurrency with Stateless Transaction Validation, 2018, Alexander Chepurnoy and Charalampos Papamanthou and Yupeng Zhang
BBF18, Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains, 2018, Dan Boneh and Benedikt Bünz and Ben Fisch
Tome20, How to Keep a Secret and Share a Public Key (Using Polynomial Commitments), 2020, Tomescu, Alin,
CFG+20, [Vector Commitment Techniques and Applications to Verifiable Decentralized Storage](https://eprint.iacr.org/2020/149], 2020, Matteo Campanelli and Dario Fiore and Nicola Greco and Dimitris Kolonelos and Luca Nizzardo
GRWZ20, Pointproofs: Aggregating Proofs for Multiple Vector Commitments, 2020, Sergey Gorbunov and Leonid Reyzin and Hoeteck Wee and Zhenfei Zhang
TAB+20e, Aggregatable Subvector Commitments for Stateless Cryptocurrencies, 2020, Alin Tomescu and Ittai Abraham and Vitalik Buterin and Justin Drake and Dankrad Feist and Dmitry Khovratovich
LGG+20, Aardvark: A Concurrent Authenticated Dictionary with Short Proofs, 2020, Derek Leung and Yossi Gilad and Sergey Gorbunov and Leonid Reyzin and Nickolai Zeldovich
AR20, KVaC: Key-Value Commitments for Blockchains and Beyond, 2020, Shashank Agrawal and Srinivasan Raghuraman
TXN20, Authenticated Dictionaries with Cross-Incremental Proof (Dis)aggregation, 2020, Alin Tomescu and Yu Xia and Zachary Newman


zkSummit6 is happening on Nov 23-24 2020 – grab your spot: https://www.zksummit.com/


Thanks to this week's sponsor Parity Technologies.

Check out Polkadot Decoded happening on December 3rd.

This free online event is the Polkadot community conference and the first Polkadot gathering since the multi-chain network’s launch and decentralization.

Featuring a full program of talks on all aspects of Polkadot by the teams building the network’s core technology, as well as those building ecosystem parachains, applications, and cross-network bridges Whether you’re new to Polkadot or an experienced Polkadot community member, be sure to learn the latest and future developments in the Polkadot ecosystem and connect with the Polkadot community.

Check out the full program for Polkadot Decoded and register for free at decoded.polkadot.network

Thanks again Parity Technologies!


If you like what we do:

Follow us on Twitter – @zeroknowledgefm –https://twitter.com/zeroknowledgefm
Join us on Telegram –https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA
Catch us on Youtube –https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g
Read up on the r/ZKPodcast subreddit –https://www.reddit.com/r/zkpodcast
Give us feedback! –https://forms.gle/iKMSrVtcAn6BByH6A
Support our Gitcoin Grant –https://gitcoin.co/grants/329/zero-knowledge-podcast-2
Support us on the ZKPatreon –https://www.patreon.com/zeroknowledge

Or directly here:

ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz
ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

Previous Episodes

Episode 344: ZK Events 2024 Recap

This week, Anna and Nico take a look back at some of the ZK Events produced in 2024 by the ZK Podcast, ZK Hack and other adjacent projects. Starting with the live ZK Jargon Decoder hosted in January and spanning the 10 months since, Anna and Nico share behind-the-scenes anecdotes, highlight key talks from the events and share some insight into how the programs for the zkSummit events are created. They wrapped with a summary of some of the themes in ZK that got them talking this year and are tracking going forward.

Don’t forget, this is the last episode of ZK Podcast before we take a pause in weekly shows for the rest of 2024 – but don’t worry we will be back!

Episode 343: Mastering MPC & Memes with Mikerah

This week Anna chats with Mikerah Quintyne-Collins from HashCloak and Stoffel Labs. They discuss how Mikerah got her start in the crypto space and then dive into the work she did at ChainSafe and eventually at HashCloak. They cover Mikerah’s work on privacy preserving tech like ZK, TEE and MPC and learn about what drives her tweet game and the wisdom she has picked up over the years as a technical founder, driven by curiosity… and memes.

Bonus: ZK Whiteboard Sessions Season 2 and a ZK Pod Pause!

Just sharing 2 updates:
1) The ZK Whiteboard sessions are BACK with a 2nd season! These videos will be released every 2 weeks for the next 3 months.
2) The Zero Knowledge Podcast will take a pause on the weekly cadence of the show starting Oct 16th until the end of 2024.

Episode 342: Catch up with Zac and Ariel

This week Anna catches up with Zac Williamson & Ariel Gabizon from Aztec. They cover what each has been working on over the last year, Zac shared updates about the development of Aztec and the finalization of their underlying ZK system: MegaPlonk. Ariel discussed his latest research on IVC with his publications of the ProtoGalaxy and Stackproofs works and how properties of this systems brought him and Zac to start working together again.

Episode 341: coSNARKs with Ais and Lukas from TACEO

This week Anna and Nico chat with Lukas Helminger and Ais Connolly from TACEO. They discuss Lukas & Ais’ early work in cryptography and privacy preserving technologies, the founding of TACEO and their recent work on coSNARKs – or Collaborative SNARKs – that combine MPC and ZK. They explore how these coSNARKs are created, their coCircom language, the characteristics of these systems as well as how they can be applied in the real world.

Episode 340: Is Cosmos Dead? A critical look with Zaki Manian

This week Anna and Zaki Manian dive into the Cosmos ecosystem and ask the question: is Cosmos Dead? They explore key events, teams and players who worked on Cosmos during different eras before teasing out the strengths and structural flaws that made the project what it is today. The conversation wraps with a discussion around new initiatives aimed at reviving the ecosystem and aligning factions in Cosmos together towards a central goal.

Episode 339: TEEs with Andrew Miller

In this week’s episode, Anna and Tarun catch up with Andrew Miller. They cover his early work on consensus, ZK and MPC before switching focus to the topic of his current work: TEEs. They map his evolving opinion on TEEs and explore why they could be seen as an optimal solution to many of the blockchain challenges.

Episode 338: On Trust Infrastructure with Arnaud Schenk

This week Anna and Nico chat with Arnaud Schenk, one of the original co-founders of Aztec and creator of the Polaris Fellowship. They discuss Arnaud’s recent blog post ‘On Trust Infrastructure’, exploring the down sides of a trustless system, the need to make online community building more possible and how programmable cryptography may play a role in these solutions. They explore the history of computer culture, the rejection of institutions by mid-90s internet culture and how the seeds for this were set by the 60s counterculture.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: