Zero Knowledge29 Jan 2020

Exploring the Fractal transparent SNARK construction

This week, we explore the Fractal transparent SNARK construction with its authors Dev Ojha and Nick Spooner - both students of Alessandro Chiesa at UC Berkeley. We explore how Fractal works, how it improves on some of the earlier work on Sonic and Marlin, how it borrows from but differentiates itself from STARKs, as well as what they discovered while working on this paper about recursive SNARKs and what makes that property possible.

Here is some of the material we touch on:

Fractal Paper

Ariel Gabizon's episode

Eli Ben-sasson's episode

Marlin Paper

Digging into recursive snarks

Latest recursive SNARKitecture with Izaak Meckler from O(1)Labs

Thank you to this week's sponsor Trail of Bits

Just recently, a critical vulnerability was found in the certificate validation functionality on Windows 10 and Windows Server 2016/2019 This bug allows attackers to break the validation of trust in a wide variety of contexts, such as HTTPS and code signing - Trail of Bits has developed a PoC exploit and put up a website Whose Curve is it Anyway that let's users test whether or not they are vulnerable.

To learn more about this vulnerability and the Trail of Bits exploit, please check out this recent blog post entitled: Exploiting the Windows CryptoAPI Vulnerability. Also keep an eye on the ToB blog for security news and explanation pieces like this one.

Thanks again Trail of Bits

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

Det här avsnittet är hämtat från ett öppet RSS-flöde och publiceras inte av Podme. Det kan innehålla reklam.

Avsnitt(429)

When Math Meets Auto Research with Bartosz Naskręcki

This week, Anna and Tarun are joined by Bartosz Naskręcki, mathematician and professor at Adam Mickiewicz University and researcher at the Centre for Credible AI, to explore how AI agents are transfor...

11 Nov 1h 16min

From Nova to Magnetar: Three Years of Research with Srinath Setty

This week, Anna and Nico catch up with Srinath Setty, researcher at Microsoft. They look back at his research since his work on Nova, spanning lattice-based folding, zero-knowledge identity proofs, an...

28 Okt 50min

zkGolf: AI, Clean and Optimising ZK Circuits with zkSecurity

This week, Anna is joined by Nico and Kobi to speak with Mathias Hall-Andersen and Giorgio Dell'Immagine from zkSecurity about zkGolf, a competition challenging humans and AI agents to build the most ...

21 Okt 1h 11min

Exploring the Lasers that Power Quantum Computers

This week, Anna and Guillermo chat with Josh Yang, CEO and co-founder of Brightlight Photonics, about the lasers that power quantum computers. Josh explains how lasers are used in neutral atom and oth...

7 Okt 1h 15min

JP Aumasson on Quantum Risk, AI Attacks and Too Much Crypto

This week, Anna, Tarun and Nico are joined by JP Aumasson, co-designer of BLAKE3, author of Serious Cryptography and cryptography engineer at Cloudflare. They revisit the quantum threat to cryptograph...

30 Sep 57min

Auto Research on Yukon with Soubhik Deb

This week, Anna is joined by Soubhik Deb, Head of Research at EigenLabs, to explore Yukon, a platform for collaborative AI-powered research. Soubhik traces the project’s origins to ECDSA.fail, a compe...

23 Sep 1h 6min

Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast

This week, Anna and Kobi are joined by Ron Rothblum, Professor of Computer Science at Technion and researcher at Succinct. They catch up on Ron’s move from theory into practice, including his work on ...

16 Sep 1h 1min

The Evolution from ZKP2P to Peer with Richard Liang

This week, Anna catches up with Richard Liang from Peer, formerly ZKP2P. They trace the project’s evolution over the past two years, from their initial ZKP2P product that used ZK email proofs to conne...

9 Sep 46min