fix: Sync protocol version between consensus and server blocks

core/lib/types/Cargo.toml

@@ -23,8 +23,8 @@ codegen = { git = "https://github.com/matter-labs/solidity_plonk_verifier.git",
 zkevm_test_harness = { git = "https://github.com/matter-labs/era-zkevm_test_harness.git", branch = "v1.3.3" }
 zk_evm_1_4_0 = { git = "https://github.com/matter-labs/era-zk_evm.git", branch = "v1.4.0", package = "zk_evm" }
 zk_evm = { git = "https://github.com/matter-labs/era-zk_evm.git", tag = "v1.3.3-rc2" }
-zksync_consensus_roles = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
-zksync_protobuf = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
+zksync_consensus_roles = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }
+zksync_protobuf = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }
 
 anyhow = "1.0.75"
 chrono = { version = "0.4", features = ["serde"] }
@@ -55,4 +55,4 @@ tokio = { version = "1", features = ["rt", "macros"] }
 serde_with = { version = "1", features = ["hex"] }
 
 [build-dependencies]
-zksync_protobuf_build = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
+zksync_protobuf_build = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }

core/lib/zksync_core/Cargo.toml

@@ -40,11 +40,11 @@ vlog = { path = "../vlog" }
 
 multivm = { path = "../multivm" }
 # Consensus dependenices
-zksync_concurrency = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
-zksync_consensus_roles = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
-zksync_consensus_storage = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
-zksync_consensus_executor = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
-zksync_protobuf = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
+zksync_concurrency = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }
+zksync_consensus_roles = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }
+zksync_consensus_storage = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }
+zksync_consensus_executor = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }
+zksync_protobuf = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }
 
 prost = "0.12.1"
 serde = { version = "1.0", features = ["derive"] }
@@ -98,4 +98,4 @@ tempfile = "3.0.2"
 test-casing = "0.1.2"
 
 [build-dependencies]
-zksync_protobuf_build = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "ed71b2e817c980a2daffef6a01885219e1dc6fa0" }
+zksync_protobuf_build = { version = "0.1.0", git = "https://github.com/matter-labs/era-consensus.git", rev = "da015d4c94b19962bc11622b6cc256e214256555" }

core/lib/zksync_core/src/sync_layer/gossip/conversions.rs

