Call for Papers
First IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications (ZKDAPPS 2024)
Workshop Co-Chairs:
Jonathan Heiss, TU Berlin (Program Co-Chair)
Johannes Sedlmeir, University of Luxembourg (Program Co-Chair)
Alvaro Alonso, TU Berlin (Startup Liason)
Stefan Tai, TU Berlin (Advisory)
Zero-knowledge Proofs (ZKPs) and related cryptographic proof systems have become a central cornerstone in blockchain ecosystems and for developing decentralized applications (dApps). They can mitigate privacy and scalability deficiencies of blockchains by moving computations to off-chain nodes without compromising central blockchain guarantees if computational proofs are verified on-chain. This allows for developing next-generation dApps compatible with organizations’ and users’ requirements.
Since ZKPs have been introduced as theoretic cryptographic protocols, they have been inaccessible to developers for a long. Recent advancements in ZKP protocols, languages, libraries, and tooling have improved the adoption of ZKPs in systems engineering. In the blockchain space, this has led to an exploding number of ZKP projects, comprising ZKP-based dApps in various domains or infrastructural layer-2 services like zkVMs. Parallel developments of novel ZKP protocols in the core crypto community promise significant improvements in ZKP-based dApps regarding performance, security, and applicability.
With this inaugural edition of the ZKDAPPS workshop at IEEE ICBC, we aim to establish a scientific forum for like-minded researchers and practitioners in this growing, exciting field.
Topics of Interest:
- Applications of verifiable off-chain computation, e.g.,
- Blockchain scaling solutions (zk-Rollups, zkVMs, validiums, …)
- Blockchain privacy solutions (private DEXes, …)
- zk-Bridges and zk-Oracles
- ZKP-based decentralized identity
- ZKP-based decentralized machine learning solutions
- ZKP-enhanced domain-specific blockchain applications (supply chain, healthcare, carbon accounting...)
- Benchmarking and comparisons
- Opportunities arising from novel proof protocols (e.g., recursion, folding, …)
- Execution models and system architectures for ZKP
- Tooling and (domain-specific) languages for ZKP system development on different platforms (including improvements on the composability of existing tooling)
- Education material, terminologies, and systematization of ZKPs and related technologies
Important Dates (tentative, to be confirmed)
|
Workshop Papers Submission Deadline (EXTENDED): |
05/03/2024 |
|
Reviews Released to Authors: |
31/03/2024 |
|
Rebuttals Due: |
03/04/2024 |
|
Final Acceptance Notification: |
05/04/2024 |
|
Camera Ready: |
12/04/2024 |
Paper Submission
Authors are invited to submit original, unpublished research papers written in English. We encourage submissions of technical, educational, and vision papers, best-practice reports, and demos of tools. Paper length is limited to 6 pages (including title, abstract, figures, tables, and references) for regular conference papers and 4 pages for short papers. Submissions must be in IEEE 2-column style. Papers exceeding these limits, multiple submissions, and self-plagiarized papers will be rejected without further review. The paper submission templates are available on IEEE Manuscript Templates for Conference Proceedings. Submitted papers will be peer-reviewed. The review process will be double-blind. All papers should be submitted through the EDAS system (https://edas.info/N32095).
TECHNICAL PROGRAM COMMITTEE:
| Full name | Affiliation |
| Damiano Di Francesco Maesa | University of Pisa |
| Jacob Eberhardt | Bosch |
| Miguel Isabel | Universidad Complutense de Madrid |
| Salil Kanhere | UNSW Sydney |
| Jonathan Passerat-Palmbach | ConsenSys Health |
| Clara Rodriguez | Complutense University of Madrid |
| Stefan Schulte | Hamburg University of Technology |
| Florian Tschorsch | TU Dresden |
| Zhipeng Wang | Imperial College London |
| Kaiwen Zhang | École de Technologie Supérieure |
IEEE ZKDAPPS & Crosschain 2024 Program
Program at a Glance
|
Date |
Start Time |
End Time |
Duration |
Session |
|
2024-05-31 |
8:00 AM |
9:00 AM |
1:00 |
Registration |
|
9:00 AM |
10:00 PM |
1:00 |
ZKDAPPS Workshop (2 papers) |
|
|
10:00 AM |
10:30 AM |
0:30 |
Coffee Break |
|
|
10:30 AM |
11:30 PM |
1:00 |
CROSSCHAIN Workshop (2 papers) |
|
|
11:30 PM |
1:00 PM |
1:30 |
Lunch Break |
FRIDAY, MAY 31, 09:00 AM - 10:00 AM (Dublin, Ireland)
ZKDAPPS WORKSHOP / ROOM: 3051
9:00 AM, Portal: Time-Bound and Replay-Resistant Zero-Knowledge Proofs for Single Sign-On
Jan Philipp Lauinger, Serhat Bezmez, Jens Ernstberger, and Sebastian Steinhorst (Technical University of Munich, Germany))
9:30 AM, zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
Gholamreza Ramezan (FidesInnova, Canada); Ehsan Memari (FidesInnova, USA))
FRIDAY, MAY 31, 10:30 PM - 11:30 PM (Dublin, Ireland)
CROSSCHAIN WORKSHOP / ROOM: 3051
10:30 PM, Towards a Standard Framework for Blockchain Interoperability
Rafael Belchior (Instituto Superior Técnico & INESC-ID & Blockdaemon Ltd., Portugal); Sabrina Scuri (Politecnico di Milano, Italy & Interactive Technologies Institute/LARsys, Portugal); Nuno Nunes (ITI/LARSYS, Técnico - ULisbon, Portugal); Thomas Hardjono (MIT, USA); André Vasconcelos (INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Portugal)
11:00 PM, Formalising a Gateway-based Blockchain Interoperability Solution with Event-B
Guzman Llambias (Universidad de la República & Pyxis, Uruguay); Laura González and Raúl Ruggia (Universidad de la República, Uruguay)
