Într-o nouă lucrare cu Benny Sudakov din @ETH_en, comparăm protocolul Restaking cu Proof-of-Stake (PoS). În primul rând, analizăm condiția suficientă ca un grafic de remiză să fie sigur. În această condiție, transformarea unui grafic de remiză în protocoale PoS securizate este întotdeauna posibilă.

În continuare, introducem o nouă măsură - economii de restaking: miză suplimentară minimă pentru ca validatorii să poată transforma orice graf de retaking securizat în protocoale PoS securizate. Transformarea se face prin împărțirea tuturor mizelor validatorului între serviciile securizate.

Derivăm limitele inferioare și superioare ale economiilor de remiză, în funcție de un grafic de remiză. În special, arătăm că crește asimptotic ca o rădăcină pătrată a numărului de validatori.

Într-o întrebare complementară, sunt date protocoale PoS inițial sigure. Agregarea lor în graficul de remiză securizat nu este întotdeauna posibilă.

Introducem economii PoS: miză suplimentară minimă pentru validatori în graficul agregat de remiză, astfel încât graficul să devină sigur.

Economiile PoS sunt limitate de o constantă și sunt de cea mai mare măsură în graficul de remiză dintre servicii. Rămâne un decalaj mare între limitele inferioare și superioare.

Pentru mai multe detalii, consultați lucrarea: . Orice feedback este binevenit.