Introduction to ZK and Foundations of NIZK Arguments
Bio: Jens Groth is Director of Research in Formal Security at DFINITY. He received his PhD from Aarhus University, won the 2007 UCLA Chancellor’s Award for postdoctoral research, and was full professor at University College London. His research interests include electronic voting, mix-nets, digital signatures, public-key encryption, zero-knowledge proofs and blockchain security. He received the Asiacrypt 2021 Test-of-Time Award for asymptotically optimal NIZK proofs and group signatures without random oracles and has co-invented pairing-based SNARKs, logarithmic size proof systems underpinning Bulletproofs, and zero-knowledge proofs with constant overhead for the prover.