I have just started with stellar. I am not able to understand v blocking node set and how do they block progress of a particular node.
"An FBA protocol can guarantee liveness to a node ๐ฃ only if ๐(๐ฃ) contains at least one quorum slice comprising only correct nodes. A set ๐ต of failed nodes can violate this property if ๐ต contains at least one member of each of ๐ฃโs slices. We term such a set ๐ต ๐ฃ-blocking, because it has the power to block progress by ๐ฃ." The above lines are from the white paper.
Example Three quorum slices: Q(v1) = {v1,v2,v3}
Q(v4) = {v1,v4,v5}
Q(V6) = {v2,v4,v6}
Does node set v2,v4,v6 become blocking node set for node v1?and how do they block progress of v1?
Please help me understand this concept.