Programmable Cryptography from a Software Engineering Lens
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.

Working on folding schemes at 0xPARC.

This speaker also appears in:

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

This speaker also appears in: