web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

CHAPTER

How Do You Use the Move Prover Today?

The move standard libraries all verify it and someone who didn't know just like submitted a PR to a file that had a bunch of specs and then they add a new function they just wrote specs. The language takes a lot of basic mistakes off your plate but then for you as the programmer there's always going to be correctness conditions that are specific to your application. So we're really trying to push the limit as far as we can to make this just something an everyday programmer can use instead of having to be an expert.

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