Episode 67: Formal Verification with Martin Lundfall

In this week's episode, we sit down with Martin Lundfall from Dapphub & MakerDAO to discuss formal verification – a topic request that comes directly from the Zero Knowledge audience.

We cover what formal verification is, where it makes sense, where it doesn't, the k-framework, how different this approach is to the “move fast and break things” approach, and much more.

Here are some of articles and videos we mention:


Thanks to Web3Foundation for being our sponsor on this week's episode. For more about the Web3Foundation grants, check out their blog: https://medium.com/web3foundation/introducing-web3-foundation-grants-442f6753926a and grants.web3.foundation


If you like what we do:
Follow us on Twitter – @zeroknowledgefm
Join us on Telegram – https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA
Support our Gitcoin Grant – https://gitcoin.co/grants/38/zero-knowledge-podcast
Support us on Patreon – https://www.patreon.com/zeroknowledge
Or directly here:
ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a
BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

Previous Episodes

Episode 197: WalletConnect & the DApp/Wallet connection with Pedro Gomes

This week, Anna chats with Pedro Gomes, Founder of WalletConnect, about how wallets and DApps traditionally interact and the journey to WalletConnect and WalletConnect 2.0. Pedro shares the ideas behind the new WalletConnect 2.0 development and his thoughts on what role the project will play in a Multi-Chain future.

Episode 196: Mixnets, Activism and Privacy with Nym’s Harry Halpin

This week, Anna chats with Harry Halpin, CEO of the Nym project, about a variety of topics related to privacy, politics and the need to build censorship-resistant systems. Harry talks about his early involvement in cryptography and his changing perspectives on capitalism as a tool for good. He shares how Nym aims to protect blockchain transactions from network-based deanonymization attacks.

Zero Knowledge Podcast (finally) has a real website!

No full episode this week, but we just wanted to let you know about the new zeroknowledge.fm website. Finally, we have a site that brings together all the different parts of the ZK Community: podcast episodes, upcoming and past events, blog, social channels and more.

Zk white

Subscribe

Subscribe to Zero Knowledge podcast on these links:

Join the conversation:

Newsletters:

Support: