Ethereum Foundation mandates that the code for real-time proving in zkEVM must be fully open source.

Quotes that support claims

This brings us to our working definition of realtime proving: Latency: <= 10s for P99 of mainnet blocks On-prem CAPEX: <= 100k USD On-prem power: <= 10kW Code: Fully open source Security: >= 128 bits Proof size: <= 300KiB with no trusted setups