entity · derived
Cap theorem
Derived node: assembled mechanically from the claims carrying cap-theorem. A roster, not an adjudicated definition.
Every claim under this term
- 3125827-008 : Given that Byzantine faults are inevitable in a distributed system, the known impossibility results force any consensus protocol to hedge: it can promise only a probability of finality and security, a
- 3125827-030 : A 67% active validator requirement would improve finality but is excluded from the initial SPoS implementation because, by the CAP theorem, it limits the availability of the system and arbitrarily pun