Episode 156: Stateless Validation with Alin Tomescu

In this week’s episode, Anna and Fredrik chat with Alin Tomescu (https://twitter.com/alinush407), a post-doc researcher at VMWare Research Group (https://research.vmware.com/reserchers/alin-tomescu), 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 (https://www.youtube.com/watch?v=PrgeQJioCI8) & zkStudyClub: Aggregatable Subvector Commitments with Alin Tomescu (VMWare Research) (https://youtu.be/KGRnpjPjduI)
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 (https://eprint.iacr.org/2016/994), Leonid Reyzin and Dmitry Meshkov and Alexander Chepurnoy and Sasha Ivanov
CPZ18, Edrax: A Cryptocurrency with Stateless Transaction Validation (https://eprint.iacr.org/2018/968), 2018, Alexander Chepurnoy and Charalampos Papamanthou and Yupeng Zhang
BBF18, Batching Techniques for Accumulators with Applications to IOPs and Stateless Blockchains (https://eprint.iacr.org/2018/1188), 2018, Dan Boneh and Benedikt Bünz and Ben Fisch
Tome20, How to Keep a Secret and Share a Public Key (Using Polynomial Commitments) (https://alinush.github.io/papers/phd-thesis-mit2020.pdf), 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 (https://eprint.iacr.org/2020/419), 2020, Sergey Gorbunov and Leonid Reyzin and Hoeteck Wee and Zhenfei Zhang
TAB+20e, Aggregatable Subvector Commitments for Stateless Cryptocurrencies (https://eprint.iacr.org/2020/527), 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 (https://eprint.iacr.org/2020/975), 2020, Derek Leung and Yossi Gilad and Sergey Gorbunov and Leonid Reyzin and Nickolai Zeldovich
AR20, KVaC: Key-Value Commitments for Blockchains and Beyond (https://eprint.iacr.org/2020/1161), 2020, Shashank Agrawal and Srinivasan Raghuraman
TXN20, Authenticated Dictionaries with Cross-Incremental Proof (Dis)aggregation (https://eprint.iacr.org/2020/1239), 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 (https://www.parity.io/).
Check out Polkadot Decoded (https://decoded.polkadot.network/?utm_source=zeroknowledge.fm&utm_medium=referral&utm_campaign=decoded&utm_content=zk+podcast+info) 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 (https://decoded.polkadot.network/?utm_source=zeroknowledge.fm&utm_medium=referral&utm_campaign=decoded&utm_content=zk+podcast+info)
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/B81tQ57-ThZg8yOSx5gjA
Catch us on Youtube -https://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuMg
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

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