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