I en ny artikel med Benny Sudakov från @ETH_en jämför vi Restaking med Proof-of-Stake-protokollet (PoS). Först undersöker vi det tillräckliga villkoret att en omsättningsgraf är säker. Under detta tillstånd är det alltid möjligt att omvandla en omsättningsgraf till säkra PoS-protokoll.

Därefter introducerar vi ett nytt mått -- omsättningsbesparingar: minsta extra insats för validerare för att kunna omvandla alla säkra omsättningsgrafer till säkra PoS-protokoll. Omvandlingen görs genom att dela upp alla valideringsinsatser mellan säkrade tjänster.

Vi härleder nedre och övre gränser för omstaking-besparingar, som en funktion av en omstaking-graf. I synnerhet visar vi att det asymptotiskt växer som en kvadratrot ur antalet validerare.

I en kompletterande fråga ges initialt säkra PoS-protokoll. Det är inte alltid möjligt att aggregera dem till en säker omsättningsgraf.

Vi introducerar PoS-besparingar: minsta extra insats för validerare i den aggregerade omsättningsgrafen så att grafen blir säker.

PoS-besparingar är nedre gränsen för en konstant och är övre gränsen för den största graden i omsättningsdiagrammet bland tjänster. Det finns fortfarande ett stort gap mellan den nedre och den övre gränsen.

Mer information finns i dokumentet: . All feedback är välkommen.