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.

All talks will be recorded and published after the workshop.
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

Applications of Zero Knowledge Proofs in the Banking Industry

Eduardo Moraes, ING

Bringing ZKP to Traditional Industries, Physical World Use-cases

Shiri Lemel, QEDIT

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

Nick Sullivan, Cloudflare

COFFEE BREAK

Tooling Infrastructure for Zero-Knowledge Proofs

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

Notes from the SNARKonomicon: Techniques for Writing SNARK Programs

Izaak Mekler, O(1) Labs

Zero Knowledge Proofs and Self-Sovereign Identity

Jordi Baylina, Iden3

LUNCH

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: zk-SNARKs from Linear-Size Universal and Updatable SRS

Sean Bowe, Electric Coin Company

DIZK: a Distributed Zero-Knowledge Proof System

Howard Wu, Berkeley & Dekrypt Capital

COFFEE BREAK

Enterprise Features for Confidential Asset Transfers

Ori Wallenstein, QEDIT

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

END OF DAY

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

Efficient Zero-Knowledge Protocols: The Modular Approach

Yuval Ishai, Technion

Privacy-enhancing Cryptography at NIST

Rene Peralta, NIST

COFFEE BREAK

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

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

LUNCH

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)

Bilinear Pairings based Zero-Knowledge Proofs

Jens Groth, DFINITY

MPC-in-the-Head based Zero-Knowledge Proofs

Amit Sahai, UCLA

COFFEE BREAK

Community Standards: Interoperability of Zero-Knowledge Systems

Moderators: Sean Bowe and Abhi Shelat

END OF DAY

Coffee & Light Breakfast

GKR based Zero-Knowledge Proofs

Yael Kalai, Microsoft Research

IOP based Zero-Knowledge Proofs

Alessandro Chiesa, UC Berkeley

Discrete Log based Zero-Knowledge Proofs

Dan Boneh, Stanford

COFFEE BREAK

Community Standards: Commit-and-Prove Functionality

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

LUNCH

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

Moderators: Aviv Zohar and Daniel Benarroch

COFFEE BREAK

Community Standards: Deterministic Generation of Elliptic Curves for ZK Systems

Moderators: Sean Bowe and Alessandro Chiesa

Closing Remarks

END OF 2ND ZKPROOF WORKSHOP

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.

What

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

Where

DoubleTree by Hilton Hotel in Berkeley Marina, California.

When

Wednesday April 10th to Friday April 12th, 2019

Who

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

Mini-Course

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

F.A.Q

  • 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.