ETHWarsaw 2024

Jan is a co-founder of Zircuit. He is an experienced researcher in algorithm design and formal methods and is interested in all things rollups, plasma, and beyond. At Zircuit, Jan's research is focused on sequencer-level security, minimizing proof generation time, and developing novel methods to check the correctness of zero-knowledge circuits. He received his Ph.D. in Computer Science from the University of Waterloo in 2022.