11-15, 12:30–14:00 (Asia/Bangkok), Breakout 2
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.
Steward at ZK Email: https://prove.email.
Also co-creator of ERC 7524 (PLUME Signatures) and co-creator of image provenance proofs at https://proteus.photos.
Co-founder of 0xPARC & CEO of Lattice.
Working on folding schemes at 0xPARC.
Mathematician and software developer working on the implementation of cryptosystems with an eye towards zero-knowledge cryptography.