About this episode
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:
- Is a type a lifebuoy or a lamp?
- https://github.com/dapphub/klab
- https://github.com/kframework/evm-semantics
- https://github.com/kframework/k
- https://jellopaper.org/
- https://dapphub.chat/
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
Get every episode summarized
Each time Zero Knowledge publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from Zero Knowledge
The Evolution from ZKP2P to Peer with Richard Liang
Zero Knowledge
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
Zero Knowledge
Private Information Retrieval (PIR) with Alex Hoover
Zero Knowledge
Alex Ozdemir on where Theorem Provers and ZK meet
Zero Knowledge