This EPF project implements selected Pureth components in Reth: SSZ execution objects and roots, along with a query & proof layer for execution data. We will show how these parts come together, how our implementation queries selected data and returns proofs that can be independently verified.