Stateless Validation with Alin Tomescu
Zero Knowledge18 Marras 2020

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

Read transcript

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(421)

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

This week, Anna and Guillermo are joined by Patrick O'Grady, founder of Commonware. They discuss his journey from Coinbase and Avalanche to building Commonware, a Rust library of composable primitives...

5 Elo 1h 12min

Private Information Retrieval (PIR) with Alex Hoover

Private Information Retrieval (PIR) with Alex Hoover

In this episode, Anna and Kobi are joined by Alex Hoover, cryptographer and Assistant Professor at Stevens Institute of Technology. They explore Private Information Retrieval (PIR)—a cryptographic pri...

29 Heinä 1h 4min

Alex Ozdemir on where Theorem Provers and ZK meet

Alex Ozdemir on where Theorem Provers and ZK meet

This week, Anna and Nico are joined by Alex Ozdemir, Assistant Professor at Georgia Tech, to explore the intersection of formal verification and zero knowledge. They begin by revisiting the evolution ...

15 Heinä 1h 1min

Sergey Gorbunov on TEEs and the Arc Privacy Sector

Sergey Gorbunov on TEEs and the Arc Privacy Sector

This week, Anna speaks with Sergey Gorbunov, Engineer at Circle, about Arc, Circle’s new EVM-compatible Layer 1 blockchain, and its approach to a TEE based on-chain privacy. They begin by revisiting S...

8 Heinä 1h 7min

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

zkMesh+ Exclusive Clip – Benedikt Bünz on the threat of AI

Last week on the show, we interviewed Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. The conversation ran long, so we're releasing some of the extra material as an exclusive ...

1 Heinä 6min

Pushing the Limits of Proof Systems with Benedikt Bünz

Pushing the Limits of Proof Systems with Benedikt Bünz

In this episode, Anna and Kobi speak with Benedikt Bünz, Chief Scientist at Espresso Systems and Professor at NYU. They start with a quick update on Espresso's architecture, its role in delivering fas...

24 Kesä 1h 8min

Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

Announcement: zkMesh+ Exclusive Clip – Vericoding and SMT

No main episode this week, but we’ve got an exclusive bonus clip for our zkMesh+ subscribers! Continuing our conversation from last week, Wyatt Benno (ICME) describes the world of 'vericoding' - the n...

18 Kesä 1min

Building ZK-Powered AI Guardrails with Wyatt Benno

Building ZK-Powered AI Guardrails with Wyatt Benno

In this episode, Anna and Nico chat with Wyatt Benno, technical founder of ICME Labs. They trace Wyatt’s start into ZK in the ZKHack Discord and Justin Thaler’s study group before diving into ICME’s e...

10 Kesä 1h 7min

Suosittua kategoriassa Koulutus

rss-murhan-anatomia
psykopodiaa-podcast
kesken
ilona-rauhala
adhd-podi
psykologia
rss-vapaudu-voimaasi
rss-arkea-ja-aurinkoa-podcast-espanjasta
rss-laadukasta-ensihoitoa
rss-koira-haudattuna
voi-hyvin-meditaatiot-2
jari-sarasvuo-podcast
rss-hereilla
rss-liian-kuuma-peruna
rss-loyda-voimasi
filocast-filosofian-perusteet
aamupore
rss-xamk-podcast
rss-spessu
rss-tietoinen-yhteys-podcast-2