Design Properties

Redundancy: With every validator connected to atleast 3 bitcoin nodes, there exists enough redundancy in the system to detect a fork in the longest chain.

Liveness: Synchronous BFT ensures all nodes are live and halts if a node goes offline.

Predictive Validity: As the longest chain fork choice rule does not respect the attestations made by the BFT protocol, Twilight achieves predictive validity instead of finality.