> For the complete documentation index, see [llms.txt](https://docs.twilight.org/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.twilight.org/validity-gadget/design-properties.md).

# 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.