The 2nd ZKProof Workshop 2019

April 10th to 12th 2019, DoubleTree by Hilton Hotel in Berkeley Marina, CA

Event Schedule

Join the standards discussion on our community forum.

On Saturday, April 13th, there is a Zero Knowledge Day at UC Berkeley, hosted by the Simons Institute.

See our Youtube channel for the recordings of the talks.
See the abstracts of the talks.

See the schedule for the breakout sessions and the 2nd ZKProof Workshop booklet with the charter and code of conduct.

Registration & Light Breakfast

Welcoming Remarks

Jonathan Rouach & Ruben Arnold (QEDIT) and Josh Cincinnati (Zcash Foundation)

ZKP for Audits of Unsolicited Consumer Communication

Hitarshi Buch and Joshua Satten, Wipro


Tooling Infrastructure for Zero-Knowledge Proofs

Henry de Valence, Zcash Foundation

Fragile Nonce Selection and ZKPs as a Solution

Andrew Poelstra, Blockstream


DIZK: a Distributed Zero-Knowledge Proof System

Howard Wu, Berkeley & Dekrypt Capital


Zether: Towards Privacy in a Smart Contract World

Shashank Agrawal, Visa Research

Succinct Proofs in Ethereum

Barry Whitehat, Ethereum Foundation


ZKProof Reception at Venue

Coffee & Light Breakfast

Introducing the Standards Workshop

Steering Committee

Public Accountability vs. Secret Laws: Can They Coexist?

Shafi Goldwasser, UC Berkeley, MIT and Weizmann


Community Standards: a Review and Further Work on the ZKProof Track Proceedings

Moderators: Daniel Benarroch, Luis Brandão and Eran Tromer


Panel: Zero Knowledge in the Enterprise

Moderator: Jonathan Rouach (QEDIT)

Panelists: Carlos Kuchkovsky (BBVA), Yael Kalai (Microsoft Research), David Archer (Galois), Mike Hearn (R3) and Jonathan Levi (HACERA)


Community Standards: Interoperability of Zero-Knowledge Systems

Moderators: Sean Bowe and Abhi Shelat


Coffee & Light Breakfast

GKR based Zero-Knowledge Proofs

Yael Kalai, Microsoft Research

IOP based Zero-Knowledge Proofs

Alessandro Chiesa, UC Berkeley


Community Standards: Commit-and-Prove Functionality

Moderators: Jens Groth, Yael Kalai, Mariana Raykova and Muthu Venkitasubramaniam


Zero Knowledge Ideal Functionality

Muthu Venkitasubramaniam, University of Rochester and Ligero

Open Discussion about ZKProof

Moderators: Aviv Zohar and Daniel Benarroch


Community Standards: Deterministic Generation of Elliptic Curves for ZK Systems

Moderators: Sean Bowe and Alessandro Chiesa

Closing Remarks


See you next year!

2nd ZKProof Workshop

For the second workshop we are publishing a call for community standards and showcase session proposals.

To request an invite, see here.

The first day will be dedicated to an Research & Industry Showcase of existing work around zero knowledge proofs. During the last two days, there will be a Standards Workshop, where participants will discuss an initial set of community standards proposed by the community.


Drive standardization of ZKPs by creating a framework of collaboration between academia and industry.


DoubleTree by Hilton Hotel in Berkeley Marina, California.


Wednesday April 10th to Friday April 12th, 2019


Top academics, researchers, developers, industry leaders and zero-knowledge experts.

Important Dates

Event Registration

Registration is now closed.

Standards Submission

March 1st, 2019, 23:59 (UTC)

Workshops Submission

February 15th, 2019, 23:59 (UTC)

Call for Standards Proposals

Click below for details on the call and submission.

Speaker 1

Security Track

Theoretical security and benchmarks

Implementation Track

Implementation Track

Interoperability of libraries and compilers

Speaker 3

Applications Track

Use-cases, privacy and security requirements

Call for Showcase Workshop

Click below for details on the call and submission.

Speaker 1


Teach something zero-knowledgy

Speaker 2

Hands-on Tutorial

Get others to use it too

Speaker 3

Community Projects

Tell the community about your work

More on the 2nd Workshop

Event Organizers

Daniel Benarroch and Dan Lipiec

Request an invite

Please submit this form and tell us why you would like to participate in the next ZKProof event.

Become a Sponsor

Please check out the options below and send us an email.

Event Venue

Come to Berkeley, California

DoubleTree by Hilton Hotel in Berkeley Marina

Thanks to our Sponsors

If you want to become a sponsor to ZKProof, please send us an email.

Platinum Sponsors

Gold Sponsors

Silver Sponsors

Bronze Sponsors

Special Contributors

Join the ZKProof Community


  • ZKProof is an academic and industry open initiative for standardizing Zero Knowledge Proofs, with a growing and active community.

  • From Wikipedia: a technical standard is an established norm or requirement in regard to technical systems. It is usually a formal document that establishes uniform engineering or technical criteria, methods, processes, and practices. A technical standard may be developed between relevant entities, increasing product safety and quality as well as fostering trust in the technology.

  • A standard fosters trust in the technology within industry usage, removing the need to rely on a single company for the security of the system and the confidentiality of their data. There is a growing interest in this technology and we want to see the industry grow with a strong foundation.

  • We held our first workshop back in May, which proved to be a success. We published three documents relating the discussions we had during the breakout sessions, as well as the state-of-the-art in each of the topics.

  • There are several ways to get involved with ZKProof: join the ZKProof community group to receive the latest updates and stay in the loop; join the Interoperability WG to contribute to the open problems and standard proposals around library and compiler interoperability; become a sponsor of the effort by sending us an email; follow us on twitter @zkproof.