Twilight
  • Twilight
  • What is a Twilight Pool?
  • Architecture
  • Validators
    • Testnet Usage Estimates
  • 🪃Boomerang
    • Abstract
    • Motivation
    • Design Properties
    • What is a Bitcoin Fragment?
    • Bitcoin Fragment Address
    • Bitcoin Fragment Sweep
    • Clearing
    • Refund Snapshot
    • Deposit Satoshi Test
      • Why Satoshi Test?
      • Deposit Confirmation
    • Withdrawal
    • Inscription Estimates
  • 🕒Validity Gadget
    • Abstract
    • Motivation
    • Design Properties
    • Chaintip Attestation
Powered by GitBook
On this page
  1. Validity Gadget

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.

PreviousMotivationNextChaintip Attestation

Last updated 1 year ago

🕒