# 2nd ZKProof Workshop **URL:** https://community.zkproof.org/c/zkproof-2019/11.md [Latest](https://community.zkproof.org/latest.md) · [Categories](https://community.zkproof.org/categories.md) --- ## [About the 2nd ZKProof Workshop category](https://community.zkproof.org/t/about-the-2nd-zkproof-workshop-category/138)
**Author:** [@danib31](https://community.zkproof.org/u/danib31)\ **Replies:** 0
For all the material presented, discussions and notes taken, as well as documents produced for and from the 2nd ZKProof Workshop. All the discussions on topics derived from the workshop are meant to take place in this ca… --- ## [Breakout Session: ZKProof Proceedings and Community Reference](https://community.zkproof.org/t/breakout-session-zkproof-proceedings-and-community-reference/152)
**Author:** [@danib31](https://community.zkproof.org/u/danib31)\ **Replies:** 3\ **Last updated:** [September 11, 2019, 3:24am UTC](https://community.zkproof.org/t/breakout-session-zkproof-proceedings-and-community-reference/152 "2019-09-11T03:24:48Z")
This session was about reviewing the existing proceedings from the first workshop - see zkproof.org/documents.html Short abstract: in this session we aim to review the documents, as well as the newly drafted Community R… --- ## [ZKProof 2019 speaker slides](https://community.zkproof.org/t/zkproof-2019-speaker-slides/167)
**Author:** [@Jens](https://community.zkproof.org/u/Jens)\ **Replies:** 11\ **Last updated:** [July 26, 2019, 3:39pm UTC](https://community.zkproof.org/t/zkproof-2019-speaker-slides/167 "2019-07-26T15:39:05Z")
The evolution of pairing-based zero-knowledge proofs Here are the video recordings of the talks ZKProof Youtube Channel --- ## [Breakout Session: Domain-Specific Languages for ZK](https://community.zkproof.org/t/breakout-session-domain-specific-languages-for-zk/134)
**Author:** [@stefandeml](https://community.zkproof.org/u/stefandeml)\ **Replies:** 6\ **Last updated:** [June 6, 2019, 1:38pm UTC](https://community.zkproof.org/t/breakout-session-domain-specific-languages-for-zk/134 "2019-06-06T13:38:29Z")
Hello everybody, On Friday, there will be a breakout session about domain-specific languages for zero-knowledge during the 2nd ZKProof standards workshop. Abstract: The increasing interest in zero knowledge proofs in … --- ## [ZKProof Proposal: Generation of elliptic curves for circuit use](https://community.zkproof.org/t/zkproof-proposal-generation-of-elliptic-curves-for-circuit-use/121)
**Author:** [@marta](https://community.zkproof.org/u/marta)\ **Replies:** 1\ **Last updated:** [May 31, 2019, 3:31pm UTC](https://community.zkproof.org/t/zkproof-proposal-generation-of-elliptic-curves-for-circuit-use/121 "2019-05-31T15:31:06Z")
The standard aims to standarise the construction of elliptic curves for circuits based on different elliptic curve families. We are still working on the general standard proposal and the current draft only contains an ex… --- ## [Breakout Session: Security assumptions underpinning zero-knowledge proofs](https://community.zkproof.org/t/breakout-session-security-assumptions-underpinning-zero-knowledge-proofs/181)
**Author:** [@arielg](https://community.zkproof.org/u/arielg)\ **Replies:** 2\ **Last updated:** [May 16, 2019, 9:56am UTC](https://community.zkproof.org/t/breakout-session-security-assumptions-underpinning-zero-knowledge-proofs/181 "2019-05-16T09:56:06Z")
Relevant to that breakout, here is a blog post I wrote about the relation between the algebraic and generic group model --- ## [Breakout Session: Structured Reference String Generation](https://community.zkproof.org/t/breakout-session-structured-reference-string-generation/203)
**Author:** [@mmaller](https://community.zkproof.org/u/mmaller)\ **Replies:** 3\ **Last updated:** [May 16, 2019, 9:50am UTC](https://community.zkproof.org/t/breakout-session-structured-reference-string-generation/203 "2019-05-16T09:50:58Z")
Abstract: Non-Interactive Zero-knowledge proofs and arguments require a common reference string known to all parties. Common reference strings with structure are termed structured reference strings. Currently we are u… --- ## [Breakout Session: Interactive Zero Knowledge](https://community.zkproof.org/t/breakout-session-interactive-zero-knowledge/130)
**Author:** [@justin](https://community.zkproof.org/u/justin)\ **Replies:** 4\ **Last updated:** [May 16, 2019, 8:29am UTC](https://community.zkproof.org/t/breakout-session-interactive-zero-knowledge/130 "2019-05-16T08:29:13Z")
During the upcoming 2nd ZKProof standards workshop, there will be a breakout session devoted to Interactive Zero Knowledge. This breakout session will identify advantages and disadvantages of interactive zero-knowledge … --- ## [ZKProof Proposal: Interoperability of zero-knowledge tools](https://community.zkproof.org/t/zkproof-proposal-interoperability-of-zero-knowledge-tools/86)
**Author:** [@aurel](https://community.zkproof.org/u/aurel)\ **Replies:** 1\ **Last updated:** [May 2, 2019, 9:30am UTC](https://community.zkproof.org/t/zkproof-proposal-interoperability-of-zero-knowledge-tools/86 "2019-05-02T09:30:32Z")
We’re starting to see more and better software that implements various zero-knowledge techniques, which is great. There are different types of code out there: Proving systems that generate and verify proofs. Frame… --- ## [ZKProof Proposal: J-R1CS - a JSON Lines file format for R1CS](https://community.zkproof.org/t/zkproof-proposal-j-r1cs-a-json-lines-file-format-for-r1cs/117)
**Author:** [@Guillaume](https://community.zkproof.org/u/Guillaume)\ **Replies:** 0\ **Last updated:** [April 6, 2019, 5:43pm UTC](https://community.zkproof.org/t/zkproof-proposal-j-r1cs-a-json-lines-file-format-for-r1cs/117 "2019-04-06T17:43:28Z")
Most ZK proof applications use R1CS to some extent, either as a producer (frontend) or as a consumer (backend). Having a standardized format for expressing R1CS will allow much better interaction and collaboration with-i… --- ## [Breakout Session: ZK Protocol Security Analysis & Proofs of Correctness](https://community.zkproof.org/t/breakout-session-zk-protocol-security-analysis-proofs-of-correctness/184)
**Author:** [@arielg](https://community.zkproof.org/u/arielg)\ **Replies:** 0\ **Last updated:** [April 22, 2019, 2:26pm UTC](https://community.zkproof.org/t/breakout-session-zk-protocol-security-analysis-proofs-of-correctness/184 "2019-04-22T14:26:25Z")
Summary by Michele Orrù Summary by Vivek Arte: NOTES: How important are sanity checks? check for unused variables check for inconsistencies (between spec and code) prove security in GGM? (more for pairing based SN… --- ## [ZKProof Proposal: Commit-and-Prove Zero-Knowledge Proofs](https://community.zkproof.org/t/zkproof-proposal-commit-and-prove-zero-knowledge-proofs/113)
**Author:** [@matteo](https://community.zkproof.org/u/matteo)\ **Replies:** 1\ **Last updated:** [April 19, 2019, 5:41pm UTC](https://community.zkproof.org/t/zkproof-proposal-commit-and-prove-zero-knowledge-proofs/113 "2019-04-19T17:41:14Z")
In a Commit-and-Prove system I can convince you that I know an opening u to a public commitment c and that this opening satisfies a certain property (e.g. it is a number in a certain range). One advantage of such systems… --- ## [Breakout session: SNARKs on SNARKs -- Recursive Composition](https://community.zkproof.org/t/breakout-session-snarks-on-snarks-recursive-composition/137)
**Author:** [@izzy](https://community.zkproof.org/u/izzy)\ **Replies:** 7\ **Last updated:** [April 13, 2019, 11:48am UTC](https://community.zkproof.org/t/breakout-session-snarks-on-snarks-recursive-composition/137 "2019-04-13T11:48:12Z")
Time: Thursday April 11th, 12:05 - 12:45 Preprocessing SNARKs have the major drawback that the size of the computation to be verified must be fixed before performing a setup. Recursive composition of SNARKs is a powerf… --- ## [Breakout session: Formal Verification for SNARKs](https://community.zkproof.org/t/breakout-session-formal-verification-for-snarks/136)
**Author:** [@izzy](https://community.zkproof.org/u/izzy)\ **Replies:** 0\ **Last updated:** [April 10, 2019, 3:58am UTC](https://community.zkproof.org/t/breakout-session-formal-verification-for-snarks/136 "2019-04-10T03:58:30Z")
Time: Thursday April 11th, from 4:45pm to 6pm When you program SNARKs, you write a program that generates a constraint system that you hope enforces some high-level property that you have in mind. But how do you know fo…