ZKProof is an initiative focused on the standardization of Zero-Knowledge Proofs.
This community of over 1000 practitioners converges stakeholders from academia,
startups, and law enforcement, creating a bridge between theory and practical implementation.
We are thrilled to announce that ZKProof 8 will be in Rome, Italy, on May 9th and May 10th, 2026!
Join us for a week of advanced cryptography, with Eurocrypt 2026 in Rome right after our event. Save the date, and stay tuned — we have an exciting agenda coming your way!
Program Highlights
The program will include recent developments in zero-knowledge proof systems and their applications, including:
- Efficient proof systems
- Privacy for Blockchain Transactions
- Applications to Digital Identity
Important Information
Date:
May 9–10, 2026
Location:
Courtyard by Marriott Rome Central Park, Via Giuseppe Moscati 7, 00168 Rome, Italy
Registration is open:
Submit your research:
ZKProof 7 : Agenda
Speakers
Accepted Submissions
| Title | Author(s) |
|---|---|
| SNARKs for Virtual Machines are Non-Malleable | Matteo Campanelli (Offchain Labs); Antonio Faonio, Luigi Russo (EURECOM) |
| Security Bounds for Proof-Carrying Data from Straightline Extractors | Alessandro Chiesa, Ziyi Guan (EPFL); Shahar Samocha (StarkWare); Eylon Yogev (Bar-Ilan University) |
| WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification | Giacomo Fenzi, Alessandro Chiesa (EPFL); Gal Arnon (Weizmann Institute); Eylon Yogev (Bar-Ilan University) |
| A Crack in the Firmament: Restoring Soundness of the Orion Proof System and More | Thomas den Hollander, Daniel Slamanig (Universität der Bundeswehr München) |
| Blind zkSNARKs for Private Proof Delegation and Verifiable Computation over Encrypted Data | Jannik Spiessens, Jiayi Kang, Frederik Vercauteren (COSIC, KU Leuven); Emad Heydari Beni (Nokia Bell Labs); Mariana Botelho da Gama (COSIC, KU Leuven) |
| Relativized Succinct Arguments in the ROM Do Not Exist | Annalisa Barbara (Bocconi University); Alessandro Chiesa, Ziyi Guan (EPFL) |
| Private, Auditable, and Distributed Ledger for Financial Institutes | Shaltiel Eloul, Yash Satsangi (JP Morgan Chase); Yeoh Wei Zhu (CISPA Helmholtz Center/JP Morgan Chase) |
| Towards a verified Jolt zkVM | James Parker, Ben Hamlin, Benoit Razet, Ben Selfridge, Brett Decker (Galois, Inc.) |
| Towards a Formal Foundation for Blockchain ZK Rollups | Stefanos Chaliasos (Imperial College London); Denis Firsov (Input Output); Ben Livshits (Imperial College London) |
| Application of ZK Proofs to MPC: Round-Optimized 2PC ECDSA at the Cost of only 1 OLE | Michael Adjedj, Constantin Blokh (Fireblocks); Geoffroy Couteau (CNRS, IRIF); Antoine Joux (CISPA Helmholtz Center for Information Security); Nikolaos Makriyannis (Fireblocks) |
| Benchmarking zkVMs: Efficiency, Bottlenecks, and Best Practices | Masato Tsutsumi, Kazue Sako (Waseda University) |
| Groth16 is UC-Secure: The Brave New World of Global Generic Groups and UC-Secure Zero-Overhead SNARKs | Jan Bobolz (University of Edinburgh); Pooya Farshim (Durham University, IOG); Markulf Kohlweiss (University of Edinburgh, IOG); Akira Takahashi (JPMorgan AI Research & AlgoCRYPT CoE) |
| On the Fiat–Shamir Security of FIOP-Based Succinct Arguments | Alessandro Chiesa, Ziyi Guan, Christian Knabenhans, Zihan Yu (EPFL) |
| Polymath: Groth16 Is Not The Limit | Helger Lipmaa (University of Tartu) |
| On the Formal Verification of Polynomial Commitment Schemes: the KZG and beyond | Tobias Rothmann (Technical University of Munich (TUM), Arcium) |
| On Knowledge-Soundness of Plonk in ROM from Falsifiable Assumptions | Helger Lipmaa (University of Tartu); Roberto Parisella (Simula UiB); Janno Siim (University of Tartu) |
| Verifiable Computation for Approximate Homomorphic Encryption Schemes | Daniele Cozzo (IMDEA Software Institute); Anamaria Costache (Norwegian University of Science and Technology (NTNU)); Ignacio Cascudo, Dario Fiore, Antonio Guimarães (IMDEA Software Institute); Eduardo Soria Vazquez (Technology Innovation Institute) |
| Recursive Proofs and Private Delegation of zkSNARK Provers from Amortized Holography | Carla Ràfols, Nikitas Paslis (Universitat Pompeu Fabra); Alexandros Zacharakis (No affiliation) |
| PLINK: Verified Generation of Constraints for PLONK | Pablo Castellanos, Ignacio Cascudo, Dario Fiore, Niki Vazou (IMDEA Software Institute) |
| zkVoting: Zero-knowledge proof based coercion-resistant and E2E verifiable e-voting system and its application to national election commission of the Republic of Korea | Seongho Park (Hanyang University); Jaekyoung Choi (Zkrypto); Jihye Kim (Kookmin University); Hyunok Oh (Hanyang University) |
| ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs | Raul-Martin Rebane, Peeter Laud (Cybernetica AS) |
| Using Hax for Correct and Secure Zero-Knowledge Implementations | Lasse Letager Hansen, Bas Spitters, Eske Hoy Nielsen (Aarhus University) |
| Zinc: a hash-based SNARK without arithmetization overheads | Luca Dall'Ava, Albert Garreta, Katerina Hristova, Hendrik Waldner (Nethermind) |
| Implementing LatticeFold: Advancing Post-Quantum Folding | Ilia Vlasov, Isaac Villalobos, Matthew A. Klein, Marko Čupić, Emanuel S. Vieira, Albert Garreta, Antonio Larriba (Nethermind) |
Program Chairs
Program Committee
Conference Venue
Courtyard by Marriott Rome Central Park
Via Giuseppe Moscati 7, 00168 Rome, Italy
Via Giuseppe Moscati 7, 00168 Rome, Italy