Zero Knowledge12 Aug 2020

Hasu & Georgios on Bitcoin Security & Elastic Block Size Proposals

In this episode, Anna and guest host Georgios chat with Hasu, an independent crypto researcher focused on economics and security, about elastic block size proposals in both Bitcoin and Ethereum.

They cover how Hasu found his way into research as well as the history of the block size BIPs that shaped the ecosystem as well as Ethereum’s EIP 1559

Here are some additional links:

Research paper: A model for Bitcoin’s security and the declining block subsidy

Analysis of EIP-2593 (Escalator)

Analysis of EIP-1559

Thank you to this week’s sponsor Trail of Bits.

Trail of Bits found a bug in yVault that would have allowed an attacker to drain most (if not all) of the pool's assets. They quickly reported the bug to the yVault team and were able to secure the roughly $400K USD held in the system. This bug, which was thankfully caught, highlights the risk stemming from increased complexity caused by composition in the DeFi space. ‘

Generally - DeFi composability is hard. For example, If you integrate multiple tokens, any one token could compromise the security of your entire platform. On the other hand, if you integrate multiple platforms, your protocol could suffer from complex interactions.

If this is a relevant topic for you or the project you work on, reach out to Trail of Bits to arrange a security assessment, or sign up for their Ethereum security office hours.

Here is a link to their blog post “Accidentally stepping on a DeFi lego” https://blog.trailofbits.com/2020/08/05/accidentally-stepping-on-a-defi-lego Contact them here: https://www.trailofbits.com/contact/

If you like what we do:

Join us on Telegram

Catch us on Youtube

Read up on the r/ZKPodcast subreddit

Give us feedback! https://forms.gle/iKMSrVtcAn6BByH6A

Support our Gitcoin Grant

Support us on the ZKPatreon

Or directly here:

ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a

BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ

Read transcript

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(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 Aug 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 Jul 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 Jul 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 Jul 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 Jul 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 Jun 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 Jun 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 Jun 1h 7min