"Perform production implementation of BlockHashProver.sol contracts per rollup stack, including:
- Validate prebuilt prover implementations for Arbitrum and OP stack
- Develop prover implementations for ZKSync, Scroll, Linea, Taiko
Ensure compatibility with other OIF smart contract modules (escrow, resource locks, etc) and solver tooling
Does not include audits"