CBR Seminar - Jens Groth, Nexus

​Note: This event is hosted Center for Blockchain Research (CBR) as part of a Stanford Blockchain Seminar series. Event info: https://cbr.stanford.edu/seminar.html

​Memory checking in IVC-based zkVMs

​Jens Groth, Chief Scientist at Nexus, Professor at UCL -- Tuesday, 4 June 2024 -- 3:00 pm PT -- Gates 498

​The talk will also be streamed via Zoom. To avoid "Zoom-bombing", please input your email address here https://stanford.zoom.us/meeting/register/tJ0vcOCorjMpGdPnS4_aBkWhphhnzld7sUKr to receive the Zoom meeting details via email.

​Abstract: 

​We give an introduction to zkVMs and incrementally verifiable computation. In IVC-based zkVMs instruction execution is a local operation but memory accesses may reference data created many instruction cycles earlier. We will give an overview of techniques to verify memory accesses in IVC-based execution.

​Bio:

​Jens Groth is Chief Scientist at Nexus. He has been Professor of Cryptology at UCL and Principal Researcher and Director of Research at DFINITY. His main focus is on zero-knowledge proofs, with notable achievements including the invention of pairing-based SNARKs and co-inventions of pairing-friendly proof systems, logarithmic size proofs in cyclic groups, prover-efficient proofs with constant overhead, and usage of lookups in proving correct machine execution. His contributions have been recognized twice with test-of-time awards in 2021 and 2023 by the International Association for Cryptologic Research