2min chapter

web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

CHAPTER

Are Capabilities Visible to the Programmer?

So you think of capabilities as constraints that you can add to what might look like an interface to a conventional programmer. So I do find it relatively satisfying because I think if you can have modules or I guess structs that have capability inside them and those trucks can be fed into modules that have very predefined behaviors. Yeah, so let me give a short answer to the question and then provide some background where yes they're visible to the prover and they're part of the type system this is something that leverage very heavily but you'll be talk a little bit about structs and the move ability system and then how that rolls up into things like capabilities in the proverif that's not too

00:00

Get the Snipd
podcast app

Unlock the knowledge in podcasts with the podcast player of the future.
App store bannerPlay store banner

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode

Save any
moment

Hear something you like? Tap your headphones to save it with AI-generated key takeaways

Share
& Export

Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode