[Documentation] Clarify which verifier contract address corresponds to which zkVM version

[pdg744]

User's Objective

I'm trying to figure out which zkVM versions are compatible with each of the verifiers we have deployed.
i.e., if I'm using version 0.21 of the zkVM, which of these contracts is appropriate to use?

User's Obstacle

The verifier contract docs only reference version numbers for risc0-ethereum.

User's Request

We should make it easier to connect-the-dots between these contract addresses and the associated zkVM version number.

[linear]

ZKVM-432 [Documentation] Clarify which verifier contract address corresponds to which zkVM version

[nategraf]

Good question, and I should have added that to the table. With 0.21, both 0.9 and 0.10 will work and are 0.21 is the recommended version there. With zkVM 1.0, we will also mark risc0-ethereum-contracts as 1.0. When using the RiscZeroVerifierRouter, this means that any future 1.x version of the zkVM can be used with a single address, the router. When using the underlying verifies directly, there will be a link between minor versions (the .x) of the zkVM and the contracts, and those developers will need to use the correct address. (This is part of the reason we recommend using the router)