ZK Email and Programmable Cryptography

Thu, Jan 1, 1970, 12:00 AM · 14:10

Different cryptographic primitives have different affordances, especially when using them in practice, and especially together. In this session, we explore a new way of interacting with PCs at a software engineering level via a LISP like programming language. This language enables creating self-verifying graphs of computation.