Audio
Conference talks and podcast appearances from the Axiom team
We discuss how zero-knowledge proofs are maturing into production readiness and becoming the key pillar of Ethereum scaling.
We explore how OpenVM 2.0 and SWIRL enable real-time ZK proving for Ethereum, with benchmarks and developer implications.
We discuss using OpenVM to prove Ethereum blocks in real time and what that could mean for Ethereum scaling with ZK proofs.
We describe how OpenVM is achieving real-time proving of Ethereum L1.
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.
