Local Digital Objects using Zero-knowledge Cryptography

A physical object has permanence, exists in a specific place and time, and requires physical access to learn about it or to modify it. A Digital Object has the same properties, underwritten by cryptography rather than physics.

Digital Objects rely on local data and computation, but also have types which are cryptographically verifiable. This allows us to prove to others that our objects obey the rules of a game, a protocol, or a distributed system, even if they can’t observe the objects or our interactions with them.

In this talk we’ll explore how Digital Objects are implemented, how you can use them, and where this might go next.