Welcome back to the BlockNumberZero🎙️Podcast!
In today’s episode, we discuss two web3 security-related topics that are trending in the space.
First, we will talk about the evolution of web3 exploits and measures taken to prevent them.
Second, we will focus on the future of smart contract security and formal verification.
This time, there won’t be any data or charts, but if you’re interested in the main sources for today’s two topics, feel free to check them out here.
First topic:
https://hackmd.io/@VydelHxmR0CbKxAe4TjhbQ/BJTSbInkxe
Second topic:
https://ethereum.org/en/developers/docs/smart-contracts/formal-verification/
Share this post