Zero Knowledge27 Marras 2019

Alan Szepieniec on Hash Functions & Supersonic SNARKs

In this week’s episode, we catchup with Alan Szepieniec, a researchers at Nervos and co-author of the Supersonics paper & the Marvellous family of Hash Functions (which specify the Vision/Rescue cyphers). We chat about his past work in cryptography, how the Supersonics paper came to be, and dive into the new generation of hash functions emerging, including the Marvelous universe.

For more info, please have a look at these resources and past episodes!

Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols (the Marvellous (Vision/Rescue) paper)
Transparent SNARKs from DARK Compilers (Supersonic paper)
On a Generalization of Substitution-Permutation Networks: The HADES Design Strategy - Competing designs for arithmetization-friendly hash functions
Starkad and Poseidon: New Hash Functions for Zero Knowledge Proof Systems
MiMC https://eprint.iacr.org/2016/492.pdf and attack https://eprint.iacr.org/2019/951.pdf
Jarvis and Friday, the first members of the Marvellous universe (may they rest in peace) https://eprint.iacr.org/2018/1098.pdf
... and the Groebner basis attack that killed them: https://eprint.iacr.org/2019/419.pdf

And here are some of the previous ZKP episodes that we mention:

If you like what we do:

Join us on Telegram

Support our Gitcoin Grant

Support us on the ZKPatreon

Or directly here:

ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a

BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

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

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

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

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

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

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

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

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

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