qs f+1

aptos-labs · Jun 10, 2024 · 74f7aa5 · 74f7aa5
1 parent 50a05d4
commit 74f7aa5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/consensus/src/quorum_store/proof_coordinator.rs b/consensus/src/quorum_store/proof_coordinator.rs
@@ -104,9 +104,9 @@ impl IncrementalProofState {
     }
 
     fn ready(&self, validator_verifier: &ValidatorVerifier) -> bool {
-        if self.aggregated_voting_power >= validator_verifier.quorum_voting_power() {
+        if self.aggregated_voting_power >= validator_verifier.total_voting_power() - validator_verifier.quorum_voting_power() + 1 {
             let recheck =
-                validator_verifier.check_voting_power(self.aggregated_signature.keys(), true);
+                validator_verifier.check_voting_power(self.aggregated_signature.keys(), false);
             if recheck.is_err() {
                 error!("Unexpected discrepancy: aggregated_voting_power is {}, while rechecking we get {:?}", self.aggregated_voting_power, recheck);
             }