@@ -12,6 +12,14 @@ use crate::{consensus, sync_layer::fetcher::FetchedBlock};
 pub(super) fn sync_block_to_consensus_block(mut block: SyncBlock) -> anyhow::Result<FinalBlock> {
     let number = BlockNumber(block.number.0.into());
     let consensus = block.consensus.take().context("Missing consensus fields")?;
+    let consensus_protocol_version = consensus.justification.message.protocol_version.as_u32();
+    let block_protocol_version = block.protocol_version as u32;
+    anyhow::ensure!(
+        consensus_protocol_version == block_protocol_version,
+        "Protocol version for justification ({consensus_protocol_version}) differs from \
+         SyncBlock.protocol_version={block_protocol_version}"
+    );
+
     let payload: consensus::Payload = block.try_into().context("Missing `SyncBlock` data")?;
     let payload = payload.encode();
     let header = BlockHeader {
@@ -36,11 +44,17 @@ impl FetchedBlock {
         let payload = consensus::Payload::decode(&block.payload)
             .context("Failed deserializing block payload")?;
 
+        let protocol_version = block.justification.message.protocol_version;
+        let protocol_version =
+            u16::try_from(protocol_version.as_u32()).context("Protocol version overflow")?;
+        let protocol_version = ProtocolVersionId::try_from(protocol_version)
+            .with_context(|| format!("Unsupported protocol version: {protocol_version}"))?;
+
         Ok(Self {
             number: MiniblockNumber(number),
             l1_batch_number: payload.l1_batch_number,
             last_in_batch,
-            protocol_version: ProtocolVersionId::latest(), // FIXME
+            protocol_version,
             timestamp: payload.timestamp,
             hash: payload.hash,
             l1_gas_price: payload.l1_gas_price,

core/lib/zksync_core/src/sync_layer/gossip/mod.rs

@@ -70,10 +70,11 @@ async fn run_gossip_fetcher_inner(
     let store = PostgresBlockStorage::new(pool, actions, cursor);
     let buffered = Arc::new(Buffered::new(store));
     let store = buffered.inner();
-    let executor = Executor::new(executor_config, node_key, buffered.clone())
-        .context("Node executor misconfiguration")?;
 
     scope::run!(ctx, |ctx, s| async {
+        let executor = Executor::new(ctx, executor_config, node_key, buffered.clone())
+            .await
+            .context("Node executor misconfiguration")?;
         s.spawn_bg(async {
             store
                 .run_background_tasks(ctx)

core/lib/zksync_core/src/sync_layer/gossip/tests.rs

@@ -8,7 +8,9 @@ use zksync_consensus_executor::testonly::FullValidatorConfig;
 use zksync_consensus_roles::validator::{self, FinalBlock};
 use zksync_consensus_storage::{InMemoryStorage, WriteBlockStore};
 use zksync_dal::{ConnectionPool, StorageProcessor};
-use zksync_types::{block::ConsensusBlockFields, Address, L1BatchNumber, MiniblockNumber};
+use zksync_types::{
+    block::ConsensusBlockFields, Address, L1BatchNumber, MiniblockNumber, ProtocolVersionId,
+};
 
 use super::*;
 use crate::{
@@ -50,12 +52,19 @@ pub async fn block_payload(storage: &mut StorageProcessor<'_>, number: u32) -> v
     consensus::Payload::try_from(sync_block).unwrap().encode()
 }
 
+fn latest_protocol_version() -> validator::ProtocolVersion {
+    (ProtocolVersionId::latest() as u32)
+        .try_into()
+        .expect("latest protocol version is invalid")
+}
+
 /// Adds consensus information for the specified `count` of miniblocks, starting from the genesis.
 pub(super) async fn add_consensus_fields(
     storage: &mut StorageProcessor<'_>,
     validator_key: &validator::SecretKey,
     count: u32,
 ) {
+    let protocol_version = latest_protocol_version();
     let mut prev_block_hash = validator::BlockHeaderHash::from_bytes([0; 32]);
     let validator_set = validator::ValidatorSet::new([validator_key.public()]).unwrap();
     for number in 0..count {
@@ -66,7 +75,7 @@ pub(super) async fn add_consensus_fields(
             payload: payload.hash(),
         };
         let replica_commit = validator::ReplicaCommit {
-            protocol_version: validator::CURRENT_VERSION,
+            protocol_version,
             view: validator::ViewNumber(number.into()),
             proposal: block_header,
         };
@@ -142,10 +151,12 @@ async fn syncing_via_gossip_fetcher(delay_first_block: bool, delay_second_block:
     let tx_hashes = run_state_keeper_with_multiple_miniblocks(pool.clone()).await;
 
     let mut storage = pool.access_storage().await.unwrap();
+    let protocol_version = latest_protocol_version();
     let genesis_block_payload = block_payload(&mut storage, 0).await;
     let ctx = &ctx::test_root(&ctx::AffineClock::new(CLOCK_SPEEDUP as f64));
     let rng = &mut ctx.rng();
-    let mut validator = FullValidatorConfig::for_single_validator(rng, genesis_block_payload);
+    let mut validator =
+        FullValidatorConfig::for_single_validator(rng, protocol_version, genesis_block_payload);
     let validator_set = validator.node_config.validators.clone();
     let external_node = validator.connect_full_node(rng);
 
@@ -166,19 +177,21 @@ async fn syncing_via_gossip_fetcher(delay_first_block: bool, delay_second_block:
                 .unwrap();
         }
     }
-    let validator = Executor::new(
-        validator.node_config,
-        validator.node_key,
-        validator_storage.clone(),
-    )
-    .unwrap();
-    // ^ We intentionally do not run consensus on the validator node, since it'll produce blocks
-    // with payloads that cannot be parsed by the external node.
 
     let (actions_sender, mut actions) = ActionQueue::new();
     let (keeper_actions_sender, keeper_actions) = ActionQueue::new();
     let state_keeper = StateKeeperHandles::new(pool.clone(), keeper_actions, &[&tx_hashes]).await;
     scope::run!(ctx, |ctx, s| async {
+        let validator = Executor::new(
+            ctx,
+            validator.node_config,
+            validator.node_key,
+            validator_storage.clone(),
+        )
+        .await?;
+        // ^ We intentionally do not run consensus on the validator node, since it'll produce blocks
+        // with payloads that cannot be parsed by the external node.
+
         s.spawn_bg(validator.run(ctx));
         s.spawn_bg(run_gossip_fetcher_inner(
             ctx,
@@ -273,10 +286,12 @@ async fn syncing_via_gossip_fetcher_with_multiple_l1_batches(initial_block_count
     let tx_hashes: Vec<_> = tx_hashes.iter().map(Vec::as_slice).collect();
 
     let mut storage = pool.access_storage().await.unwrap();
+    let protocol_version = latest_protocol_version();
     let genesis_block_payload = block_payload(&mut storage, 0).await;
     let ctx = &ctx::test_root(&ctx::AffineClock::new(CLOCK_SPEEDUP as f64));
     let rng = &mut ctx.rng();
-    let mut validator = FullValidatorConfig::for_single_validator(rng, genesis_block_payload);
+    let mut validator =
+        FullValidatorConfig::for_single_validator(rng, protocol_version, genesis_block_payload);
     let validator_set = validator.node_config.validators.clone();
     let external_node = validator.connect_full_node(rng);
 
@@ -290,16 +305,18 @@ async fn syncing_via_gossip_fetcher_with_multiple_l1_batches(initial_block_count
     for block in initial_blocks {
         validator_storage.put_block(ctx, block).await.unwrap();
     }
-    let validator = Executor::new(
-        validator.node_config,
-        validator.node_key,
-        validator_storage.clone(),
-    )
-    .unwrap();
 
     let (actions_sender, actions) = ActionQueue::new();
     let state_keeper = StateKeeperHandles::new(pool.clone(), actions, &tx_hashes).await;
     scope::run!(ctx, |ctx, s| async {
+        let validator = Executor::new(
+            ctx,
+            validator.node_config,
+            validator.node_key,
+            validator_storage.clone(),
+        )
+        .await?;
+
         s.spawn_bg(validator.run(ctx));
         s.spawn_bg(async {
             for block in delayed_blocks {