diff --git a/node/Cargo.lock b/node/Cargo.lock
index 0e776bc5f..e06199cb8 100644
--- a/node/Cargo.lock
+++ b/node/Cargo.lock
@@ -3234,7 +3234,7 @@ dependencies = [
 
 [[package]]
 name = "tester"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "clap",
@@ -3987,7 +3987,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_concurrency"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -4005,7 +4005,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_consensus_bft"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -4029,7 +4029,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_consensus_crypto"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "blst",
@@ -4052,7 +4052,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_consensus_executor"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "rand 0.8.5",
@@ -4072,7 +4072,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_consensus_network"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -4108,7 +4108,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_consensus_roles"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -4129,7 +4129,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_consensus_storage"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "assert_matches",
@@ -4151,7 +4151,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_consensus_tools"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "async-trait",
@@ -4186,7 +4186,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_consensus_utils"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "rand 0.8.5",
@@ -4196,7 +4196,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_protobuf"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "bit-vec",
@@ -4218,7 +4218,7 @@ dependencies = [
 
 [[package]]
 name = "zksync_protobuf_build"
-version = "0.1.0"
+version = "0.1.0-rc.1"
 dependencies = [
  "anyhow",
  "heck",
diff --git a/node/Cargo.toml b/node/Cargo.toml
index 85e26017d..30f332af6 100644
--- a/node/Cargo.toml
+++ b/node/Cargo.toml
@@ -19,24 +19,26 @@ resolver = "2"
 edition = "2021"
 authors = ["The Matter Labs Team <hello@matterlabs.dev>"]
 homepage = "https://matter-labs.io/"
-license = "MIT"
-version = "0.1.0"
+repository = "https://github.com/matter-labs/era-consensus"
+license = "MIT OR Apache-2.0"
+keywords = ["blockchain", "zksync"]
+version = "0.1.0-rc.1"
 
 [workspace.dependencies]
 # Crates from this repo.
-zksync_consensus_bft = { path = "actors/bft" }
-zksync_consensus_crypto = { path = "libs/crypto" }
-zksync_consensus_executor = { path = "actors/executor" }
-zksync_consensus_network = { path = "actors/network" }
-zksync_consensus_roles = { path = "libs/roles" }
-zksync_consensus_storage = { path = "libs/storage" }
-zksync_consensus_tools = { path = "tools" }
-zksync_consensus_utils = { path = "libs/utils" }
+zksync_consensus_bft = { version = "=0.1.0-rc.1", path = "actors/bft" }
+zksync_consensus_crypto = { version = "=0.1.0-rc.1", path = "libs/crypto" }
+zksync_consensus_executor = { version = "=0.1.0-rc.1", path = "actors/executor" }
+zksync_consensus_network = { version = "=0.1.0-rc.1", path = "actors/network" }
+zksync_consensus_roles = { version = "=0.1.0-rc.1", path = "libs/roles" }
+zksync_consensus_storage = { version = "=0.1.0-rc.1", path = "libs/storage" }
+zksync_consensus_tools = { version = "=0.1.0-rc.1", path = "tools" }
+zksync_consensus_utils = { version = "=0.1.0-rc.1", path = "libs/utils" }
 
 # Crates from this repo that might become independent in the future.
-zksync_concurrency = { path = "libs/concurrency" }
-zksync_protobuf = { path = "libs/protobuf" }
-zksync_protobuf_build = { path = "libs/protobuf_build" }
+zksync_concurrency = { version = "=0.1.0-rc.1", path = "libs/concurrency" }
+zksync_protobuf = { version = "=0.1.0-rc.1", path = "libs/protobuf" }
+zksync_protobuf_build = { version = "=0.1.0-rc.1", path = "libs/protobuf_build" }
 
 # Crates from Matter Labs.
 pairing = { package = "pairing_ce", version = "=0.28.6" }
diff --git a/node/actors/bft/Cargo.toml b/node/actors/bft/Cargo.toml
index 8cbe0a657..863c2a305 100644
--- a/node/actors/bft/Cargo.toml
+++ b/node/actors/bft/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 
 [dependencies]
 zksync_concurrency.workspace = true
diff --git a/node/actors/executor/Cargo.toml b/node/actors/executor/Cargo.toml
index 03e0c9f2b..eee74d397 100644
--- a/node/actors/executor/Cargo.toml
+++ b/node/actors/executor/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 
 [dependencies]
 zksync_concurrency.workspace = true
diff --git a/node/actors/network/Cargo.toml b/node/actors/network/Cargo.toml
index ab7f7dbb7..8d7fc4dad 100644
--- a/node/actors/network/Cargo.toml
+++ b/node/actors/network/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 
 [dependencies]
 zksync_concurrency.workspace = true
diff --git a/node/libs/concurrency/Cargo.toml b/node/libs/concurrency/Cargo.toml
index 96a72f3dd..f5611cd94 100644
--- a/node/libs/concurrency/Cargo.toml
+++ b/node/libs/concurrency/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 
 [dependencies]
 anyhow.workspace = true
diff --git a/node/libs/crypto/Cargo.toml b/node/libs/crypto/Cargo.toml
index 44f7fd838..d28374cda 100644
--- a/node/libs/crypto/Cargo.toml
+++ b/node/libs/crypto/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 
 [dependencies]
 anyhow.workspace = true
diff --git a/node/libs/protobuf/Cargo.toml b/node/libs/protobuf/Cargo.toml
index 1be22904c..118418fde 100644
--- a/node/libs/protobuf/Cargo.toml
+++ b/node/libs/protobuf/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 links = "zksync_protobuf_proto"
 
 [dependencies]
diff --git a/node/libs/protobuf_build/Cargo.toml b/node/libs/protobuf_build/Cargo.toml
index 58055e7ab..1d9be8fc2 100644
--- a/node/libs/protobuf_build/Cargo.toml
+++ b/node/libs/protobuf_build/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 
 [dependencies]
 anyhow.workspace = true
diff --git a/node/libs/roles/Cargo.toml b/node/libs/roles/Cargo.toml
index d46666893..b4278ed15 100644
--- a/node/libs/roles/Cargo.toml
+++ b/node/libs/roles/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 links = "zksync_consensus_roles_proto"
 
 [dependencies]
diff --git a/node/libs/storage/Cargo.toml b/node/libs/storage/Cargo.toml
index 36a4eb0b5..1e638d27d 100644
--- a/node/libs/storage/Cargo.toml
+++ b/node/libs/storage/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 
 [dependencies]
 zksync_concurrency.workspace = true
diff --git a/node/libs/utils/Cargo.toml b/node/libs/utils/Cargo.toml
index ffb3f5b1c..5f3f7dfcb 100644
--- a/node/libs/utils/Cargo.toml
+++ b/node/libs/utils/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 
 [dependencies]
 zksync_concurrency.workspace = true
diff --git a/node/tests/Cargo.toml b/node/tests/Cargo.toml
index d46a09254..7f1e33cef 100644
--- a/node/tests/Cargo.toml
+++ b/node/tests/Cargo.toml
@@ -5,6 +5,9 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
+publish = false
 
 [dependencies]
 zksync_consensus_tools.workspace = true
diff --git a/node/tools/Cargo.toml b/node/tools/Cargo.toml
index 70ba698f7..f16968534 100644
--- a/node/tools/Cargo.toml
+++ b/node/tools/Cargo.toml
@@ -5,6 +5,8 @@ edition.workspace = true
 authors.workspace = true
 homepage.workspace = true
 license.workspace = true
+repository.workspace = true
+keywords.workspace = true
 default-run = "executor"
 
 [dependencies]
diff --git a/spec/informal-spec/replica.rs b/spec/informal-spec/replica.rs
index 02d6ec146..901c5dc23 100644
--- a/spec/informal-spec/replica.rs
+++ b/spec/informal-spec/replica.rs
@@ -165,7 +165,7 @@ fn on_proposal(self, proposal: Proposal) {
     match proposal.justification {
         Commit(qc) => self.process_commit_qc(Some(qc)),
         Timeout(qc) => {
-            self.process_commit_qc(qc.high_qc());
+            self.process_commit_qc(qc.high_commit_qc);
             self.high_timeout_qc = max(Some(qc), self.high_timeout_qc);
         }
     };
@@ -177,7 +177,7 @@ fn on_proposal(self, proposal: Proposal) {
 // Processed an (already verified) commit_qc received from the network
 // as part of some message. It bumps the local high_commit_qc and if
 // we have the proposal corresponding to this qc, we append it to the committed_blocks.
-fn process_commit_qc(self, qc_opt: Option[CommitQC]) {
+fn process_commit_qc(self, qc_opt: Option<CommitQC>) {
     if let Some(qc) = qc_opt {
         self.high_commit_qc = max(Some(qc), self.high_commit_qc);
         let Some(block) = self.cached_proposals.get((qc.vote.block_number,qc.vote.block_hash)) else { return };
@@ -218,7 +218,7 @@ fn on_timeout(self, sig_vote: SignedTimeoutVote) {
 
     // Check if we now have a timeout QC for this view.
     if let Some(qc) = self.get_timeout_qc(sig_vote.view()) {
-        self.process_commit_qc(qc.high_qc());
+        self.process_commit_qc(qc.high_commit_qc);
         self.high_timeout_qc = max(Some(qc), self.high_timeout_qc);
         self.start_new_view(sig_vote.view() + 1);
     }
@@ -235,7 +235,7 @@ fn on_new_view(self, new_view: NewView) {
     match new_view.justification {
         Commit(qc) => self.process_commit_qc(Some(qc)),
         Timeout(qc) => {
-            self.process_commit_qc(qc.high_qc());
+            self.process_commit_qc(qc.high_commit_qc);
             self.high_timeout_qc = max(Some(qc), self.high_timeout_qc);
         }
     };
diff --git a/spec/informal-spec/types.rs b/spec/informal-spec/types.rs
index 16d955ea0..7dd9885ed 100644
--- a/spec/informal-spec/types.rs
+++ b/spec/informal-spec/types.rs
@@ -77,7 +77,7 @@ impl Justification {
 
                 // Get the high commit QC of the timeout QC. We compare the high QC field of
                 // all timeout votes in the QC, and get the highest one, if it exists.
-                let high_qc: Option<CommitQC> = qc.high_qc();
+                let high_qc: Option<CommitQC> = qc.high_commit_qc;
 
                 if high_vote.is_some()
                     && (high_qc.is_none() || high_vote.block_number > high_qc.block_number)
@@ -154,16 +154,19 @@ struct TimeoutVote {
     view: ViewNumber,
     // The commit vote with the highest view that this replica has signed, if any.
     high_vote: Option<CommitVote>,
-    // The commit quorum certificate with the highest view that this replica
+    // The view number of the highest commit quorum certificate that this replica
     // has observed, if any.
-    high_commit_qc: Option<CommitQC>,
+    high_commit_qc_view: Option<ViewNumber>,
 }
 
 struct SignedTimeoutVote {
     // The timeout.
     vote: TimeoutVote,
-    // Signature of the sender.
+    // Signature of the sender. This signature is ONLY over the vote field.
     sig: Signature,
+    // The commit quorum certificate with the highest view that this replica
+    // has observed, if any. It MUST match `high_commit_qc_view` in `vote`.
+    high_commit_qc: Option<CommitQC>,
 }
 
 impl SignedTimeoutVote {
@@ -172,9 +175,10 @@ impl SignedTimeoutVote {
     }
 
     fn verify(self) -> bool {
-        // Technically, only the signature needs to be verified. But if we wish, there are two invariants that are easy to check:
-        // self.view() >= self.high_vote.view() && self.high_vote.view() >= self.high_commit_qc.view()
-        self.verify_sig()
+        // If we wish, there are two invariants that are easy to check but aren't required for correctness:
+        // self.view() >= self.high_vote.view() && self.high_vote.view() >= self.high_commit_qc_view
+        self.vote.high_commit_qc_view == self.high_commit_qc.map(|x| x.view()) && self.verify_sig()
+          && self.high_commit_qc.map(|qc| qc.verify())
     }
 }
 
@@ -189,6 +193,9 @@ struct TimeoutQC {
     // The aggregate signature of the replicas. We ignore the details here.
     // Can be something as simple as a vector of signatures.
     agg_sig: AggregateSignature,
+    // The commit quorum certificate with the highest view that all replicas in this
+    // QC have observed, if any. It MUST match the highest `high_commit_qc_view` in `votes`.
+    high_commit_qc: Option<CommitQC>,
 }
 
 impl TimeoutQC {
@@ -197,27 +204,27 @@ impl TimeoutQC {
     }
 
     fn verify(self) -> bool {
-        // Check that all votes have the same view.
-        for (_, vote) in votes {
-            if vote.view != self.view() {
-                return false;
-            }
-        }
+        // Check that all votes have the same view and get the highest commit QC view of the timeout QC.
+        let high_qc_view = None;
 
-        // Get the high commit QC of the timeout QC. We compare the high QC field of all
-        // timeout votes in the QC, and get the highest one, if it exists.
-        // We then need to verify that it is valid. We don't need to verify the commit QCs
-        // of the other timeout votes, since they don't have any influence in the result.
-        if let Some(high_qc) = self.high_qc() {
-            if !high_qc.verify() {
+        for (_, vote) in self.votes {
+            if vote.view != self.view() {
                 return false;
             }
+            high_qc_view = max(high_qc_view, vote.high_commit_qc_view);
         }
-        
 
         // In here we need to not only check the signature, but also that
         // it has enough weight beyond it.
-        self.verify_agg_sig(QUORUM_WEIGHT)
+        if !self.verify_agg_sig(QUORUM_WEIGHT) {
+            return false;
+        }
+
+        // We check that the high commit QC view matches the high commit QC that we have, and we verify the QC.
+        match self.high_commit_qc {
+            Some(high_qc) => high_qc_view == Some(high_qc.view()) && high_qc.verify();
+            None => high_qc_view.is_none();
+        }
     }
 
     fn high_vote(self) -> Option<CommitVote> {
@@ -245,16 +252,6 @@ impl TimeoutQC {
             None
         }
     }
-
-    fn high_qc(self) -> Option<CommitQC> {
-        let high_qc = None;
-
-        for (_, vote) in votes {
-            high_qc = max(high_qc, vote.high_commit_qc);
-        }
-
-        high_qc
-    }
 }
 
 struct NewView {