pbft-consensus icon indicating copy to clipboard operation
pbft-consensus copied to clipboard

Published 20 hours ago • verified publisher icon 0xPolygon

Liveness test

Open 0xSasaPrsic opened this issue 2 years ago • 0 comments

Implementation of a simplified test that proves that there is no consensus among the nodes. It creates a cluster of 5 nodes where one node is faulty (A_4). In round 0 for a sequence 1 node A_0 locks a proposal which is defined in the flow map. In round 1 for a sequence 1 node A_1 locks different proposal which is defined in the flow map. In all other rounds everyone except faulty node (A_4) communicate and there is no consensus.

Note: The test asserts that liveness issue exists.

0xSasaPrsic avatar Apr 29 '22 10:04 0xSasaPrsic