Martin Lundfall's guest appearances

Martin Lundfall

The Third Web

State Change

Konsensus

Zero Knowledge

The Smartest Contract

Juan Benet

Daniel Lehnberg

Martin Köppelmann

Dan Boneh

Peter Van Valkenburgh

Emin Gün Sirer

Richard Craib

Taylor Monahan

Christoph Jentzsch

Jenna Zenk

Ayo Akinyele

David Bailey

Bob Summerwill

Karl Floersch

Justin Drake

OwlTail

I dagens avsnitt pratar vi med Martin Lundfall från Ethereum Foundation. Vi pratar om formell verifikation, olika säkerhetsbrister i smarta kontrakt och det senaste kring uppgraderingen till Ethereum 2.0.Podden görs i samarbete med Safello.Läs mer på safello.comLänkar:https://github.com/dapphub/dapptools https://github.com/ethereum/actKontaktinfo:www.konsensuspodden.seMartin: twitter.com/MartinLundfallLudvig: twitter.com/ludvigoebergTristan: twitter.com/t4t5Dea: twitter.com/deabrunnerKeywords:Konsensuspodden konsensus Martin Lundfall Ethereum Foundation Formal Verification Act Dapphub Eth 2.0

I dagens avsnitt pratar vi med Martin Lundfall från Ethereum Foundation. Vi pratar om formell verifikation, olika säkerhetsbrister i smarta kontrakt och det senaste kring uppgraderingen till Ethereum 2.0. Podden görs i samarbete med Safello. Läs mer på <a href="http://safello.com" rel="nofollow" target="_blank">safello.com</a> Länkar: <a href="https://github.com/dapphub/dapptools" rel="nofollow" target="_blank">https://github.com/dapphub/dapptools</a> <a href="https://github.com/ethereum/act" rel="nofollow" target="_blank">https://github.com/ethereum/act</a> Kontaktinfo: <a href="http://www.konsensuspodden.se" rel="nofollow" target="_blank">www.konsensuspodden.se</a> Martin: <a href="http://twitter.com/MartinLundfall" rel="nofollow" target="_blank">twitter.com/MartinLundfall</a> Ludvig: <a href="http://twitter.com/ludvigoeberg" rel="nofollow" target="_blank">twitter.com/ludvigoeberg</a> Tristan: <a href="http://twitter.com/t4t5" rel="nofollow" target="_blank">twitter.com/t4t5</a> Dea: <a href="http://twitter.com/deabrunner" rel="nofollow" target="_blank">twitter.com/deabrunner</a> Keywords: Konsensuspodden konsensus Martin Lundfall Ethereum Foundation Formal Verification Act Dapphub Eth 2.0

43: Martin Lundfall från Ethereum Foundation

In this week's episode, we sit down with Martin Lundfall from Dapphub &amp; 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

In this week's episode, we sit down with <a href="https://twitter.com/martinlundfall" rel="nofollow" target="_blank">Martin Lundfall</a> from Dapphub &amp; MakerDAO to discuss <a href="https://en.wikipedia.org/wiki/Formal_verification" rel="nofollow" target="_blank">formal verification</a> - 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: <ul> <li><a href="https://skillsmatter.com/skillscasts/8893-is-a-type-a-lifebuoy-or-a-lamp" rel="nofollow" target="_blank">Is a type a lifebuoy or a lamp?</a></li> <li><a href="https://github.com/dapphub/klab" rel="nofollow" target="_blank">https://github.com/dapphub/klab</a></li> <li><a href="https://github.com/kframework/evm-semantics" rel="nofollow" target="_blank">https://github.com/kframework/evm-semantics</a></li> <li><a href="https://github.com/kframework/k" rel="nofollow" target="_blank">https://github.com/kframework/k</a></li> <li><a href="https://jellopaper.org/" rel="nofollow" target="_blank">https://jellopaper.org/</a></li> <li><a href="https://dapphub.chat/" rel="nofollow" target="_blank">https://dapphub.chat/</a></li> </ul> Thanks to Web3Foundation for being our sponsor on this week's episode. For more about the Web3Foundation grants, check out their blog: <a href="https://medium.com/web3foundation/introducing-web3-foundation-grants-442f6753926a" rel="nofollow" target="_blank">https://medium.com/web3foundation/introducing-web3-foundation-grants-442f6753926a</a> and <a href="https://github.com/w3f/Web3-collaboration/blob/master/grants/grants.md" rel="nofollow" target="_blank">grants.web3.foundation</a> If you like what we do: Follow us on Twitter - @zeroknowledgefm Join us on Telegram - <a href="https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA" rel="nofollow" target="_blank">https://t.me/joinchat/B_81tQ57-ThZg8yOSx5gjA</a> Support our Gitcoin Grant - <a href="https://gitcoin.co/grants/38/zero-knowledge-podcast" rel="nofollow" target="_blank">https://gitcoin.co/grants/38/zero-knowledge-podcast</a> Support us on Patreon - <a href="https://www.patreon.com/zeroknowledge" rel="nofollow" target="_blank">https://www.patreon.com/zeroknowledge</a> Or directly here: ETH: 0xC0FFEE1B5083230a5154F55f253B6b6ae8F29B1a BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz

Episode 67: Formal Verification with Martin Lundfall

What is the Ethereum Virtual Machine, what design trends and decisions influence its operation and what does that mean for Ethereum the platform?Today we dive deep. There is a debate around whether the flexibility of the imperative paradigm of programming language design or the verifiability of the functional paradigm are more appropriate for the Ethereum Virtual Machine. Martin is in the functional camp which he believes can make Ethereum a more robust and powerful platform. The EVM itself is often overlooked as a black box, but is one of a tripartite of technologies including the consensus mechanism and the distributed ledger, whose design is interdependent. Exploring the relationship between these components is an interesting way to gain a deeper understanding of everyone's favourite world computer.	Content: Martin Lundfall, Arthur FallsSubscribe on iTunes:https://itunes.apple.com/us/podcast/the-ether-review/id899090462?mt=2

What is the Ethereum Virtual Machine, what design trends and decisions influence its operation and what does that mean for Ethereum the platform? Today we dive deep. There is a debate around whether the flexibility of the imperative paradigm of programming language design or the verifiability of the functional paradigm are more appropriate for the Ethereum Virtual Machine. Martin is in the functional camp which he believes can make Ethereum a more robust and powerful platform. The EVM itself is often overlooked as a black box, but is one of a tripartite of technologies including the consensus mechanism and the distributed ledger, whose design is interdependent. Exploring the relationship between these components is an interesting way to gain a deeper understanding of everyone's favourite world computer. 	 Content: Martin Lundfall, Arthur Falls Subscribe on iTunes: <a href="https://itunes.apple.com/us/podcast/the-ether-review/id899090462?mt=2" rel="nofollow" target="_blank">https://itunes.apple.com/us/podcast/the-ether-review/id899090462?mt=2</a>

The Ether Review #41 - Martin Lundfall, Rage Against the Machine