feat: support proofs ExEx #828

Job	Run time
nethermind (linux/arm64, ubuntu-24.04-arm)	2m 45s
reth (linux/amd64, ubuntu-24.04, jemalloc,asm-keccak,optimism)	23m 12s
geth (linux/arm64, ubuntu-24.04-arm)	3m 15s
geth (linux/amd64, ubuntu-24.04)	3m 37s
reth (linux/arm64, ubuntu-24.04-arm, jemalloc,optimism)	22m 17s
nethermind (linux/amd64, ubuntu-24.04)	3m 8s
	58m 14s

Provide feedback