Currently the prover program in the rollkit repo lives in https://github.com/celestiaorg/celestia-zkevm-hl-testnet/tree/main/crates/sp1/evm-exec as a part of a lazybridging demo with an evm reth chain and celestia , however, this program should move into the rollkit repo once lazybridging is closer to production, since the https://github.com/celestiaorg/celestia-zkevm-hl-testnet/ repo is expected to be archived then.

There should also be E2E tests in the rollkit added along with some test proof data also lives in https://github.com/celestiaorg/celestia-zkevm-hl-testnet/tree/main/testdata so that if the rollkit STF and how blobs are submitted ever changes, the prover program doesn't go out of date.