BEP-341: add liveness analysis

BEPs/BEP-341.md

@@ -103,5 +103,10 @@ This BEP relies on BSC's Fast Finality feature. If Fast Finality fails, it may r
 1. Nodes intentionally hide mined blocks, potentially leading to longer short-term reorganizations. 
 2. The probability of finality for transactions increases, requiring waiting for 2/3 validatorN * n + blocks. 
 
-## 7. License
+## 7. Liveness Analysis
+The liveness of the chain remains unchanged, meaning it is required to ensure that at least (validatorN/2+1) validators are active. The proof is as follows:
+
+Given that (validatorN/2+1) validators are active, and at a certain moment none of them are allowed to produce blocks, then each validator must have produced at least n blocks within the past validatorN*n/2 blocks. Thus, collectively, within the past validatorN*n/2 blocks, there must have been at least (validatorN/2+1)*n blocks produced, which is impossible. Therefore, at any given moment, at least one node from the set of (validatorN/2+1) must be allowed to produce blocks.
+
+## 8. License
 The content is licensed under [CC0](https://creativecommons.org/publicdomain/zero/1.0/).