Gestalten Sie eine einmalige Abrechnung von „Trustless Bitcoin Vaults (TBV)“ als Zustandsmaschine. Schreiben Sie am Eingang nicht zuerst „welcher Prozentsatz des Sicherheitenbesitzes verkauft wird“, sondern „welche Vaults derzeit in den nächsten Zustand übergehen können“.

In S0 ist die Position zwar bereits abrechnungsfähig, aber auf der Bitcoin-Seite handelt es sich noch immer um eine konkrete Menge von UTXOs. Jeder Vault entspricht genau einem vollständigen UTXO – nicht einer Summe aus Kontoständen, die man als Dezimalwerte schrittweise abzieht. Falls nur ein Vault existiert, kann der Zustandsübergang die komplette Einheit mitnehmen; falls mehrere vorhanden sind, steht dem System eine Menge vollständiger Kandidaten wie V1, V2, V3 gegenüber.

Vom S0 nach S1 werden die Regeln nacheinander verwendet, um Vaults auszuwählen. Die Aufspaltung in sacrificial und protected verändert die Rollen der Kandidaten; die fairness-Mechanik verwaltet die Auswahlreihenfolge sowie eine mögliche Überabwicklung. Sie machen also Sortierung und Verwaltung – nicht das unmittelbare Ausführen, bei dem V2 temporär in 37% und 63% zerlegt wird.

In S2 ist die Auswahl in dieser Runde beendet, nachdem die erforderliche Gesundheit der Position wiederhergestellt ist. Da das zuletzt hinzugefügte Element eine vollständige Einheit ist, kann ihr Betrag über der theoretischen Differenz liegen, die für die Zustandswiederherstellung benötigt wird. Das ist die Ergebnisgrenze, die durch die UTXO-Granularität entsteht; sie bedeutet weder, dass Nutzer nie abgerechnet werden, noch dass die Aufteilung in mehr Vaults zwangsläufig die Verluste verringert.

Zum Gegencheck dieser Zustandsgrafik genügen drei Punkte: Erstens listen Sie die Anzahl der UTXOs auf, die zu jedem Vault gehören, und verwenden Sie nicht den Gesamtsaldo statt der Liste; zweitens kennzeichnen Sie die Rollen jedes Vault sowie die aktuelle Reihenfolge, nach der sie ausgewählt werden; drittens vergleichen Sie S0 und S2 und bestätigen Sie, welche vollständigen Einheiten einen Zustandswechsel erfahren haben. Wer an ERC-20-Prozentabwicklungen gewöhnt ist, sollte insbesondere zuerst diese drei Punkte klären, bevor er bewertet, ob das Abrechnungsergebnis zur TBV-Mechanik passt.

@BabylonLabs_io $BABY #baby