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
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.
Security Track
Theoretical security and benchmarks
Implementation Track
Interoperability of libraries and compilers
Applications Track
Use-cases, privacy and security requirements
Call for Showcase Workshop
Click below for details on the call and submission.
Mini-Course
Teach something zero-knowledgy
Hands-on Tutorial
Get others to use it too
Community Projects
Tell the community about your work
Recap of the 1st ZKProof Standards Workshop
Video recordings, see our Youtube channel.
Keynote: Ran Canetti
Keynote: Shafi Goldwasser
Interview: Jonathan Rouach
Interview: Josh Cincinnati
Interview: Eran Tromer
Interview: Muthu Venkitasubramaniam
Interview: Anuj Das Gupta
Summary first workshop
Picture gallery, see the full gallery.
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
F.A.Q
-
What is ZKProof?
ZKProof is an academic and industry open initiative for standardizing Zero Knowledge Proofs, with a growing and active community.
-
What is a Standard?
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.
-
Why do we need a ZKP standard? And why now?
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.
-
Where does ZKProof stand at the moment?
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.
-
I want to help, how can I join the effort?
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.