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 320: A Deep Dive into Shared Sequencers with Espresso’s Ben Fisch

In this week’s episode, Anna (https://twitter.com/annarrose) and Brendan Farmer (https://twitter.com/_bfarmer) catch up with Ben Fisch (https://twitter.com/benafisch), CEO of Espresso Systems (https://www.espressosys.com/). They explore the inner workings of the current L2 sequencing landscape and then discuss how a shared sequencing marketplace like Espresso works. They touch on how MEV plays a part in the new system, how the role of the sequencer can be separated into subroles, how all these parts will work together in such a system and much more.

Episode 319: The Past & Present of the L2 Landscape with Jordi Baylina

In this week’s episode, Anna catches up with Jordi Baylina, OG Ethereum contributor and Polygon zkEVM Technical Lead. They cover what Jordi has been working on since he was last on the show in 2021. Back then, zkEVMs were still just an idea. Now that many of these systems have launched, they have a chance to look at how these fit into the general L2 landscape.

They cover Jordi’s view on engineering decentralized systems and how these are rolled out, and the recent research from Polygon, including their AggLayer proposal. They wrap up on what inspires him to keep contributing in the space.

Episode 318: Threshold Signature Schemes & FROST with Chelsea Komlo

In this week’s episode, Anna and Nico chat with Chelsea Komlo, Chief Scientist for the Zcash Foundation and member of the Cryptography, Security, and Privacy lab at the University of Waterloo.

They discuss what sparked Chelsea’s interest in cryptography research, starting with her work contributing to Tor, to her move to Zcash and her PhD work on Threshold Signature Schemes. They define some important terms around different signature schemes and discuss possible optimizations that can be used to make these more performant. They then dive into her work on the FROST Threshold Signature Scheme plus some new upcoming work.

Episode 317: Enhancing On-Chain Intelligence with Ritual

This week, Anna and Tarun chat with Niraj Pant and Anish Agnihotri from Ritual. They kick off by revisiting the AIxCrypto intersection before diving into the Ritual product and its goals around developing open access AI infrastructure. They explore the opportunities that open up when you bring ML to smart contracts.

Bonus: zkSummit11 reminder!

Quick reminder about our upcoming zkSummit 11 event. Happening in Athens on April 10th, we once again bring together the top researchers and engineers working in zk to share their latest research and new findings.

Episode 316: Alin Tomescu on Distributed On-chain Randomness and Keyless Accounts

In this week’s episode, Anna and Nico chat with Alin Tomescu, founding team member and Head of Cryptography at Aptos Labs. They discuss Alin’s journey to Aptos and his work on distributed on-chain randomness as well as the new Aptos Keyless project. They cover the Keyless accounts architecture, how the flow works for the user and some of the subtleties in the approach they have taken.

Episode 315: ZK Hack Ecosystem & Winners of ZK Hack IV

This week’s episode is a little different from the usual and is split into two parts with Anna and Kobi exploring the history of ZK Hack, its origins and how the event has evolved into what it is today, including current activity in the ZK Hack ecosystem. The second half of the show splits off into Anna and Nico chatting the top 3 hackers from ZK Hack IV Online, which wrapped back in February. Each mini interview catches up with one of the winners and dives into what it was like to hack on the puzzles, which their favourites were and how they can be improved in the future.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: