Francesco Risitano
Francesco Risitano is a research engineer at the Ethereum Foundation working on Ethereum’s transition to execution proofs. His experience includes zkVM development at Polygon Miden and node-client development at Scroll. He contributes to optional execution proofs and the specifications and implementations that connect proof systems with Ethereum clients. His research also explores formal specification and verification of zkEVM components, with the aim of making their correctness claims more rigorous.