43: Martin Lundfall från Ethereum Foundation

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.com Länkar: https://github.com/dapphub/dapptools https://github.com/ethereum/act Kontaktinfo: www.konsensuspodden.se Martin: twitter.com/MartinLundfall Ludvig: twitter.com/ludvigoeberg Tristan: twitter.com/t4t5 Dea: twitter.com/deabrunner Keywords: Konsensuspodden konsensus Martin Lundfall Ethereum Foundation Formal Verification Act Dapphub Eth 2.0