Skip to the content.

ZKARCH 2026

The 2nd Workshop on Architectures for Zero-Knowledge Proofs and Verifiable Computation

ZKARCH brings together researchers and practitioners working across the zero-knowledge and verifiable-computing stack—from protocols, circuits, compilers, and proof systems to high-performance software and hardware accelerators.

The workshop provides an informal forum for sharing new ideas, identifying common architectural bottlenecks, and building connections across the community. We hope to see you there!

Program announcement coming soon. Dates, venue, registration, and submission details will be posted here as they are confirmed.

Workshop Details

   
Date October 31, 2026
Time 8:00 AM
Location Athens, Greece

Scope

Zero-knowledge proofs (ZKPs) and verifiable computation are moving rapidly from cryptographic theory into systems, applications, and real-world deployment. New proof systems, zkVMs, circuit frameworks, and acceleration techniques continue to emerge, each with distinct algebraic structures, performance characteristics, and hardware requirements.

ZKARCH creates a space to critically evaluate these approaches and share lessons across the full stack. Topics of interest include, but are not limited to:

Program

The workshop program and speaker lineup will be announced soon.

Time Event
To be announced Welcome and opening remarks
To be announced Invited and contributed talks
To be announced Closing remarks

Call for Participation

Submission and participation information will be posted here soon. We welcome work spanning algorithms, systems, and architecture, as well as early-stage ideas and lessons from real-world implementations.

Organizers and Contact

Alhad Daftardar (PhD Candidate, NYU)

Jianqiao “Cambridge” Mo (PhD Candidate, NYU)

Brendan Sweezy (PhD Student, NYU)

Gaurav Kuwar (PhD Student, NYU)

Samarth Narang (PhD Student, NYU)

Brandon Reagen (Assistant Professor, NYU)

Previous Workshop

The first ZKARCH workshop was held with MICRO 2025 in Seoul, Korea.