Nethermind: Zero-knowledge proofs. From theory to practice in less than 40 years

Add to your list(s) Download to your calendar using vCal

• Michal Zajac - Head of Research at Nethermind
• Tuesday 29 November 2022, 13:05-13:55
• Room FW26, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Ben Karniely.

In this talk, I will introduce and overview zero-knowledge proofs. First, I will describe the idea of interactive proofs invented by Goldwasser, Micali, and Rackoff. Then, I will define the zero-knowledge property that allows a prover to convince a verifier of the veracity of a statement without revealing any information besides that. After showing some classic examples of zero-knowledge protocols, I will introduce zkSNARKs — zero-knowledge proofs that are powerful and efficient enough to be practical and demonstrate their use cases.

Please sign-up at the following link to attend: https://forms.gle/W6tkWm5pkwT1cENa9

Some catering will be provided before the talk.

This talk is part of the Technical Talks - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Guy Emerson's list
• Interested Talks
• Room FW26, Computer Laboratory, William Gates Building
• School of Technology
• Technical Talks - Department of Computer Science and Technology
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.