fix(eth-proof-manager): verify protocol version and proving mode alignment (#4473)

## What ❔

Verify protocol version and proving mode alignment when receiving a
proof.

## Why ❔

* Check whether proof has the same protocol version as the batch it was
generated for
* When getting batch to send validation result for - check whether the
batch has proving_mode = proving_network. It prevents sending validation
result for the batches that were generated by prover cluster.

## Is this a breaking change?
- [ ] Yes
- [ ] No

## Operational changes
<!-- Any config changes? Any new flags? Any changes to any scripts? -->
<!-- Please add anything that non-Matter Labs entities running their own
ZK Chain may need to know -->

## Checklist

<!-- Check your PR fulfills the following items. -->
<!-- For draft PRs check the boxes as you complete them. -->

- [ ] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [ ] Code has been formatted via `zkstack dev fmt` and `zkstack dev
lint`.

Author: Artemka374

core/lib/dal/.sqlx/query-91914221cb4c892a6374da26883a072ae0b9a924365bed3c571d4f0e66f0c46c.json

@@ -227,13 +227,18 @@ impl EthProofManagerDal<'_, '_> {
 
         let result: Option<(L1BatchNumber, Option<bool>)> = sqlx::query!(
             r#"
-            SELECT l1_batch_number, proof_validation_result
-            FROM eth_proof_manager
+            SELECT e.l1_batch_number, e.proof_validation_result
+            FROM eth_proof_manager e
+            JOIN proof_generation_details p
+                ON e.l1_batch_number = p.l1_batch_number
             WHERE
-                (status = $1 AND l1_batch_number <= $2)
-                OR (status = $3 AND proof_validation_result = false)
-            ORDER BY l1_batch_number ASC
-            LIMIT 1
+                (
+                    (e.status = $1 AND e.l1_batch_number <= $2)
+                    OR (e.status = $3 AND e.proof_validation_result = false)
+                )
+                AND p.proving_mode = 'proving_network'
+            ORDER BY e.l1_batch_number ASC
+            LIMIT 1;
             "#,
             EthProofManagerStatus::Proven.as_str(),
             i64::from(latest_proven_batch.0),

core/lib/dal/.sqlx/query-ff47bf6834ac0da5f133c3e8dd840d7a7dba16809c51f9ec82996e11ef7b89f2.json

@@ -224,6 +224,13 @@ async fn verify_proof(
         .protocol_version
         .unwrap_or_else(ProtocolVersionId::last_potentially_undefined);
 
+    if protocol_version != proof.protocol_version().minor {
+        return Err(anyhow::anyhow!(
+            "Protocol version doesn't match, server values: {protocol_version}, prover values: {}",
+            proof.protocol_version()
+        ));
+    }
+
     let events_queue_state = l1_batch
         .metadata
         .events_queue_commitment