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.
This year we are thrilled to announce that ZKProof7 will occur in Sofia from March 23rd to March 25th!
It’s perfectly timed – join a week of advanced cryptography, with RWC, HACS and more, so mark your calendars!
On the Agenda:
-
Day 1 (starts at 4:30pm): Kickoff & Keynotes & Kombucha – Special Talk by Ron Rothblum about the Fiat-Shamir attack
-
Day 2: Identity, TLSNotarization, zkLogin and more – with guest speakers Dan Boneh, Muthu Venkitasubramaniam
-
Day 3: zkEVM Formal Verification, the Verified Verifier, PLONK standard – with Alexander Hicks, Eran Tromer
Further details will follow.
Important Information
Date: March 23-25, 2025
Registration is closed
Location: Hilton Sofia, Bulgaria Blvd., Sofia, 1421, Bulgaria
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) |
