We can actually use your best in class open source prover!

So the equation becomes
#cycles (we're much lower than risc-v reth) * best in class prover (we cannot be so worse than any other open sources ones) &lt; RISC-V zkVM + Reth

simple math of moon maths, again
#cycles