Ökonomische Finalität

Casper FFG nutzt Stimmen einer Supermehrheit, um Checkpoints zu rechtfertigen (justify) und zu finalisieren. Zwei unvereinbare Historien können unter normalen Annahmen nicht finalisiert werden, ohne dass eine Überschneidung sanktionierbarer (slashbarer) Stimmen vorliegt. Die Garantie wird als wirtschaftliche Haftung der Validatoren ausgedrückt.

Die Zwei-Drittel-Schwelle für eine Supermehrheit bedeutet nicht, dass bei jedem Konflikt zwei Drittel bösartig sein müssen. Das relevante Sicherheitsergebnis identifiziert mindestens ein Drittel des Stakes als verantwortlich für unvereinbare Stimmen.

Diese Garantie hängt vom Protokoll, der Verfügbarkeit von Nachweisen und der Durchsetzung von Strafen ab. Sie unterscheidet sich von der probabilistischen Finalität von Proof of Work und vom Inactivity Leak, der fehlende Beteiligung und fehlenden Fortschritt des Konsenses adressiert.