Foundations and Applications of Zero-Knowledge Proofs

Home > Foundations and Applications of Zero-Knowledge Proofs

Foundations and Applications of Zero-Knowledge Proofs

 02 - 06 Sep 2024

ICMS, Bayes Centre, Edinburgh


Applications are now closed and will be reviewed. No late applications will be accepted.

Scientific organisers

  • Elizabeth Crites, Web3 Foundation
  • Markulf Kohlweiss, University of Edinburgh
  • Tjerand Silde, Norwegian University of Science and Technology
  • Akira Takahashi, JP Morgan AI Research & AlgoCRYPTCoE


Zero-knowledge proofs (ZKP) are a highly relevant application area of mathematics and theoretical computer science and a thriving area of cryptographic research in the UK and worldwide. Zero-knowledge and probabilistically checkable proofs have long been recognized as groundbreaking theoretical contributions, with the 1993 and 2002 Gödel Prize and the 2012 Turing Award. Recently, ZKP has seen an incredible renaissance with further academic recognition in the 2021 Abel prize and strong industry interest, with whole companies, such as the Electric Coin Company and Starkware, basing their raison d'être on its ideas. As witnessed by the EU GDPR regulation and recent standardisation efforts, zero knowledge has numerous applications within privacy-preserving technologies to ensure privacy in a digital world. 

This workshop will unite zero-knowledge researchers in the UK and Europe and facilitate community building, especially among PhD students and early career researchers. The content that is presented will be published online as a lasting resource. The ultimate objective of the workshop is to have a significant long-term effect on research in zero-knowledge proofs and privacy-enhancing techniques by encouraging connections and creating resources for researchers.

The workshop will cover several topics within this field, including classical results, interactive oracle proofs, proof from symmetric primitives, group and pairing-based proof systems such as ZK-SNARKs, lattice-based proof systems, and real-world applications.


All applications will then be reviewed by the scientific organisers and the aim is to advise participants of their decisions at the beginning of July  2024. Late applications will not be accepted.

Successful applicants will be required to pay a 150.00 GBP registration fee. 

Participants with special needs or who must fulfil strict visa requirements are encouraged to apply as early as possible and contact ICMS immediately upon submission. The scientific organisers will review your request on a case by case basis and support you as much as we can. 


We are very grateful to the International Association for Cryptologic Research for supporting the workshop as an IACR Cryptology School, to Input Output Global (IOG) and Edinburgh ZK Lab for sponsorship, and to the ACM Special Interest Group on Algorithms and Computation Theory for providing us with a SIGACT Community Grant.

Scam Warning

We are aware of a number of current scams targeting participants at ICMS workshops in relation to registration or accommodation bookings. If you are approached by a third party (eg, Conference Committee or Royal Visit) asking for booking or payment details, please ignore.

Please remember:
i) ICMS never uses third parties to do our administration for events: messages will come directly from ICMS staff
ii) ICMS will never ask participants for credit card or bank details
iii) If you have any doubt about an email you receive please get in touch


Sponsors and Funders:

  • title=
  • title=
  • title=
  • title=