11-14, 17:00–17:30 (Asia/Bangkok), Stage 6
Imagine all data was guaranteed to be correct. We could build a trustworthy digital world based only on correct data. In this presentation, we will sketch layers and techniques that can realize this dream, in particular proof carrying data and succinct proofs. We will also discuss the connection to the proof singularity vision for Ethereum as well as highlight caveats that apply; humanity is still in the early stages of the journey and there are obstacles and constraints to tackle
Jens Groth is Chief Scientist at Nexus. His research on zero-knowledge proofs includes 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, recognized by IACR test-of-time awards in 2021 and 2023. He has been Professor at UCL and Director of Research at DFINITY.