Kevin Kwok

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.

Breakout 2

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.

Aayush Gupta

Justin Glibert

arnaucube

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