Talks and podcasts

We introduce OpenVM, a performant and modular zkVM framework built for customization and extensibility.

This talk discusses the core architecture of OpenVM, the current set of features available for developers, and performance benchmarks.

Presenting the modular design behind OpenVM and recent progress on performance for OpenVM.

A deep dive into the architecture and design decisions behind OpenVM and how they can benefit developers using ZK.

Introducing the architecture behind OpenVM and how it can be used by developers.

Discussing our joint work on ZK verification of neural network inference and applications to trustless audits.

We build a brief mental model of zkSNARKs and give an overview of application design patterns and techniques for ZK-enabled apps.

We present implementations of elliptic curve cryptography primitives in halo2.

This talk presents the first practical ImageNet-scale method to verify ML model inference in ZK.

We present implementations of ECDSA, elliptic curve pairings, and RSA in circom, as well as some of their applications.

This talk presents trustless zkSNARK-based on-chain attestations to data from any Ethereum state or block.