Devcon 7 SEA

Programmable Cryptography from a Software Engineering Lens
2024-11-15 , 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: