Mathematician and software developer working on the implementation of cryptosystems with an eye towards zero-knowledge cryptography.

Ahmad

Provable Object Data (POD) is a format any app to easily sign data and make ZK proofs without manual circuit writing or trusted setup.  Proofs are described in a simple configuration language, then compiled to a family of General Purpose Circuits (GPCs).  POD tech is used in Zupass and available as open-source libraries.  We’ll dive into the cryptography behind PODs, and what makes them suited to ZK proofs.  We’ll also cover the modular design which makes GPC circuits highly configurable.

Classroom B

A Deep Dive into ZK Proofs of PODs

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.