Dagstuhl Seminar on DeFi Security (2022): Finding Bugs in zkEVMs