Cover Image for ZK Accelerate

ZK Accelerate

Hosted by Ingonyama
Registration
Limited Spots Remaining
Hurry up and register before the event fills up!
Past Event
This event ended 14 days ago.
Hello! To join the event, please register below.
About Event

Celebrating ZK engineering breakthroughs and innovations across the middleware multiverse 馃敟

Includes demos, surprises, and first-time speakers 馃憖

  • Talks

  • Panels

  • Booths

There will be a lunch break, coffee and refreshments, and mingling areas in the lobby outside the event hall.

The event will also be filmed for later publication 馃帴

WATCH IT LIVE HERE: https://www.youtube.com/watch?v=nL1_n-IgxsU

Agenda


  • 8:30-9:25 AM | Coffee & Hello

  • 9:25-9:30 | Intro to ZK Accelerate

    • Leandro Ferrigno | Lambdaclass

  • 9:30-9:50 | Standardizing ZKEVM acceleration API

    • Mamy Ratsimbazafy | Taiko

  • 9:50-10:10 | Cost optimizing your ZKPs on AWS

    • Emile Baizel | AWS

  • 10:10-10:40 | Demo: Cairo

    • Timoth茅e Delabrouille | Starkware

  • 10:40-11:00 | Electron Labs: Into Electron's ZK Engine and Use Cases

    • Garvit Goel | Electron Labs

  • 11:00-11:20 | Hardware acceleration enabling efficient Zero Knowledge Proof generation

    • Hamid Salehi | AMD

  • 11:20-11:50 | FHE vs. ZK

    • Morten Dahl | ZAMA

  • 11:50-12:10 | Enhancing Encrypted Mempool Security with ZK: Resilience Against Attacks

    • AJ Park | Radius

  • 12:10-12:30 | Aleo: ZK by Design

    • Joanna Zeng | Aleo

  • 12:30-1:30 | Lunch

  • 1:30-2:00 | Panel: New frontiers in ZK research

    • Moderated by Lance Davis | Giza Tech

      • Mamy Ratsimbazafy | Taiko

      • Andrija Novakovic | Geometry

      • Misha Komarov | Nil foundation

      • Diego Kingston | Lambdaclass

  • 2:00-2:20 | Secure type-1 zkEVM compiled with zkLLVM & Placeholder

    • Alisa Cherniava | Nil Foundation

  • 2:20-2:40 | How Verifiable ML Will Shape the Future of AI?

    • Francisco Algaba | Giza Tech

  • 2:40-3:00 | Improving current STARK provers

    • Diego Kingston | Lambdaclass

  • 3:00-3:20 | Kalypso: A circuit-agnostic ZK proof market

    • Roshan Raghupathy | Marlin

  • 3:20-3:40 | Programming ZK with EZKL

    • Jason Morton \ EZKL

  • 3:40-4:00 | Zero-Knowledge Proofs for MapReduce Computation

    • Ismael Hishon-Rezaizadeh \ Lagrange

  • 4:00-4:20 | Ola: Bringing Compliant Privacy to ZKVM Rollups

    • Philip Eriksson | Ola

  • 4:20-4:50 | Panel: ZK Hardware

    • Moderated by Hamid Salehi | AMD

      • Evan Marshall | Demox Labs

      • Rahul Maganti | Wormhole

  • 4:50-5:20 | Panel: ZK killer apps & the survival of ZK in the future

    • Moderated by G枚khan Er | IOSG Ventures

      • Manasi Vora | Risc0

      • Joanna Zeng | Aleo

      • Garvit Goel | Electron Labs

      • Carter Jack Feldman | QED

  • 5:20-5:40 | Security and Circuit Anatomy

    • Porter Adams | Matter Labs

  • 5:40-6:00 | ZK Security: An Automated Approach

    • Andreea Buterchi | Veridise

  • 6:00-6:20 | Recursion in the Miden VM

    • Augusto Hack | Polygon Miden

  • 6:20-6:30 | AV Setup

  • 6:30-7:00 | Virtual Fireside Chat with Juan Benet and Omer Shlomovits