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
COFFEE BREAK
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
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: 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
COFFEE BREAK
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
END OF DAY
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
COFFEE BREAK
Community Standard Discussion
TBD
LUNCH
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
COFFEE BREAK
Community Standard Discussion
TBD
END OF DAY
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
COFFEE BREAK
Community Standard Discussion
TBD
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
TBD
COFFEE BREAK
Community Standard Discussion
TBD
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
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.
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
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.