Zero Knowledge cover image

Formal Verification with Martin Lundfall

Zero Knowledge

00:00

Introduction

The hosts introduce the episode and discuss formal verification, highlighting its importance in the blockchain industry. They also mention Swedish speakers, the frameworks used for formal verification, and acknowledge the episode sponsor, the Web3 Foundation.

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