Andrew is a software engineer who likes building systems and libraries which are reliable, fast, and secure, with a bias toward privacy and personal control.  His decades of experience include 7 years working on Dropbox's distributed filesystem, mobile app frameworks, and APIs.  He was recently nerdsniped by ZK Cryptography, and joined 0xPARC to design and build the software behind Zupass and PODs.

Andrew Twyman

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

Built on learnings from experimental projects like Zupass, Provable Object Data (POD) is a new format with open-source libraries for any app to issue verifiable data, and make ZK proofs of claims about that data. PODs allow arbitrary key/value data to be signed and distributed.  Flexible proofs about PODs can be created using a highly-configurable family of General Purpose Circuits (GPCs), without app-specific circuits or trusted setup.  This talk will focus on POD and GPC motivation and design.

Introducing Provable Object Data

https://streameth-develop.ams3.digitaloceanspaces.com/transcriptions/6735dbd09dbb7a90e1646d41.vtt