I am currently working as a research engineer at Polygon zkEVM. In this role, I contribute to the development of a robust arithmetization, in terms of the extended Algebraic Intermediate Representation (eAIR), of the zkEVM. Furthermore, I ensure the integrity and soundness of the underlying proving system, which at the moment is a composed system crafted from an inner eSTARK with an outer fflonK.