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