Programming Languages & Crypto
web3 with a16z crypto
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
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
