# Learn how to build programmable cryptography and ZKPs #zeroknowledgeproof #cryptography

- Channel: [Devcon](https://streameth.org/devcon)
- Date: 2025-01-14
- Duration: 01:37
- Topics: blockchain, smart contracts, distributed ledger, ethereum, Science & Technology
- Watch: https://streameth.org/watch/yt--hiFML1qFmM
- YouTube: https://www.youtube.com/watch?v=-hiFML1qFmM

## Description

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.