In een nieuw paper met Benny Sudakov van @ETH_en vergelijken we Restaking met het Proof-of-Stake (PoS) protocol. Eerst kijken we naar de voldoende voorwaarde dat een restaking-grafiek veilig is. Onder deze voorwaarde is het altijd mogelijk om een restaking-grafiek om te zetten in veilige PoS-protocollen.

Vervolgens introduceren we een nieuwe maatregel -- restaking besparingen: minimale extra inzet voor validators om in staat te zijn om elke veilige restaking-grafiek om te zetten in veilige PoS-protocollen. De transformatie gebeurt door alle validator-inzetten te splitsen over beveiligde diensten.

We derivieren onder- en bovengrenzen voor restakingbesparingen, als een functie van een restakinggrafiek. In het bijzonder tonen we aan dat het asymptotisch groeit als de vierkantswortel van het aantal validators.

In een aanvullende vraag worden aanvankelijk veilige PoS-protocollen gegeven. Het is niet altijd mogelijk om ze samen te voegen in een veilige restaking-grafiek.

We introduceren PoS-spaarrekeningen: minimale extra inzet voor validators in de totale restaking-grafiek zodat de grafiek veilig wordt.

PoS-sparen is ondergrensd door een constante en is bovengrensd door de grootste graad in de restaking-grafiek onder de diensten. Er blijft een grote kloof tussen de onder- en bovengrenzen.

Voor meer details, bekijk het document: . Alle feedback is welkom.