Scraping Bits cover image

#22 - Leo Alt: Leading Ethereum's Formal Verification + CoFounding Powdr Labs

Scraping Bits

00:00

Building the Architecture

This chapter focuses on building the architecture of the Powder project, discussing modular design, language design iterations, and prioritizing features. It also highlights the integration of proof systems like Halo 2 and Starks, and the lessons learned from Solidity.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app