Pith. sign in

REVIEW 2 cited by

Robust Restaking Networks

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2407.21785 v1 pith:MVMKAJWB submitted 2024-07-31 cs.GT cs.DS

classification cs.GTcs.DS
keywords restakinglossrobuststakeattackattacksconditionscosts
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

We study the risks of validator reuse across multiple services in a restaking protocol. We characterize the robust security of a restaking network as a function of the buffer between the costs and profits from attacks. For example, our results imply that if attack costs always exceed attack profits by 10\%, then a sudden loss of .1\% of the overall stake (e.g., due to a software error) cannot result in the ultimate loss of more than 1.1\% of the overall stake. We also provide local analogs of these overcollateralization conditions and robust security guarantees that apply specifically for a target service or coalition of services. All of our bounds on worst-case stake loss are the best possible. Finally, we bound the maximum-possible length of a cascade of attacks. Our results suggest measures of robustness that could be exposed to the participants in a restaking protocol. We also suggest polynomial-time computable sufficient conditions that can proxy for these measures.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Proof of Work With External Utilities

    cs.GT 2025-05 conditional novelty 6.0 of 10

    In a Proof-of-Useful-Work model with quadratic costs and linear block rewards, the unique equilibrium has every miner participating, and miners profit most by concentrating their useful tasks into one block.

  2. Economic Security of Multiple Shared Security Protocols

    cs.CR 2025-05 conditional novelty 5.0 of 10

    A formal model shows that fragmented multi-provider staking lowers the minimum attack cost to the weakest provider, while a unified stake pool raises it.

Pith tools