search

EntEthAlliance / enhanced-bft

a workspace for developing improvements to BFT consensus
Other
8 stars 3 forks source link

GST is assumed to be eventually reached #2

Closed saltiniroberto closed 5 years ago

saltiniroberto commented 5 years ago

GPAv1 feedback GPAv1 states “The proposed algorithms to address the ‘limitation’ in IBFT where it is not guaranteed that a transaction added to the local ledger of an honest node will eventually be added to other honest nodes’ local ledger. [...] the problem here is that this scenario seems possible only if a particular type of event called Global stabilization time (GST) is never reached. [...]. Are there any scenarios with empirical evidence that GST cannot happen in IBFT, have this scenario been seen on a physical network?

Reply The claim highlighted in bold above is not correct (probably based on a misunderstanding of some sort). It is not true that either the “Correctness Analysis of IBFT” or the Gray Paper consider cases where GST is never reached. Both papers only consider cases where GST is a finite value and therefore it will always be eventually reached. The scenarios proving that there is no guarantee that a transaction is added to the local ledger and that there is no guarantee that a block is eventually received by all honest node are possible under this condition (GST is eventually reached)

kubasiemion commented 5 years ago

Closing, as we have agreed to include the relevant content into Glossary and Assumptions (meerting 31.07.2019)