ZKProof - The Zero-Knowledge Community Forum

Breakout Session: Domain-Specific Languages for ZK


Hello everybody,

On Friday, there will be a breakout session about domain-specific languages for zero-knowledge during the 2nd ZKProof standards workshop.

The increasing interest in zero knowledge proofs in both academia and industry has lead to the development of several libraries, domain-specific languages and compilers for making primitives like zk-SNARKs more accessible. These tools differ in various aspects including expressiveness, efficiency, usability and others. In this session, we will briefly review the existing tools, and discuss the current challenges in the field. In addition, we will debate which features the audience would like to see in the next iterations of such domain-specific tools and how to leverage them in real-world applications.

Looking forward to your attendance.
Ahmed and Stefan

1 Like

Hi Stefan

Is there a recording or summary of the outcomes of this session?

1 Like

Hello everyone,

You can find the notes for the session here. Please feel free to comment with suggestions directly in the file.

The notes were compiled by the scribe, Valentin Ganev, with further amendments from Stefan Deml and Ahmed Kosba.

1 Like

Hi Marc,

The breakout sessions were not recorded, but as @sanchopansa just posted below, there were notes taken from the discussion. The goal of this is to generate a set of content (written, tables, figures, examples, etc.) for this topic on the ZKProof Reference Document and all comments and contributions are welcomed.


Hi @sanchopansa, thanks for posting the notes, they look great!
I skimmed through them but could not identify specific action points or contributions. Do you know / have a list of these?

At this point, DSLs are not a bit part of the reference document, and I believe it would be amazing to have a more refined section about it.