web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

CHAPTER

EVM Tooling - What's Left for Tooling?

Move tooling still has a goal but to be desired like what needs to be built still are we going to see major changes happening. We're very early in tooling so I'll talk about a few things I'm excited about coming up where one is a package system and package manager think of like and it creates that I owe or MPM or whatever your favorite. Yeah, like what's left for tooling EVM tooling is so great. Noah had already mentioned earlier about DASION but we never actually shared context for listeners about formal verification. Can you briefly talk about formal verification and why the pervert matters?

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner