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.

All talks will be recorded and published after the workshop.

Registration & Light Breakfast

Welcoming Remarks

Platinum Sponsors

ZKP for Audits of Unsolicited Consumer Communication

Hitarshi Buch and Harihara Natarajan, Wipro

Applications of Zero Knowledge Proofs in the Banking Industry

Eduardo Moraes, ING

Bringing ZKP to Traditional Industries, Physical World Use-cases

Shiri Lemel, QED-it

Privacy Pass: a Lightweight Zero Knowledge Protocol Designed for the Web

Nick Sullivan, Cloudflare


Zcash Foundation Research

Henry De Valence, Zcash Foundation

An R1CS based Implementation of Bulletproofs

Cathie Yun, Interstellar

Fragile Nonce Selection and ZKPs as a Solution

Andrew Poelstra, Blockstream

Algorithmic Techniques for Writing SNARK Programs

Izaak Mekler, O(1) Labs

Zero Knowledge Proofs and Self-Sovereign Identity

Jordi Baylina, Iden3


zk-SHARKs: Combining Succinct Verification and Public-Coin Setup

Madars Virza, MIT

LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs

Dario Fiore, IMDEA

Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

Sean Bowe, Electric Coin Company

DIZK: a Distributed Zero Knowledge Proof System

Howard Wu, Berkeley & Dekrypt Capital


Enterprise Features for Confidential Asset Transfers

Ori Wallenstein, QED-it

Zether: Towards Privacy in a Smart Contract World

Shashank Agrawal, Visa Research

Succinct Proofs in Ethereum

Barry Whitehat, Ethereum Foundation

Aurora: Transparent Succinct Arguments for R1CS

Nick Spooner, UC Berkeley


ZKProof Reception at Venue

Coffee & Light Breakfast

Public Accountability vs. Secret Laws: Can They Coexist?

Shafi Goldwasser, UC Berkeley, MIT and Weizmann

Modular Approach for Building Zero Knowledge Proofs

Yuval Ishai, Technion

Privacy-enhancing Cryptography at NIST

Rene Peralta, NIST


Community Standard Discussion



Panel: Zero Knowledge in the Enterprise

Jonathan Rouach (QED-it), Antonio Senatore (Deloitte), Marley Gray (Microsoft)

Discrete Log based Zero Knowledge Proofs

Dan Boneh, Stanford

MPC-in-the-head based Zero Knowledge Proofs

Amit Sahai, UCLA


Community Standard Discussion



Coffee & Light Breakfast

GKR Framework for Building Zero Knowledge Proofs

Yael Kalai, Microsoft Research

IOP based Zero Knowledge Proofs

Alessandro Chiesa, UC Berkeley

Bilinear Pairings based Zero Knowledge Proofs

Jens Groth, DFINITY


Community Standard Discussion



From Public-Key Cryptography to PKI: Reflections on Standardizing the RSA Algorithm

Jim Bidzos and Burt Kaliski, Verisign

Zero Knowledge Ideal Functionality

Muthu Venkitasubramaniam, University of Rochester and Ligero

Open Discussion about ZKProof



Community Standard Discussion



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

Early bird ends March 19th

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

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.