feat: support proofs ExEx #826

Job	Run time
nethermind (linux/amd64, ubuntu-24.04)	3m 3s
reth (linux/amd64, ubuntu-24.04, jemalloc,asm-keccak,optimism)	23m 31s
reth (linux/arm64, ubuntu-24.04-arm, jemalloc,optimism)	22m 49s
nethermind (linux/arm64, ubuntu-24.04-arm)	2m 42s
geth (linux/amd64, ubuntu-24.04)	4m 0s
geth (linux/arm64, ubuntu-24.04-arm)	3m 25s
	59m 30s

Provide feedback