Solvabilité et file

Le modèle

L’Exchange tient la comptabilité de son LP dans quelques compartiments :

• Liquidités du LP : la part des USDC de l’Exchange qui n’est due à personne d’autre. Prenez tout ce qu’il détient, retirez le solde libre de chaque compte, la marge bloquée dans les positions ouvertes et les frais accumulés ; ce qui reste, ce sont les liquidités du LP. Elles ne peuvent pas devenir négatives. Les frais de builder pas encore réclamés restent dans les liquidités du LP comme une dette du LP : le LP comptable les compte déjà comme payés, et la réclamation d’un builder est payée par les liquidités du LP, ou mise en file quand elle ne peut pas l’être.
• Réserve à part : le produit des pertes arrivé pendant que des créances étaient en file, affecté à la file au sein des liquidités du LP. Les récoltes la vident en premier.
• File des paiements : une liste, dans l’ordre d’arrivée, des gains impayés, chacun avec un compte et un montant.
• Dette dans les positions : la marge des positions ouvertes financée par des créances en file.

Au lieu d’un LP alimenté à l’avance qui paie les gagnants à la demande, le protocole met les gagnants en file quand les liquidités manquent et les paie à mesure que les pertes suivantes renflouent le LP. Le nombre que suit le taux d’émission du jeton, le LP comptable, est lié aux compartiments par une identité que chaque opération préserve :

tracked LP = LP cash − queued claims − debt in positions

Il peut être négatif : c’est l’état d’insolvabilité temporaire pour lequel la file existe.

Ce qui entre dans la file, c’est seulement ce que le LP doit sur une clôture sans pouvoir le payer à ce moment-là : le paiement après frais sur gain pour une position financée par votre solde, ou la créance restante pour une position financée par la file. Trois choses restent en dehors :

• Votre marge sur une position financée par votre solde : elle revient immédiatement sur votre solde libre, et vous pouvez la retirer ou la réutiliser.
• Les frais devant les gagnants en file : chaque gagnant paie les frais sur gain, mais ils n’arrivent aux stakers et à l’équipe que quand la file est vide et que les liquidités du LP les couvrent aussi ; sinon, ils restent dans le LP. Les frais sur perte et de liquidation sont supprimés tant que quelque chose est en file. Les frais de builder sont prélevés avec les frais sur gain ou sur perte et suivent les mêmes règles.
• Les pertes pendant que des créances sont en file : elles sont affectées à la réserve à part au lieu de devenir des liquidités libres du LP. Elles augmentent quand même le LP comptable en totalité au moment où elles se règlent.

Clôtures gagnantes

Les frais sur gain de 2% sont retirés du paiement quel que soit l’état du LP. Ensuite :

1. La file est vide : vous êtes payé par les liquidités du LP, à hauteur du paiement. Les frais vont aux stakers et à l’équipe seulement si les liquidités du LP les couvrent aussi ; sinon, ils restent dans le LP.
2. Ce que les liquidités du LP n’ont pas pu payer, ou tout le paiement quand des créances sont déjà en file, est ajouté en fin de file à votre nom. Les liquidités du LP ne changent pas pour la part mise en file.

Une position financée par des créances en file se règle de la même façon, sauf que le LP doit toute la créance restante : la marge plus le paiement sur un gain, ou la marge moins la perte sur une clôture perdante. La créance utilisée à l’ouverture servait de garantie ; ce n’était pas de l’argent que vous déteniez.

Clôtures perdantes et liquidations

Une position financée par votre solde qui se clôture à perte ou est liquidée :

1. La file est vide : la perte moins les frais (2% sur une clôture, 2% de la marge sur une liquidation) devient des liquidités du LP.
2. Des créances sont en file : le produit reste dans l’Exchange mais va dans la réserve à part pour les gagnants en file, et il n’y a pas de frais. Il compte quand même dans le LP comptable au moment du règlement, et des BACK sont quand même émis pour lui.

Une perte sur une position financée par des créances en file n’apporte aucune liquidité : la part détruite de la créance cesse simplement d’être due, donc rien n’arrive dans les liquidités du LP ni dans la réserve à part. Sur une clôture perdante, la créance restante est payée ou mise en file comme un gain, et les frais sur perte ne sont prélevés que quand la file est vide et que les liquidités du LP couvrent la créance plus les frais. Une liquidation détruit toute la créance et ne prélève pas de frais.

Récolte

Une récolte paie les créances en file par la tête :

1. Parcourir la file depuis la tête, en payant chaque créance avec les liquidités disponibles pour la file ; la dernière créance atteinte peut n’être payée qu’en partie.
2. Débiter d’abord la réserve à part de ce qui a été payé. Si les liquidités s’épuisent avant que la file soit vide, s’arrêter ; les pertes suivantes financeront les récoltes suivantes.
3. Quand la file se vide alors qu’il reste quelque chose dans la réserve à part, libérer le reste vers les liquidités ordinaires du LP. Ni la récolte ni la libération ne modifient le LP comptable : une créance en file en était déjà déduite.

La récolte est ouverte à tous et celui qui l’appelle n’est pas payé. Un appel paie au plus 64 créances ; notre keeper l’appelle avec 32 dès qu’il y a des liquidités à verser, si bien que personne d’autre n’a à le faire.

Si vous détenez déjà la créance la plus récente quand un autre de vos gains est mis en file, les deux sont fusionnés en une seule créance ; l’ordre de paiement ne change pas. Une ouverture financée par des créances en file utilise d’abord vos créances les plus récentes, en remontant au plus 50 d’entre elles, et une créance vidée de cette façon laisse un trou que les récoltes sautent.

Invariants

• Les liquidités du LP et la réserve à part ne sont pas signées, donc aucune des deux ne peut devenir négative.
• Les liquidités disponibles pour de nouveaux paiements sont nulles dès que quelque chose est en file, si bien qu’un nouveau gagnant ne peut jamais être payé avant un plus ancien.
• Le LP comptable est égal aux liquidités du LP moins les créances en file moins la dette dans les positions. Il peut devenir négatif : c’est l’insolvabilité temporaire prévue par conception.
• Une distribution aux stakers prend les frais des stakers, qui sont toujours couverts, plus toute valeur du LP au-delà de $500,000 ; cet excédent est payé par les liquidités du LP quand rien n’est en file, et mis en file au nom du contrat de staking sinon.

L’indexeur vérifie ces identités après chaque bloc et cesse de servir des données si l’une d’elles est violée.

Ce que voit l’utilisateur

Ouvrir une position ne dépend pas de la file, en dehors des plafonds habituels d’intérêt ouvert et de la limite du nombre de créances qu’une ouverture peut utiliser. Une clôture gagnante vous paie immédiatement ou vous met en file, selon le LP. L’app affiche un solde disponible (payé) et un solde en file (en attente d’une récolte) ; les deux peuvent financer de nouvelles positions, car les créances en file peuvent servir de marge.