Onur Kilic1 talk by Onur KilicVerifying Celo's Plumo light client proofs efficiently on Ethereum with Halo2