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 214: Emin Gün Sirer on Avalanche and its Formation

This week Anna chats with Emin Gün Sirer – CEO Ava Labs and Founder of Avalanche. They chat about the experiences that led him to become interested in distributed systems research and his work as a professor at Cornell that led to the development of Avalanche. They then dig into their novel consensus mechanism which uses the sub-sampling technique, the architecture of the network with the 3 distinct components: X-Chain, C-Chain and P-Chain, bridges and more.

Episode 213: zk-SNARKs meets Optimistic Rollup with Zkopru

This week Anna chats with Wanseob an Applied ZKP Developer in the Privacy & Scaling Exploration Team at the Ethereum Foundation and one of the authors of the Zkopru protocol. They explore how Zkopru uses optimistic rollups and zero knowledge proofs to create a privacy-focused Layer 2. Wanseob walks us through the transaction process and how the protocol is built to circumvent high gas fees. We also hear a little about what’s to come in the Zkopru ecosystem from merchandising to private exchange of NFTs.

Episode 212: 2021 < 2022 with Co-hosts & Friends

This week, Anna checks in with co-hosts & friends, Tarun Chitra, James Prestwich, Josh Cincinnati and Guillermo Angeris, for a retrospective look at 2021 and a look forward to 2022. Enjoy this conversation full of blasphemous hot takes, bad 2022 predictions and dad jokes.

Bonus ZK Hack Wrap with Kobi!

While we decided not to release a full episode this week, Anna did get a chance to catch up with Kobi Gurkan, one of the co-organizers of ZK Hack and someone who was very missed in the last episode about the event!

Episode 211: It’s a wrap! ZK Hack Takeaways & What’s Next!

This week, Anna hosts a special 5-part interview with a roundup of perspectives from ZK Hack. First, she chats with puzzle hackers who share what it was like to solve these real-world cryptography bugs and learn complex concepts in real time. They discuss how they got started learning in this space and the resources and tools that helped them. Next, Anna speaks with the puzzle builders on the challenges of designing and building these novel zk puzzles. They discuss the state of the community and how the community could work together to create learning resources to enable its growth. Last but not least, there is a chat with part of the ZK Hack organizing team on what they thought of the event and what’s to come next!

Episode 210: The Road to STARKs and Miden with Bobbin Threadbare

This week, Anna chats with Bobbin Threadbare about his project Miden, a STARK-based roll-up which was recently purchased by Polygon. We recap the differences between STARKs and SNARKs and the increasingly blurred line between these two proving systems. We then map Bobbin’s journey to Miden VM (now Polygon Miden), how it originated from his earlier project Distaff VM and now incorporates the Winterfell prover from his days at Facebook.

Episode 209: Liquid Staking with Lido and Chorus One

This week Anna and Tarun chat with Vasiliy Shapovalov from Lido and Felix Lutsch of Chorus One about liquid staking on the ETH2 Proof of Stake consensus chain. Vasiliy explains Ethereum’s unique PoS validator setup and how liquid staking behaves on this network. They also talk about how liquid staking behaves on other live PoS, the inevitability of liquid staking and how to best design these systems. Lastly, they chat about navigating control and decision making in liquid staking protocols, touching on topics of decentralisation and governance.

Episode 208: Digging into Data Availability with Ismail Khoffi from Celestia

This week Anna chats with Ismail Khoffi from Celestia about how and why they’re focusing on building a data availability-first L1 blockchain. Ismail takes us through how data availability can be a problem, primarily with light clients and breaks down the components necessary to understanding the data availability problem such as state changes, the separation of consensus from execution and how Celestia aims to be a pluggable consensus layer.

Zk white


Subscribe to Zero Knowledge podcast on these links:

Join the conversation: