## How much should you pay for restaking security?

## Tarun Chitra Gauntlet

tarun@gauntlet.xyz

Mallesh Pai Rice University and SMG mallesh.pai@mechanism.org

August 5, 2024

## Abstract

Restaking protocols have aggregated billions of dollars of security by utilizing token incentives and payments. A natural question to ask is: How much security do restaked services really need to purchase? To answer this question, we expand a model of Durvasula and Roughgarden [DR24] that includes incentives and an expanded threat model consisting of strategic attackers and users. Our model shows that an adversary with a strictly submodular profit combined with strategic node operators who respond to incentives can avoid the large-scale cascading failures of [DR24]. We utilize our model to construct an approximation algorithm for choosing token-based incentives that achieve a given security level against adversaries who are bounded in the number of services they can simultaneously attack. Our results suggest that incentivized restaking protocols can be secure with proper incentive management.

## 1 Introduction

Decentralized networks, such as blockchains, rely on a combination of cryptography and economic incentives to corral disparate operators to maintain network services. These operators, often referred to as node operators, bear the cost of running infrastructure and maintaining high network availability to guarantee network service level agreements. In exchange, these operators receive a combination of a fixed subsidy (often termed a block reward) and a variable fee that is accrued based on network usage.

In these systems, properties such as safety ( i.e. valid transactions cannot be removed from the network) and liveness ( i.e. the network does not halt) are dependent on how many resources are committed by network participants. For instance, Byzantine Fault Tolerant (BFT) Proof of Stake (PoS) networks guarantee safety and liveness only if at most 1 / 3 of resources committed by node operators are adversarial and/or dishonest. As such, these networks need to continually pay fixed and variable payments to ensure that there is sufficient honest stake. As protocols often compete with applications built on top of blockchains (such as decentralized finance or DeFi) for stake, there is a minimum payment needed to achieve

security (see, e.g. [Chi21; CK22; CE20]). This has led to a state where blockchains are continually searching for new forms of yield to give to node operators in order to ensure secure, orderly operation.

Restaking. As blockchains have evolved, there have been various forms of fees paid to node operators. The majority of fees earned by node operators are transaction fees that users pay in order to have their transactions included within a block. These fees are generally fixed and not proportional to the value of the transactions involved. Other fee mechanisms unique to blockchains such as miner extractable value (MEV) [CK22; KDC23; Dai+20] also exist. These forms of fees involve strategic users taking advantage of non-strategic user transactions and generally provide additional yet highly variable yield.

A newer form of yield for node operators is restaking , pioneered by Eigenlayer [Eig23; Eig24]. Restaking involves node operators of an existing PoS network (referred to as the host network ) locking their stake into a smart contract. The node operators provide services to the smart contract that are in addition to the services the host network requires ( e.g. ensuring transaction validity, voting on block finalization, etc.). If the node operator does not meet a covenant, their stake that is locked in the contract on the host network is slashed. On the other hand, if the node operator provides services within a service-level agreement (SLA) defined by the contract, they receive incentive payments. To demonstrate the diversity of restaking services, note that currently live Eigenlayer actively validated services for price oracles, Zero Knowledge proof generation, rollup sequencing, decentralized exchanges, and AI co-processing [u-24].

To illustrate payments and slashing, consider a price oracle service that requires node operators to provide a price from an off-chain venue ( i.e. Coinbase) on every block. If the node operator provides a price, they receive a portion of the revenue that price oracle smart contract receives. On the other hand, if the node operator doesn't tender a price, then the operator can have their stake slashed. Note that this slashing rule is in addition to existing host network slashing rules ( i.e. an Ethereum or Solana node operator is slashed for not posting a block during a slot they are the proposer). This shows that restaking can be thought of as a node operator earning extra fees by opting into excess risk from a service's slashing rules.

Risks of Restaking. Restaking has attracted over $ 20 billion in capital in 2024 alone [Lla24], serving as one of the fastest capital formation events within the history of cryptocurrency. Much of this capital formation has arisen because long-term Ethereum holders view restaking as a means for enhancing their PoS yield with minimal excess risk. However, restaking poses extra risks to users due to services' slashing rules. A specific novel risk arises from service pooling. Service pooling refers to a single operator using the same stake to operate multiple services. For instance, a node operator might lock up 100 ETH of stake into k services. If each service provides yield γ , . . . , γ 1 k , then the node operator can earn up to ∑ i γ i yield. On the other hand, if the user is slashed on any service, then their total staked quantity goes down for all services. If the same node operator is slashed on service i for 10 ETH, then the

operator has 90 ETH staked on all k services.

Pooling shares slashing risk across all services with common node operators, which implies that services themselves indirectly bear risk from other services. The worst-case outcome is a cascading attack. This is where slashes in one service impacts other services that are pooled via common node operators. If a malicious node operator is willing to be slashed in order to earn a profit from corrupting the network, groups of services can be attacked sequentially until the entire network's stake is slashed. The seminal work [DR24] demonstrated that this can happen given an adversary can attack arbitrarily large groups of services and if the network is not sufficiently overcollateralized.

Prior Work. The Eigenlayer restaking network [Eig23, App. B] was the first to address restaking risks. This paper focused on computing how much honest stake is needed to secure a service s that has a maximum profit from adversarial behavior, π s . While this paper provides a polynomial time algorithm for detecting if a network can be exploited given π s , it does not provide any formal guarantees on the losses of stake under attacks.

Subsequent work [DR24] considered the problem of measuring cascades by representing restaking networks with bipartite graphs. These graphs represent the relationship between services and node operators. Properties of this graph and π s can lead to cascades, with [DR24] constructing an infinite family of graphs that have a worst-case cascade ( i.e. all of the stake is destroyed via correlated slashes). On the other hand, the paper proves that if the network is overcollateralized in a particular sense (see § 2), then the size of the largest cascade decays. However, it should be noted that the overcollateralization is global, i.e. services require overcollateralization that depends on arbitrarily numbers of other services.

Finally, there have been a number of works on analyzing the effect of token incentives to impact PoS network security. These papers analyzed concentration of wealth effects [Fan+19], competition between PoS and application yield [Chi21], and the principalagent problem with liquid staking (which are also popular within restaking) [CE20; TZ23]. These works are related to this paper as they analyze the interaction between economic incentives and network security.

## 1.1 Our results

We expand the model of [DR24] in two main ways:

- 1. Inclusion of incentives paid by services to attract node operators
- 2. Expand the types of adversarial attacks possible

Realistic Adversaries. We show that for a realistic adversary, which we term a strictly submodular adversary , one can choose rewards to ensure that cascades are bounded. These adversaries realize decreasing marginal returns for attacking larger sets of services. Bounded cascade sizes imply adversaries cannot execute a sequence of attacks that leads to the entire network being slashed. Such a bound is important for analyzing how a restaking network

implicitly affects the security of its host PoS network. We show that for such an adversary, the length of a cascade degrades to the minimum length as the number of services grows to infinity. Our results provide a more optimistic view on security against cascading failures as it is substantially weaker than a global overcollateralization condition ( i.e. γ -security [DR24, Thm. 1]; see Appendix B).

We note that our model of strictly submodular adversaries represents a realistic model where the cost of attacking multiple services grows as more services are attacked concurrently. For instance, if an attacker needs to aggregate stake across k services and has to purchase at least σ units of stake for each service, they will push the price up of the staking asset in order to execute the attack. This, in particular, will lower the profitability of the attack as k increases, potentially restricting the number of services that can be attacked simultaneously.

Incentives and Strategic Operators. Our model relies on more than strictly submodular adversaries. We also require node operators to rebalance or adjust which services they are restaking with. Node operators are modeled as strategic, adjusting their allocation to services based on the expected profit they receive via service incentive payments. This is also realistic given that liquid restaking protocols (who make up over 50% of restaked capital [Lla24]) employ strategies to optimize their allocation to services [Li24; NC24; LB24].

These incentive payments can be viewed as analogous to block rewards that are paid out as a subsidy to attract stakers in PoS networks. Akin to work on PoS networks that shows that block rewards need to be sufficiently high to ensure that networks have sufficient stake to avoid attacks [Chi21], we demonstrate that with sufficiently high rewards, one can ensure that node operators rebalance in a manner that reduces cascades. We note that services and liquid restaking tokens on Eigenlayer have already paid out tens of millions of dollars of incentives far [Lla24; Pat24].

Threat Models and Algorithms for Optimal Incentives. One can view the choice of a submodular adversary as a choice of threat model for feasible attacks. The main model of strictly submodular adversary studied within this paper is the /lscript p -adversary. This adversary faces weighted p -norm costs for attacking k services out of a set of S possible services. When an adversary has this profit function, it implicitly means that an adversary cannot attack more than O S ( 1 /p ) services simultaneously. Note that this implies that for p → ∞ , we degrade to the threat model of S independent PoS networks ( i.e. we assume an adversary can only attack 1 network at a time).

Our main result in Theorem 1 shows that there exist sufficiently high rewards (incentives) r s ( p ) that can be paid to each service s to ensure that the cascade length is bounded under the assumption of /lscript p adversaries. This result implies that services can individually and locally choose a risk tolerance (parametrized by p ∈ (1 , ∞ ) and pay rewards to ensure they have no large cascades. Given that submodular functions are known to have minima that are easy to approximate [AMM21; PRS23], a natural question is if there exist algorithms for computing the optimal rewards to distribute given a choice of p . We show that this is indeed possible in § 4 and provide an approximate guarantee dependent on attack profitability and

a choice of p .

## 2 Model

Analogous to [DR24], we define a restaking graph as a bipartite graph with associated profit, stake, and threshold functions. These functions will be used to define what it means for a restaking network to be secure to cascading risks. Our model generalizes that of [DR24] in that we consider a larger set of profit functions and we introduce a notion of rewards that services can pay to node operators and costs that node operators face for operating a service. Our model is sufficiently general to handle both deterministic costs ( i.e. cost of running hardware) and probabilistic costs ( i.e. cost of being slashed).

Restaking Graphs. A restaking graph G = ( S, V, E, σ, π, α, f ) consists of

- · Bipartite graph with vertex set S /unionsq V where S is the set of services 1 and V is the set of node operators
- · An edge ( v, s ) ∈ E ⊂ V × S if node operator v is a node operator for service s
- · σ ∈ R V + is the amount of stake that node operator v ∈ V has in the network
- · π ∈ R S + is the maximum profit from corruption that can be realized for each service s ∈ S
- · α ∈ [0 , 1] S is the threshold percentage of stake that needs to collude to corrupt the service s ∈ S ( e.g. α = 1 / 3 is the threshold for a BFT service)
- · f : R S + × 2 S → R + is a profit function, where f ( π, A ) is the maximum profit that can be realized by corrupting all services s ∈ A simultaneously

See Figure 1 for a picture of a restaking graph. Our definition generalizes [DR24] since they restrict attention to the linear profit function f ( π, A ) = ∑ s ∈ A π s . For a node operator v , we define its neighbor set (or boundary) as ∂v = { s : ( v, s ) ∈ E } . Similarly, for a service s , we define its neighborhood as ∂s = { v : ( v, s ) ∈ E } . For each service, we define the total stake as service s , σ ∂s as

$$\sigma _ { \partial s } = \sum _ { v \colon ( v, s ) \in E } \sigma _ { v } \\ \sim + \sim \tilde { f } \, \infty \colon \colon \colon \infty \, \sim \tilde { f } \, \infty$$

We define the set D ψ ( G ) as the set of coalitions of node operators with stake less than ψ ∈ (0 , 1) fraction of the total amount staked:

1 In Eigenlayer terminology, a service would be called an 'actively validated service' (AVS)

$$D _ { \psi } ( G ) = \left \{ D \subseteq V \Big | \sum _ { v \in D } \sigma _ { v } \leq \psi \sum _ { v \in V } \sigma _ { v } \right \} \\ \overline { \text{inology, a service would be called an `actively validated servic} }$$

Figure 1: Example of a restaking graph G = ( S, V, E, α, σ, π ) with S = { s , s 1 2 } , V = { v , v 1 2 } , E = { ( s , v 1 1 ) , ( s , v 1 2 ) , ( s , v 2 1 ) , ( s , v 2 2 ) } . We consider f ( π, A ) = ∑ s ∈ A π s as the profit function. Note that each individual service cannot be attacked here as π i &lt; σ i for i ∈ { 1 2 , } . However, the set S might be vulnerable since the profitability condition (1), π 1 + π 2 &gt; σ i holds for the potential attack ( { s , s 1 2 } { , v i } ) ⊂ S × V . This attack is only valid, however, if σ i &gt; α s j ( σ 1 + σ 2 ), which implies that we need to have α s j &lt; 1 2 for j ∈ { 1 2 , } for this to be an attack. So if s , s 1 2 were BFT protocols with α s = 1 3 , this graph would be insecure. However, if it they were longest-chain protocols with α s = 1 2 , it would be secure.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00928v1-figure-14b277a6-405d-448a-8518-5cbb18286bdc.jpg)

For any set D ⊂ V or set A ⊂ S , we will slightly abuse notation and write

$$\sigma _ { D } = \sum _ { v \in D } \sigma _ { v } \quad \ \ & \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
 \quad \quad \quad$$

Finally, for any set A ⊂ S and a vector v ∈ R S , we denote by v A ( ) ∈ R A the restriction of v to the coordinate in A (and similarly for B ⊂ V ).

Security and Overcollateralization. A restaking graph G has an f -attack at ( A, B ) ⊂ S × V if: 2

$$f ( \pi, A ) & \geq \sum _ { v \in B } \sigma _ { v } = \sigma _ { B } \\ \colon \in \ A \cdot \quad & \sum _ { \tau } \tau \ > \alpha \ \sum _ { \tau } \tau \ = \alpha \ \tau _ { \tau }$$

$$\forall s \in A \colon \sum _ { v \in B \cap \partial s } \sigma _ { v } \geq \overset { \cdot \cdot \cdot - } { \alpha _ { s } } \sum _ { v \in \partial s } \sigma _ { v } = \alpha _ { s } \sigma _ { \partial s } \\ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \$$

When the context is clear, we will refer to an f -attack simply as an attack:

- · We call (1) the profitability condition for an attack, as it requires that the net profit from corruption of a set of services A exceed the total amount staked by the attacking operators B.
- · We refer to (2) as the feasibility condition for an attack as it represents a coalition B ⊂ V having sufficient stake to execute an attack.

2 These conditions were originally identified in the Eigenlayer whitepaper [Eig23] for the special case that f ( π, A ) = π A .

A graph is said to be secure if there does not exist an f -attack ( A, B ) ⊂ S × V . See Figure 1 for an example of a graph that is secure for α s ≥ 1 2 and insecure otherwise.

A restaking graph is said to be γ -secure if G is secure and for all attacking coalitions ( A, B ) ⊂ S × V ( e.g. where (2) is feasible):

$$( 1 + \gamma ) f ( \pi, A ) & \leq \sum _ { v \in B } \sigma _ { v } = \sigma _ { B }$$

This is an overcollateralization condition providing a multiplicative gap between the profit over attacking A and the stake held by B .

As per [DR24], given an attack ( A, B ), we define the graph G ↘ B to be the subgraph G = ( S -A, V -B,E -( S × B ∪ A × V ) , σ ( V -B , π S ) ( -A , α S ) ( -A , f ) ). This is simply the restaking graph where the services in A and the node operators in B are removed. Note that we use a slightly different definition relative to [DR24] in that we remove services that have been attacked to simplify the dynamics of our model. A disjoint sequence ( A , B 1 1 ) , . . . , ( A ,B T T ) is a cascading sequence of attacks if for each t ∈ [ T ], ( A , B t t ) is a valid attack on G ↘ B 1 · · · ↘ B t -1 . We let C G ( ) denote the set of sequences of valid attacks on a restaking graph G and as per [DR24], we define the cascade coefficient R ψ ( G ) as

$$R _ { \psi } ( G ) = \psi + \max _ { D \in D _ { \psi } ( G ) \, ( A _ { 1 }, B$$

One can interpret R ψ ( G ) as the maximum loss of stake that can occur if stake of at most ψ is slashed or removed. In Figure 2, we show a cascading attack of length T = 4 with R 1 /V ( G ) = 1 that is inspired by [DR24, Theorem 7].

In [DR24], the authors show that when f ( π, A ) = ∑ s ∈ A π s , one can have R ψ ( G ) = 1, which represents the entire network being slashed in a cascading failure. However, the authors also demonstrate that if G is γ -secure, then we have

$$R _ { \psi } ( G ) \leq \left ( 1 + \frac { 1 } { \gamma } \right ) \psi \quad \quad \quad$$

This demonstrates that networks are safer as they increase their overcollateralization. Note, however, that γ is a global variable for overcollateralization ( i.e. every service needs to be overcollateralized by at least this amount) which can make service profitability difficult. Finally, we note [DR24, Theorem 1, Corollary X], [Eig23, App. B] that a computationally efficient sufficient condition for Eigenlayer nodes to be γ -secure is: ∀ v ∈ V, (1+ γ ) ∑ s ∈ ∂v α σ π s s ∂s ≤ 1. Note that condition need not hold for all γ -secure restaking graphs.

Overlap. One of the main advantages of restaking systems is the ability to reuse capital to secure multiple services. This allows node operators to earn yield from many sources and increase their overall profitability. However, on the flip side, this also increases the profit from attack. As a simple example, consider the restaking graph of Figure 1. In this graph, we have two services a and b with π a = π b = 1. Moreover, there is a single node operator σ 1

Figure 2: An example of a cascading failure in a restaking network based on [DR24, Thm. 7, Figure 1] In this sequence of figures, black dots represent validators v , i i ∈ [12] and the red and blue boxes containing v i represent services s , i i ∈ [6]. For this system, we have σ v i = 1 and α s i = 1 for all s , v i i . We have π s = 2 for the services represented by red boxes and π s = 4 for the services represented by the blue boxes. One can view this as the hypergraph representation of a bipartite graph implicit in a restaking graph. When we go from the upper left diagram to the upper right diagram, we first have a loss of ψ = 1 12 , which represents the loss of a single node's stake. Losing this node's stake makes the left red box vulnerable as π s = 2 σ v when s is a red box, which is represented when one goes from the upper right box to the middle right box in attack ( A , B 1 1 ). This leads to the bottom row becoming vulnerable as π s = 4 σ v when s is a blue box (which is the attack ( A , B 2 2 ). This attack now leads the middle red service vulnerable and it is attacked in ( A , B 3 3 ). Finally, the remaining nodes in the blue service in the top row are vulnerable and attacked in ( A , B 4 4 ), leading to R 1 12 / ( G ) = 1

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00928v1-figure-0d3906ab-c336-4802-8365-0bc81d828e7f.jpg)

who is validating both services a and b . As σ 1 = 1 1, then on their own, neither service . a nor b are attackable as π i -σ 1 &lt; 0 for i ∈ { a, b } . However, if f ( π, A ) = ∑ s ∈ A π s , then it is profitable to attack both a and b simultaneously since π a + π b -σ 1 &gt; 0. On the other hand, if there were two node operators with σ 1 = σ 2 = 1 1 with . σ 1 operating a and σ 2 operating b , then there is no viable attack. This example demonstrates that when two services share stake operated by the same operator, they increase the profitability of attacking both services simultaneously.

One can view the risk of being attacked as related to the overlap of stake between services s and t . We define the overlap between s and t , θ s,t as θ s,t = σ ∂s ∩ ∂t where ∂s ∩ ∂t ⊂ V is the set of operators validating both services. In particular, as two services have higher overlap, the profit from attacking them together (as in our example) goes up. For each service s ∈ S , we define the minimum and maximum overlap, θ , θ s s , as θ s = min t ∈ S/ s { } θ s,t , θ s = max t ∈ S/ s { } θ s,t .

In Appendix B, we demonstrate an example of a graph whose maximum cascade length is controlled completely by the overlap. For this graph, if one required γ -security to hold, we demonstrate that one would need Ω( ∑ s ∈ S π s ) more stake than necessary to have small cascade length. In a scenario where one service has a profit π 1 = 1 and another service has π 2 = 1 000, this implies that , π 1 has to aggregate stake on the order of 1 , 000 times more stake to be γ -secure than if they were an isolated network. This example demonstrates that γ -security is often a highly inefficient means of overcollateralizing a restaking system to avoid cascades.

One of the main insights of this paper is that if one can control the overlap suitably and rational node operators can adjust their stake in response to an attack, then one can bound cascade length without needing a condition as strong as being γ -secure. In the sequel, we demonstrate that control over the minimum and maximum overlap between services allows one to bound the profitability of an attack. For instance, when the profitability is sublinear in | A | , then constraints on the overlap between services upper and lower bound f ( π, A ) -σ B . Our results in § 3 show that these bounds allow for incentives to be used to control over the overlap and R ψ ( G ).

/negationslash

Strictly Submodular Adversaries. Wesay that a restaking graph G = ( S, V, E, σ, π, α, f ) is strictly submodular if f ( π, A ) is a strictly submodular function of A , i.e. , f ( π, A ∪ A ′ ) + f ( π, A ∩ A ′ ) &lt; f A ( ) + f ( A ′ ) for all A, A ′ ⊂ S with A ⊂ A,A ′ ′ ⊂ A . A submodular adversary can be viewed as an adversary who faces costs for simultaneously attacking many services. Note that the linear payoff function f ( π, A ) = ∑ s ∈ A π s of [DR24] does not yield a strictly submodular restaking graph. Strictly submodular restaking graphs can be thought of as those where attackers face a cost that increases with the number of services | A | they are trying to concurrently attack. For instance, if an attacker faces an acquisition cost for acquiring stake in each service they attack, they could have a profit that is sublinear in | A | . We say that an attack is a costly attack if f is strictly submodular.

/negationslash

For example, suppose an adversary faces a multiplicative cost c π, A ( ) for attacking services A ⊂ S , i.e. f ( π, A ) = c π, A ( ) (∑ s ∈ A π s ) . If for all s , c π, A ( ) = Θ ( 1 | A | c ) for c ( i.e. non-constant cost, increasing in A ), then f ( π, A ) = O A ( | | 1 -c ), which is strictly submod-

ular [PRS23, § 2]. Such a multiplicative cost might arise if one has an additively supermodular cost (which can be thought of as a strictly convex cost).

This is also equivalent to having diminishing returns for attacking multiple services. This occurs when the costs for acquiring stake to attack different services are correlated. For instance, acquiring stake to attack service A can cause the price of acquiring stake to attack service B to increase. Such non-trivial costs growing with the maximum profit exist in other blockchain attacks: oracle manipulation [MNW22; AB22], intents [Chi+24], transaction fee manipulation [Yai+23; CRS24], liquid staking manipulation [CE20; TZ23] and time-bandit attacks [YTZ22].

We also note that if f ( π, A ) is a weighted /lscript p -norm of A , then it is strictly submodular if p &gt; 1 [PRS23, Obs. 2.1]. The majority of this paper will focus on studying the p -norm profit, f p ( π, A ):

$$f _ { p } ( \pi, A ) = \left ( \sum _ { s \in A } \pi _ { s } ^ { p } \right ) ^ { 1 / p$$

We note that for strictly submodular adversaries, Corollary 1 of [DR24] does not hold. When f ( π, A ) = ∑ s ∈ A π s , this corollary says that if ( A , B 1 1 ) , . . . , ( A ,B T T ) is a valid attack sequence then ( ⋃ t A , t ⋃ t B t ) is a valid attack sequence. We demonstrate that this is not true for p -attacks in Appendix A.

Incentives. We say a restaking graph is incentivized if there are two additional functions:

- · r ∈ R S + : r s is the reward paid out by service s to node operators ∂s
- · c ∈ R S + : c s is the cost to an operator of operating service s

/negationslash

A node operator is profitable without impact at a service s if ρ sv -c s = r s σ σ v ∂s -c s ≥ 0 which is equivalent to:

Costs should be thought of as including both the cost of operating the service and the losses faced from not conforming to the protocol ( i.e. slashes). Given a reward r s , each node operator v with an edge ( v, s ) ∈ E receives a reward ρ sv = β sv r s . If ( v, s ) ∈ E , we define ρ sv = 0. A service s is pro-rata if β sv = σ v σ ∂s , i.e. ρ sv = r s σ v ∑ v :( v,s ) ∈ E σ v = r s σ σ v ∂s . The majority of reward systems within decentralized networks and cryptocurrencies follow a pro-rata reward distribution [Joh+23; CPR19] and this is the main form of incentive studied in this paper. Finally, we say an incentivized restaking graph is dynamic if r t ( ) ∈ R S + , σ ( ) t ∈ R V + , E t ⊂ 2 S × V are updated sequentially for rounds t ∈ N .

$$\sigma _ { v } \geq \frac { c _ { s } \sigma _ { \partial s } } { r _ { s } }$$

However, a node operator also needs to measure the impact of adding their own stake when computing profitability. Recall that upon depositing σ v into service s , σ ∂s will increase by σ v . A node operator is said to be profitable with impact if σ v ≥ c s ( σ ∂s + σ v ) r s which can be rewritten as

$$\sigma _ { v } \geq \frac { c _ { s } \sigma _ { \partial s } } { r _ { s } - c _ { s } }$$

Rebalancing. Consider a node operator v ∈ V who is validating a set of services ∂v (0) ⊂ S at time t = 0. We say that v is strategic if given a dynamic, incentivized staking graph G t and an attack sequence ( A , B 1 1 ) , . . . , ( A ,B T T ), they have ∂v t ( ) = Update ( ∂v t ( -1) , σ ∂s , r s , c s ) after each attack ( A , B t t ). A strategic node operator can be thought of one that updates the services the validate in response to change in yield after t attacks, ρ sv ( ). t If that the function Update : 2 S × R + × R + × R + → 2 S is non-constant, we say that a node operator is strategically rebalancing .

If we view ∂v t ( ) as a portfolio of financial assets, a strategically rebalancing node operator is one who aims to maximize their expected value as the restaking graph changes. For instance, if a slashing event reduces competition at a service s so that ρ sv ( ) t &gt; ρ sv ( t -1), then a strategically rebalancing node operator can add s to ∂v to earn more incentives. When rebalancing is present, we consider a three-step iterated game between services, node operators, and attackers given an attack sequence:

- 1. Services choose rewards r s ( ) to offer node operators t
- 2. Attackers execute a single attack ( A , B i i )
- 3. Strategically rebalancing node operators update the services they are validating, ∂v t ( )

We note that one can view this as an online Stackelberg security game with the services acting as leader and the attacker and node operators as followers [Sin+18; Bal+15].

We construct an explicit example of rebalancing arresting a cascading attack in Figure 3. We take the same example as in Figure 2 and show that if a node operator can strategically rebalance and rewards are sufficiently high, they can halt a cascading attack. In this example, we are able to reduce an attack ( A , B 1 1 ) , . . . , ( A ,B T T ) to an attack ( A , B 1 1 ). The main results of § 3 construct sufficient conditions for how high rewards need to be in order to halt an attack and force it to have length 1.

## 3 Costly Attacks and Strategic Operators

Given the model of the previous section, we are now ready to describe our main results. We consider a weaker adversary and a stronger operator than [DR24] in that we consider a dynamic, incentivized restaking graph G t = ( S, V, E , α, σ , π, f, r t t ( ) t , c ) where f is strictly submodular. For the remainder of this section, we will consider the G p t = ( S, V, E , α, σ , π, f t t p , r ( ) t , c ) where f p ( π, A ) is defined in (5).

We will term a costly attack for G p t a p -attack . We prove similar results to those in this section for strictly submodular functions, where the analog of the parameter p is curvature of a submodular function [SVW17], in the full version of this paper. Our main result can be stated as:

Theorem 1. Consider G p t with strategically rebalancing node operators. There exist rewards r t ( ) ∈ R S + such that for a constant C &gt; 0 we have

$$R _ { \psi } ( G ) \leq \psi + \frac { C } { S ^ { 1 - \frac { 1 } { p } } }$$

Figure 3: A cascading attack halted by a rebalance. This is the same example as in Figure 2, except that rewards r s are chosen sufficiently high such that after the validator in the upper left corner is slashed, the adjacent validator in the upper blue service ( i.e. second from the left), joins the lower blue service. This leads to the cascading failure not being viable in that ( A , B 2 2 ) is no longer a valid attack after rebalancing. One can view this as an equilibrium condition: if we start in equilibrium, then every ( v, s ) ∈ E must be profitable with impact. This implies that if they are slashed, then another validator with at most the same stake can profitably join the service after they're slashed (which is what the validator second from the left in the top row is doing).

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00928v1-figure-489dce97-5eba-4a7c-b6b9-757bb6613479.jpg)

/negationslash

The rewards r t ( ) are local in that the optimal choice of r s ( ) t is only a function of ∂s t ( ) and any service s ′ ∈ S such that ∂s ′ ( ) t ∩ ∂s t ( ) = ∅

Outline of Proof of Theorem 1. We prove this theorem in a sequence of steps:

- 1. We first show that for any costly attack ( A, B ), one has

$$| B | \leq K S ^ { 1 / p }$$

for K = max s π s min v σ v . Note that min v σ v is a control parameter that a restaking protocol designer can choose ( i.e. analogous to the 32 ETH that are needed to stake in Ethereum mainnet).

- 2. We next show that if ∀ s, t ∈ S, θ s,t = Θ( S 1 /p ) , then | A | = ( o S )
- 3. For any costly attack sequence ( A , B 1 1 ) , . . . , ( A ,B T T ) ∈ C G ( p 0 ), we show that if | A t | = o S ( ), r s = Ω( S 1 /p ), then rebalancing node operators only allow ( A , B 1 1 ) to be a valid attack. That is, after the first attack ( A , B 1 1 ) is executed, rebalancing node operators place sufficient stake on services in a manner that makes ( A , B 2 2 ) an invalid attack on G p 1 .
- 4. Next, we show that given high enough rewards, rebalanced stake cannot cause further attacks. That is, rebalancing cannot cause an attack that was infeasible prior to rebalancing to be feasible post rebalancing.
- 5. Given these sufficiently high rewards, we also show that in the presence of strategically rebalancing node operators and if V &gt; S , we have σ V ≥ (min v σ v ) S which implies that cascades are bounded as:

$$R _ { \psi } ( G ) \leq \psi + \max _ { D \in D _ { \psi } ( G ) } \max _ { ( A _ { 1 }, B _ { 1 } ) \in C ( G - D ) } \frac { \sigma _ { B _ { 1 } } } { \sigma _ { V } } \leq \psi + \frac { K S ^ { 1 / p } } { ( \min _ { v } \sigma _ { v } ) \, S } = \psi + \frac { C } { S ^ { 1 - \frac { 1 } { p } } } \quad ( 8 )$$

- 6. All of the above results rely on ensuring that θ , θ s s = Θ( S 1 /p ). We demonstrate that there exists a simple update to dynamically choose rewards r s ( ) = t f ( θ s ( ) t , θ s ( ) t , σ ∂s ( ) t , r s ( t -1)) in response to rebalances to ensure that θ θ s s = Θ( S 1 /p ). This update rule gives lower rewards to node operators who increase overlap and higher rewards to those who decrease overlap. We note that such incentive mechanisms have been used as so-called incentive 'boosts' within various restaking point systems [Lla24; Pat24].

Combined, these results ensure that one can ensure small cascade coefficient by dynamically updating rewards in the presence of strategically rebalancing node operators.

## 3.1 Proofs of Steps 1 and 2

The claim that | B | = O S ( 1 /p ) for a p -attack is straightforward:

Claim 1 (Step 1) . Suppose that max s π s min v σ v ≤ K . If ( A, B ) is p -attack, then | B | ≤ KS 1 /p

$$& P r o o f. \text{ For a $p$-attack (A,B)$, (1)$ and (5) imply that $|A|^{1/p}(\max_{s\in A} \pi_{s}) \geq f_{p}(\pi,A) \geq \sigma_{B} \geq \\ & ( \min _ { v \in B } \sigma _ { v } ) \, | B |. \text{ Therefore $|B| \leq \frac { \max _ { s \in A } \pi _ { s } } { \min _ { v \in B } \sigma _ { v } } } | A | ^ { 1 / p } \leq K S ^ { 1 / p } & \Box$$

The second claim, i.e. | A | = o S ( ), relies on upper and lower bounding the overlap between services.

Claim 2 (Step 2) . Suppose that there exists δ &gt; 0 such that for all s, t ∈ S , | ∂s ∩ ∂t | ≥ (1 + δ KS ) 1 /p and θ s ≤ (max v σ v ) KS 1 /p for all s ∈ S . If δ (min v σ v ) (max v σ v ) ≥ 1 -1 e S ( -1) 2 , then for any p -attack ( A, B ) , we have where K = max s π s min v σ v . Therefore if K = ( o S p -1 p ) , then | A | = ( o S )

$$& e \\ & \quad | A | \leq \left ( \frac { 2 K ( S - 1 ) } { S - 2 } \right ) ^ { \frac { p } { p - 1 } } \\ \sum _ { \max \tau \max i t \, \mathcal { T } } \, \mathcal { T } - \lambda \, \mathfrak { C } ^ { \frac { p - 1 } { n } } \, \sum _ { \max \tau \max i t \, \mathcal { U } } \, \mathcal { U } = \lambda \, \mathfrak { C } \, \mathfrak { U }$$

This bound demonstrates the number of attacked services is sublinear in S provided that the overlap is sufficiently small and that the adversary is submodular. Furthermore, note that the assumption | ∂s ∩ ∂t | ≥ (1+ δ KS ) 1 /p implies that θ s = Ω( S 1 /p ) since θ s ≥ (min v σ v ) | ∂s ∩ ∂t | . We prove this claim in Appendix C but briefly sketch it here for completeness. The main ingredient of the proof is expanding σ B into a sum of terms depending on B ∩ ∂s for different services s . We then lower bound this expansion and show σ B = Ω( | A | ). On the other hand, the profitability condition implies that σ B ≤ f p ( π, A ) = O A ( | | 1 /p ). Combining these inequalities yields the claim. We note that if one adds extra constraints ( i.e. G is d -regular), then one can get achieve stronger bounds.

## 3.2 Proof of Step 3

The third step demonstrates that with sufficient incentives, one is able to rebalance enough stake to ensure that the p -attack ( A , B 2 2 ) is not viable. Recall that a costly attack needs to be both profitable (1) and feasible (2). When a set of node operators rebalances, they do not change the profitability of the p -attack ( A , B 2 2 ), but rather, make the setup infeasible. Suppose D s ⊂ V is the set of node operators who rebalance into service s after p -attack ( A , B 1 1 ). Then the rebalance has successfully thwarted a p -attack ( A , B 2 2 ) if the following conditions hold:

$$[ \text{Attack } 1 \text{ is profitable} ] & & f _ { p } ( \pi, A _ { 1 } ) \geq \sigma _ { B _ { 1 } } & & ( 1 0 )$$

$$[ \text{Attack 1 is feasible} ] \quad \ \forall s \in A _ { 1 } \ \sigma _ { \partial s \cap B _ { 1 } } \geq \alpha _ { s } \sigma _ { \partial s } \quad \quad ( 1 1 )$$

$$[ \text{Attack 2 is profitable} ] & & f _ { p } ( \pi, A _ { 2 } ) \geq \sigma _ { B _ { 2 } } & & ( 1 2 )$$

[Attack 2 is feasible without rebalancing]

$$g ] \quad \forall s \in A _ { 2 } \ \sigma _ { ( \partial s - B _ { 1 } ) \cap B _ { 2 } } \geq \alpha _ { s } \sigma _ { \partial s - B _ { 1 } } \quad ( 1 3 )$$

[Attack 2 is infeasible with rebalancing]

$$\text{ncing} \right ] \ \forall s \in A _ { 2 } \ \sigma _ { ( \partial s - B _ { 1 } + D _ { s } ) \cap B _ { 2 } } \leq \alpha _ { s } \sigma _ { \partial s - B _ { 1 } + D _ { s } } \ \ ( 1 4 )$$

Our claim demonstrates that (14) holds under conditions on the rewards and overlap. We first prove a simple lemma that will simplify the proof.

Lemma 1. Suppose that r s c s ≥ KS 1 /p +1 . Then there exists κ &gt; 0 such that

$$\sigma _ { D _ { s } ( B _ { 1 } ) } \geq \kappa \sigma _ { \partial s - B _ { 1 } }$$

Proof. We first define the sets D B s ( 1 ) as the set of node operators who are not profitable at s prior to B 1 being attacked and are profitable afterwards. Formally, define

$$\mu _ { s } ^ { \mu } & \mu _ { s } ^ { \mu }, c _ { s } ) = \left \{ D \subset V - B _ { 1 } \, \colon \forall v \in D, \, \sigma _ { v } \geq \frac { c _ { s } \sigma _ { \partial s - B _ { 1 } + D } } { r _ { s } - c _ { s } }, \, \sigma _ { v } \leq \frac { c _ { s } \sigma _ { \partial s } } { r _ { s } - c _ { s } } \right \} \\ \text{where we use one of } \, \text{$7$ to define notification} \, \text{$1$ of $D$ } \, \colon \in \text{armany} \, \colon \in \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \text{$2$} \, \end{cases}$$

where we use eq. (7) to define profitability conditions. Let D B s ( 1 ) ∈ argmax D ∈D s ( B ,r ,c 1 s s ) σ D . Next, we bound the amount of stake in D B s ( 1 ) by σ ∂s and the attack σ B 1 :

$$\sigma _ { D _ { s } ( B _ { 1 } ) } = \sum _ { v \in D _ { s } ( B _ { 1 } ) } \sigma _ { v } \geq \sum _ { v \in D _ { s } ( B _ { 1 } ) } \frac { c _ { s } \sigma _ { \partial s - B _ { 1 } + D _ { s } ( B _ { 1 } ) } } { r _ { s } - c _ { s } } = | D _ { s } ( B _ { 1 } ) | \frac { c _ { s } \sigma _ { \partial s - B _ { 1 } + D _ { s } ( B _ { 1 } ) } } { r _ { s } - c _ { s } } \\ \sigma _ { D _ { s } ( B _ { 1 } ) } = \sum _ { v \in D _ { s } ( B _ { 1 } ) } \sigma _ { v } \geq \sum _ { v \in D _ { s } ( B _ { 1 } ) } \frac { c _ { s } \sigma _ { \partial s - B _ { 1 } + D _ { s } ( B _ { 1 } ) } } { r _ { s } - c _ { s } } \\ \sigma _ { \mu } \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \,.$$

This implies that ( 1 -| D B s ( 1 ) | c s r s -c s ) σ D s ( B 1 ) ≥ | D s ( B 1 ) | c s r s -c s σ ∂s -B 1 . Therefore when | D B s ( 1 ) | c s r s -c s &lt; 1, this is a non-trivial bound: σ D s ( B 1 ) ≥ κσ ∂s -B 1 . As | D B s ( 1 ) | ≤ KS 1 /p , this condition holds when r s c s ≥ KS 1 /p +1.

Claim 3 (Step 3) . Suppose that r s c s ≥ KS 1 /p + 1 , | A t | = o S ( ) and for all s ∈ S σ ∂s ≥ (1+(min v σ v )) K (max v σ v ) S 1 /p . Moreover, suppose that (min s α s ) (max v σ v ) ≥ 2 . Then (14) holds.

Proof. From the feasibility of ( A , B 2 2 ) without rebalancing, eq. (13), we have α σ s ∂s -B 1 ≤ σ ( ∂s -B 1 ) ∩ B 2 ≤ σ B 2 . Since | A | = ( o S ), the profitability of attack 2 (eq. (12)) implies

$$\sigma _ { B _ { 2 } } \leq f _ { p } ( \pi, A _ { 2 } ) \leq \left ( \max _ { s } \pi _ { s } \right ) | A _ { 2 } | ^ { 1 / p } \leq \left ( \max _ { s } \pi _ { s } \right ) S ^ { o ( 1 / p ) } \\ \text{lies that } \sigma _ { ( \partial s - B, \bigcap B, \bigcap B, \bigcap } = O ( S ^ { o ( 1 / p ) } ). \text{ Similarly, we have } \sigma _ { D, ( B, \bigcap B, \bigcap B, \bigcap } \leq \sigma _ { B, \bigcap } = O }$$

This implies that σ ( ∂s -B 1 ) ∩ B 2 = O S ( o (1 /p ) ). Similarly, we have σ D s ( B 1 ) ∩ B 2 ≤ σ B 2 = O S ( o (1 /p ) ). From the lemma and by our assumption on r s , we have σ D s ( B 1 ) ≥ κσ ∂s -B 1 . Moreover, note that

$$\overset { \dots \dots } { \sigma } _ { \partial s - B _ { 1 } } \geq \sigma _ { \partial s } - | B _ { 1 } | \left ( \underset { v } { \max } \sigma _ { v } \right ) \geq \left ( \underset { v } { \min } \sigma _ { v } \right ) K \left ( \underset { v } { \max } \sigma _ { v } \right ) S ^ { 1 / p } = \left ( \underset { s } { \max } \sigma _ { s } \right ) \left ( \underset { v } { \max } \sigma _ { v } \right ) S ^ { 1 / p } \\ \text{This implies that } \sigma _ { \partial s - B, + D _ { \cdot } } \geq ( 1 + \kappa ) \sigma _ { \partial s - B _ { \cdot } } \geq ( 1 + \kappa ) \left ( \underset { s } { \max } \sigma _ { s } \right ) \left ( \underset { v } { \max } \sigma _ { v } \right ) S ^ { 1 / p }. \text{ Combined,}$$

This implies that σ ∂s -B 1 + D s ≥ (1 + κ σ ) ∂s -B 1 ≥ (1 + κ ) (max s π s ) (max v σ v ) S 1 /p . Combined, we have

$$\tilde { \sigma } _ { ( \partial s - B _ { 1 } + D _ { s } ) \cap B _ { 2 } } & = \sigma _ { ( \partial s - B _ { 1 } ) \cap B _ { 2 } } + \sigma _ { D _ { s } \cap B _ { 2 } } \leq 2 \left ( \max _ { s } \pi _ { s } \right ) S ^ { o ( 1 / p ) } \\ & \leq ( 1 + \kappa ) \alpha _ { s } \left ( \max \pi _ { s } \right ) \left ( \max \sigma _ { v } \right ) S ^ { 1 / p } \leq \alpha _ { s } \sigma _ { \partial s - B _ { 1 } + D _ { s } }$$

which proves (14).

$$\leq ( 1 + \kappa ) \alpha _ { s } \left ( \max _ { s } \pi _ { s } \right ) \binom { \nu } { v } \overset { \nu } { \sigma _ { v } } \overset { \prime } { S } ^ { 1 / p } \leq \alpha _ { s } \sigma _ { \partial s - B _ { 1 } + D _ { s } }$$

We note that our assumptions are mild: the condition on σ ∂s simply says the initial stake at each service needs to be above a p dependent threshold while the condition on min s α s effectively says we need services that don't have low attack percentages relative to stake.

## 3.3 Proof of Step 4

As π, σ are fixed, rebalancing can only change the feasiblity of an attack (2). It is possible that a rebalance to thwart an attack ( A , B 2 2 ) makes a profitable yet infeasible ( ˜ A, B ˜ ) ⊂ S × V profitable and feasible. If our rebalance set for service s is D s ⊂ V , this occurs when the following conditions hold:

$$[ ( \tilde { A }, \tilde { B } ) \text{ is infeasible without rebalancing} ] \quad \nabla$$

$$\varphi _ { s } \in \tilde { A } \ \sigma _ { ( \partial s - B _ { 1 } ) \cap \tilde { B } } \leq \alpha _ { s } \sigma _ { \partial s - B _ { 1 } } \quad \ \ ( 1 5 )$$

$$[ ( \tilde { A }, \tilde { B } ) \text{ is feasible with rebalancing} ] \quad \forall s \in \tilde { A } \ \sigma _ { ( \partial s - B _ { 1 } + D _ { s } ) \cap \tilde { B } } \geq \alpha _ { s } \sigma _ { \partial s - B _ { 1 } + D _ { s } } \quad ( 1 6 )$$

We demonstrate a simple sufficient condition depending on the rewards that ensures that there exists a rebalance where this does not occur.

Claim 4. Suppose r s c s ≥ 2 σ max σ min KS 1 /p +1 , then for all D s ∈ D s ( B , r , c 1 s s ) (16) does not hold

Proof. Rewrite (16) as σ ˜ B D ∩ s ≥ ( α σ s ∂s -B 1 -σ ( ∂s -B 1 ) ∩ ˜ B ) + α σ s D s . First note that α σ s ∂s -B 1 -σ ( ∂s -B 1 ) ∩ ˜ B ≥ α σ s ∂s -B 1 -σ ˜ B ≥ α σ s ∂s -B 1 -σ max KS 1 /p . Any D s ∈ D s ( B , r , c 1 s s ) has σ ∂s ≥ r s -c s c s σ v ≥ 2 σ max σ min KS 1 /p σ v ≥ 2 σ max KS 1 /p so α σ s ∂s -B 1 -σ ( ∂s -B 1 ) ∩ ˜ B ≥ Kσ max S 1 /p . Since any attacking coalition ˜ has B σ D s ∩ ˜ B ≤ σ ˜ B ≤ Kσ max S 1 /p , (16) does not hold.

Therefore, with sufficient rewards, any attack that is infeasible prior to rebalancing will not be feasible after rebalancing.

## 3.4 Proof of Steps 5 and 6

Provided that ∀ s ∈ S, ∃ r s &gt; 0 and V ≥ S , it is clear that σ V ≥ (min v σ v ) S . When combined with steps 1, 2, and 3, this implies equation (8). What remains to be shown is that the assumptions that exist within step 2 - namely that for all s ∈ S, θ s , θ s = Θ( S 1 /p ) - can also be incentivized via rewards r s .

/negationslash

To do this, we consider operator-specific rewards r sv for s ∈ S, v ∈ V , which incentivize targeting a particular overlap range. For any service s , let τ ( s ) = argmax t ∈ S,t = s σ ∂s ∩ ∂t ⊂ S and let ∂τ s ( ) = { v ∈ V : ∃ s ∈ τ ( s ) v ∈ ∂s } . For each service s , let δ s &gt; 0 and define

$$r _ { s v } ( r, \delta, \sigma ) = ( 1 - \delta _ { s } \mathbf 1 _ { v \in \partial \tau ( s ) } ) r _ { s }$$

This reward linearly decreases the reward received by v if v increases θ s . We make the following simple claim:

$$\text{Claim } 5 \, \text{ (Step 5). } \, \text{If } r _ { s } = \Omega ( S ^ { 1 / p } ) \ a n d \ \delta _ { s } \geq 1 - \frac { S ^ { 1 / p } } { r _ { s } }, \ t h e n \, \overline { \theta } _ { s } = O ( S ^ { 1 / p } )$$

Proof. For these rewards, a node operator v is profitable if r sv σ σ v ∂s -c s &gt; 0 which implies the profitability with impact condition σ v &gt; c s ( σ ∂s + σ v ) r sv . This simplifies to σ v &gt; c s σ ∂s r sv -c s . Now consider a p -attack ( A, B ) and define the set

$$\mathcal { D } _ { s } ( B, \delta _ { s } ) = \left \{ D \subset V - B \, \colon \forall v \in D, \, \sigma _ { v } \geq \frac { c _ { s } \sigma _ { \partial s - B + D } } { r _ { s v } ( \delta _ { s } ) - c _ { s } }, \, \sigma _ { v } \leq \frac { c _ { s } \sigma _ { \partial s } } { r _ { s v } ( \delta _ { s } ) - c _ { s } } \right \}$$

Let D ∈ D s ( B,δ s ). By Lemma 1, we have σ D ≥ κσ ∂s -B . This implies that

$$\sigma _ { \partial S - B + D } = \sigma _ { \partial S - B } + \sigma _ { D } \geq ( 1 + \kappa ) \sigma _ { \partial s - B } \geq ( 1 + \kappa ) \left ( \sigma _ { \partial s } - \sigma _ { \max } S ^ { 1 / p } \right ) \\ \text{By the definition of $\mathcal{D}_{s}(B,\delta_{s})$, we have}$$

By the definition of D s ( B,δ s ), we have

$$& \text{By the definition of $\mathcal{D}_{s}(B,\delta_{s})$, we have} \\ & \sigma _ { D } = \sum _ { v \in D } \sigma _ { v } \geq c _ { s } \sigma _ { \partial s - B + D } \sum _ { v \in D } \frac { 1 } { r _ { s v } ( \delta _ { s } ) - c _ { s } } = ( c _ { s } \sigma _ { \partial s - B + D } ) \left ( \frac { | D \cap \partial \tau ( s ) | } { r _ { s } ( 1 - \delta _ { s } ) - c _ { s } } + \frac { | D - \partial \tau ( s ) | } { r _ { s } - c _ { s } } \right ) \\ & \quad \geq ( c _ { s } \sigma _ { \partial s - B + D } ) \frac { | D \cap \partial \tau ( s ) | + C | D - \partial \tau ( s ) | } { r _ { s } ( 1 - \delta _ { s } ) - c _ { s } } \geq \frac { ( 1 + \kappa ) c _ { s } C | D | } { r _ { s } ( 1 - \delta _ { s } ) - c _ { s } } \left ( \sigma _ { \partial s } - \sigma _ { \max } S ^ { 1 / p } \right ) \\ & \quad \geq \frac { ( 1 + \kappa ) c _ { s } K } { r _ { s } ( 1 - \delta _ { s } ) - c _ { s } } \left ( \overline { \theta } _ { s } - \sigma _ { \max } S ^ { 1 / p } \right ) \\ & \text{Note that the first inequality follows from the first bound in $\mathcal{D}_{s}(B,\delta_{s})$, the second from} \\ & \text{the definition of $r$} \quad The third    fourth    and fifth inequalities stem from the fact that $\mathcal{C}$} =$$

$$\overline { \theta } _ { s } \leq \frac { 1 } { ( 1 + \kappa ) c _ { s } K } ( r _ { s } ( 1 - \delta _ { s } ) - c _ { s } + \sigma _ { \max } S ^ { 1 / p } )$$

Note that the first inequality follows from the first bound in D s ( B,δ s ), the second from the definition of r sv . The third, fourth, and fifth inequalities stem from the fact that C = r s (1 -δ s ) -c s r s -c s = Ω ( S 1 /p r s ) and that C D | | = C ( | D ∩ ∂τ s ( ) | + | D -∂τ s ( ) ) | ≥ K . Rearranging this yields

Given (18), the choice of δ s ≥ 1 -S 1 /p r s implies that θ s = O S ( 1 /p ).

This claim shows that for sufficiently large discount δ s , one can ensure the maximum overlap satisfies the conditions of the prior steps. We note a similar technique can be used for ensuring lower bounds on overlap that provides boosts or extra incentives for increasing overlap between services that are too low.

## 4 Reward Selection Algorithms

We have demonstrated that provided rewards are sufficiently high, one can bound R ψ ( G ). However, in practice, there is the question of how to compute optimal rewards r /star s given a restaking graph G . Given that the profit functions are submodular, we demonstrate that utilizing Algorithm 1, one can approximate the optimal rewards up to a multiplicative factor E S, p ( ).

Sequential Profit Function. Consider the function Profit p : C G ( ) → R + that is defined as:

This function is strictly positive for attack sequences. Our goal will be to take an bound T ∈ N + on sequence length and find a sequence ( ˆ A , B 1 ˆ 1 ) , . . . , ( ˆ A , B k ˆ k ), k ≤ T such that Profit p (( ˆ A , B 1 ˆ 1 ) , . . . , ( ˆ A , B k ˆ k )) ≥ α p ( ) max S∈ C G , ( ) |S|≤ T Profit p ( S ). Given this sequence, one can solve for rewards that ensure that attack ( ˆ A , B 2 ˆ ) is invalid in the presence of rebalancing. 2

$$\text{Profit} _ { p } ( ( A _ { 1 }, B _ { 1 } ), \dots, ( A _ { T }, B _ { T } ) ) = \sum _ { t = 1 } ^ { T } f _ { p } ( \pi, A _ { i } ) - \sigma _ { B _ { i } } & & ( 1 9 ) \\ \text{inction is strictly positive for attack sequences. } \text{Our goal will be to take an bound}$$

Optimal Rewards. Let ( A , B /star 1 /star 1 ) , . . . , ( A ,B /star T /star T ) ∈ argmax S∈ C G ( ) Profit ( S ), then we can compute the optimal rewards r /star s to ensure that R ψ ( G ) by computing the minimum rewards such that (14) holds. This implies that we need α σ s ∂s -B /star 1 -D r ( s ) ≥ σ ( ∂s -B /star 1 + D s ) ∩ B /star 2 for all s ∈ A /star 2 . This can be formulated as the following minimax program:

$$f ( r _ { s } ) & = \max _ { D \in \mathcal { D } _ { s } ( B _ { 1 }, r _ { s }, c _ { s } ) } \sum _ { s \in A _ { 2 } ^ { * } } \log ( \alpha _ { s } \sigma _ { \partial s - B _ { 1 } ^ { * } + D } - \sigma _ { ( \partial s - B _ { 1 } ^ { * } + D ) \cap B _ { 2 } ^ { * } } ) \\ r _ { s } ^ { * } & = \min \{ r _ { s } \geq 0 \, \colon f ( r _ { s } ) > 0 \}$$

We consider a convex relaxation of this problem. Note that D ∈ D s ( B , r , c 1 s s ) implies a V -size set of linear constraints on D of the form σ v ≥ c σ s ∂s -B /star 1 + D s r -c s ⇐⇒ σ D ≤ ( r s -c s ) σ v -σ ∂s -B /star 1 since ∂s, B /star 1 are fixed. Let ∆ n = { x ∈ R n + : ∑ i x i ≤ 1 } be the simplex. We define

$$\hat { f } ( r _ { s }, k ) = & \max _ { D \in \left ( ( r _ { s } - c _ { s } ) k - \sigma _ { \partial s - B _ { 1 } ^ { * } } \right ) \Delta ^ { n } } \sum _ { s \in A _ { 2 } ^ { * } } \log ( \alpha _ { s } \sigma _ { \partial s - B _ { 1 } ^ { * } + D } - \sigma _ { ( \partial s - B _ { 1 } ^ { * } + D ) \cap B _ { 2 } ^ { * } } ) \\ \hat { \ } \, _ { \ }$$

Note that ˆ is monotone increasing in f r s and k and that this is a logarithmic barrier problem over a convex set [BV04, Ch. 11]. Moreover, note that ˆ f ≥ f since D s ( B , r , c /star 1 s s ) ⊂ ( ( r s -c s )(max v σ v ) -σ ∂s -B ∗ 1 ) ∆ . This implies that unless n f ( r s ) &lt; 0 for all r s &gt; 0, then we can find r s by a combination of bisection and solving (21) by an interior point method.

Approximation Guarantees. We prove the following claim in Appendix D:

Claim 6. Suppose (20) is feasible for some r s &gt; 0 and that min s π s max s π s ≥ C . Then Algorithm 1 returns an approximation ˆ r s that satisfies

$$\hat { r } _ { s } \geq \frac { C r _ { s } ^ { * } } { S ^ { 1 / p } } + G$$

where G is the integrality gap G = sup r s &gt; 0 max v ∈ V ˆ ( f r , σ s v ) -f ( r s ) .

## 5 Conclusion and Future Directions

Our results demonstrate that cascade risk in restaking networks can be bounded with incentives. Services can utilize our results to choose a rewards r s that ensure they can only be attacked by Ω( S 1 /p )-sized attacking coalitions. This allows smaller services to choose a threat model that offers fewer rewards should their local corruption profit be low. On the other hand, our results show that strategic node operators (such as liquid restaking tokens [Li24], who aggregate stake and delegate to node operators) need to rebalance efficiently to ensure network security. Future work includes numerical evaluation of our algorithm on live restaking networks [u-24] and to account for the price volatility and liquidity of r s . The latter problem exists as services often pay rewards in their native tokens rather than in the restaked asset [Lla24; Pat24; Sym24] and have to consider the impact of price and liquidity on whether their rewards are sufficient for node operators to be profitable.

## 6 Acknowledgments

We want to thank Tim Roughgarden, Naveen Durvasula, Soubhik Deb, Sreeram Kannan, Victor Xu, Walter Li, Gaussian Process, Manvir Schneider, Theo Diamandis, Matheus Ferreria, Guillermo Angeris, Kshitij Kulkarni for helpful comments and inspiration.

## References

| [AB22]   | Ayana T Aspembitova and Michael A Bentley. 'Oracles in decentralized finance: Attack costs, profits and mitigation measures'. In: Entropy 25.1 (2022), p. 60.                                                      |
|----------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [AMM21]  | Saeed Alaei, Ali Makhdoumi, and Azarakhsh Malekian. 'Maximizing sequence- submodular functions and its application to online advertising'. In: Management Science 67.10 (2021), pp. 6030-6054.                     |
| [Bal+15] | Maria-Florina Balcan et al. 'Commitment without regrets: Online learning in stackelberg security games'. In: Proceedings of the sixteenth ACM conference on economics and computation . 2015, pp. 61-78.           |
| [BS18]   | Eric Balkanski and Yaron Singer. 'The adaptive complexity of maximizing a submodular function'. In: Proceedings of the 50th annual ACM SIGACT sym- posium on theory of computing . 2018, pp. 1138-1151.            |
| [BV04]   | Stephen P Boyd and Lieven Vandenberghe. Convex optimization . Cambridge university press, 2004.                                                                                                                    |
| [CE20]   | Tarun Chitra and Alex Evans. 'Why stake when you can borrow?' In: arXiv preprint arXiv:2006.11156 (2020).                                                                                                          |
| [Chi21]  | Tarun Chitra. 'Competitive Equilibria Between Staking and On-chain Lending'. In: Cryptoeconomic Systems 0.1 (2021). url : https://cryptoeconomicsystems.pubpub.org                                                 |
| [Chi+24] | Tarun Chitra et al. 'An Analysis of Intent-Based Markets'. In: arXiv preprint arXiv:2403.02525 (2024).                                                                                                             |
| [CK22]   | Tarun Chitra and Kshitij Kulkarni. 'Improving proof of stake economic security via MEV redistribution'. In: Proceedings of the 2022 ACM CCS Workshop on Decentralized Finance and Security . 2022, pp. 1-7.        |
| [CPR19]  | Xi Chen, Christos Papadimitriou, and Tim Roughgarden. 'An axiomatic ap- proach to block rewards'. In: Proceedings of the 1st ACM Conference on Ad- vances in Financial Technologies . 2019, pp. 124-131.           |
| [CRS24]  | Hao Chung, Tim Roughgarden, and Elaine Shi. 'Collusion-resilience in transac- tion fee mechanism design'. In: arXiv preprint arXiv:2402.09321 (2024).                                                              |
| [Dai+20] | Philip Daian et al. 'Flash boys 2.0: Frontrunning in decentralized exchanges, miner extractable value, and consensus instability'. In: 2020 IEEE symposium on security and privacy (SP) . IEEE. 2020, pp. 910-927. |

| [DR24]   | Naveen Durvasula and Tim Roughgarden. Robust Restaking Networks . 2024. url : https://arxiv.org/abs/2407.21785 .                                                                                                                                                                        |
|----------|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Eig23]  | EigenLayer Team. EigenLayer: The Restaking Collective . 2023. url : https://docs.eigenlaye                                                                                                                                                                                              |
| [Eig24]  | EigenLayer Team. EIGEN: The Universal Intersubjective Work Token . 2024. url : https://docs.eigenlayer.xyz/eigenlayer/overview/whitepaper .                                                                                                                                             |
| [Fan+19] | Giulia Fanti et al. 'Compounding of wealth in proof-of-stake cryptocurrencies'. In: Financial Cryptography and Data Security: 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019, Revised Se- lected Papers 23 . Springer. 2019, pp. 42-61. |
| [Joh+23] | Nicholas AG Johnson et al. 'Concave pro-rata games'. In: International Con- ference on Financial Cryptography and Data Security . Springer. 2023, pp. 266- 285.                                                                                                                         |
| [KDC23]  | Kshitij Kulkarni, Theo Diamandis, and Tarun Chitra. 'Routing MEV in Con- stant Function Market Makers'. In: International Conference on Web and In- ternet Economics . Springer. 2023, pp. 456-473.                                                                                     |
| [LB24]   | Walter Li and Carson Brown. 'Liquid Restaking Token (LRT) Market Risk Framework'. In: Gauntlet (2024). url : https://www.gauntlet.xyz/resources/liquid-res                                                                                                                              |
| [Li24]   | Walter Li. 'Optimizing AVS Allocations for Liquid Restaking Tokens (LRTs)'. In: Gauntlet (2024). url : https://www.gauntlet.xyz/resources/optimizing-avs-alloca                                                                                                                         |
| [Lla24]  | DeFi Llama. Restaking - DeFi Llama . https://defillama.com/restaking . July 2024. url : https://defillama.com/restaking .                                                                                                                                                               |
| [Lla24]  | Llama Legal. 'EigenLayer &LRTPoints'. In: LlamaRisk (2024). url : https://llamarisk.co                                                                                                                                                                                                  |
| [MNW22]  | Torgin Mackinga, Tejaswi Nadahalli, and Roger Wattenhofer. 'Twap oracle attacks: Easier done than said?' In: 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) . IEEE. 2022, pp. 1-8.                                                                          |
| [NC24]   | Michael Neuder and Tarun Chitra. 'The Risks of LRTs'. In: ethresearch (2024). url : https://ethresear.ch/t/the-risks-of-lrts/18799 .                                                                                                                                                    |
| [Pat24]  | Yash Patil. 'EigenLayer Rewards Calculation'. In: HackMD (2024). url : https://hackmd.io                                                                                                                                                                                                |
| [PRS23]  | Kalen Patton, Matteo Russo, and Sahil Singla. 'Submodular norms with ap- plications to online facility location and stochastic probing'. In: arXiv preprint arXiv:2310.04548 (2023).                                                                                                    |
| [Sin+18] | Arunesh Sinha et al. 'Stackelberg security games: Looking beyond a decade of success'. In: IJCAI. 2018.                                                                                                                                                                                 |
| [SVW17]  | Maxim Sviridenko, Jan Vondr´k, a and Justin Ward. 'Optimal approximation for submodular and supermodular optimization with bounded curvature'. In: Mathematics of Operations Research 42.4 (2017), pp. 1197-1218.                                                                       |
| [Sym24]  | Symbiotic Team. 'Symbiotic Vault Reward'. In: Symbiotic (2024). url : https://docs.symbio                                                                                                                                                                                               |

[TZ23] Apostolos Tzinas and Dionysis Zindros. 'The principal-agent problem in liquid staking'. In: International Conference on Financial Cryptography and Data Security . Springer. 2023, pp. 456-469.

[u-24]

u-1. u-1: Eigenlayer Directory . https://u--1.com . July 2024. url : https://u--1.com .

[Yai+23]

Aviv Yaish et al. 'Speculative Denial-of-Service Attacks in Ethereum.' In: IACR Cryptol. ePrint Arch. 2023 (2023), p. 956.

[YTZ22]

Aviv Yaish, Saar Tochner, and Aviv Zohar. 'Blockchain stretching &amp; squeezing: Manipulating time for your best interest'. In: Proceedings of the 23rd ACM Conference on Economics and Computation . 2022, pp. 65-88.

## A Unions of p -attacks need not be valid attacks

We first demonstrate an explicit example of a sequence ( A , B 1 1 ) , . . . , ( A ,B T T ) such that for f ∞ ( π, A ), we have

$$f _ { \infty } ( \pi, \cup _ { t } A _ { t } ) & \leq \sigma _ { \cup _ { t } B _ { t } } \\ \forall t \in [ T ] & f _ { \infty } ( \pi, A _ { t } ) & \geq \sigma _ { B _ { t } }$$

This will provide intuition for the example we show for general p .

Suppose that we have max s ∈ A t π s = 1 1 for all . t ∈ [ T ] and σ B t = 1 for all t . Then we have

$$\max _ { s \in \cup _ { t } A _ { t } } \pi _ { s } = \max _ { t \in [ T ] } \max _ { s \in A _ { t } } \pi _ { s } = 1. 1$$

On the other hand, we have σ ∪ t B t = ∑ T t =1 σ B t = T . Therefore we have

$$f _ { \infty } ( \pi, A _ { t } ) - \sigma _ { B _ { t } } = \max _ { s \in A _ { t } } \pi _ { s } - \sigma _ { B _ { t } } = 1. 1 - 1 = 0. 1$$

and

$$f _ { \infty } ( \pi, \cup _ { t } A _ { t } ) - \sigma _ { \cup _ { t } B _ { t } } = 1. 1 - T \leq 0$$

for T &gt; 1. We claim that a sufficient condition for the union of valid p -attacks to not be a valid p -attack is

$$\sum _ { t \in [ T ] } & \left | A _ { t } \right | ^ { 1 / p } < \frac { \left ( \min _ { v } \sigma _ { v } \right ) \sum _ { t \in [ T ] } | B _ { t } | } { \max _ { s \in \cup _ { t } A _ { t } } \pi _ { s } } \\ \tau \left ( \left ( \right ) \right ) \right ) \right ) \right ) \right ) = \int \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimit \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nulimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nocols \right )$$

To see this, note that f p ( π, A ) ≤ (max s ∈ A π s ) | A | 1 /p and when this sufficient condition holds, this implies that

$$f _ { p } ( \pi, \cup _ { t } A _ { t } ) & \leq \left ( \max _ { s \in \cup _ { t } A _ { t } } \pi _ { s } \right ) \sum _ { t \in [ T ] } | A _ { t } | ^ { 1 / p } \leq \left ( \min _ { v } \sigma _ { v } \right ) \sum _ { t \in [ T ] } | B _ { t } | \leq \sigma _ { \cup _ { t } B _ { t } } \\ + \quad, \quad, \quad, \quad, \quad, \quad, \quad, \quad, \quad, \quad, \quad, \quad,.$$

From this, one can see that is is relatively easy to modify our example for f ∞ to construct examples of p -attacks that are invalid.

Figure 4: Example of a graph with overlap where the overlap controls the cascading likelihood

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00928v1-figure-d1c5df9a-27ce-410d-9314-6c49b6704b86.jpg)

## B Overlap is easier to control than γ -security

We construct an example to show that the overlap θ s,t is a finer means to control cascading than γ -security via an example. Consider the restaking graph in Figure 4 where θ 1 2 , = θ 2 1 , = σ ∩ , as the services only overlap in validator v ∩ . Suppose that the potential attacks ( { s i } { , v i } ) are profitable but infeasible, i.e.

$$\pi _ { i } > \sigma _ { i } & & \sigma _ { i } < \alpha _ { s } ( \sigma _ { i } + \sigma _ { \cap } )$$

Similarly, the potential attacks ( { s i } { , v ∩ } ) are profitable and infeasible, i.e.

$$\pi _ { i } > \sigma _ { \cap } & & \sigma _ { \cap } < \alpha _ { s } ( \sigma _ { i } + \sigma _ { \cap } )$$

On the other hand, suppose that the potential attacks ( { s i } { , v , v i ∩ } ) are unprofitable but are (tautologously) feasible, i.e.

$$\pi _ { i } < \sigma _ { i } + \sigma _ { \cap } & & \sigma _ { i } + \sigma _ { \cap } > \alpha _ { s } ( \sigma _ { i } + \sigma _ { \cap } )$$

Finally, suppose that the potential attack ( { s , s 1 2 } { , v , v 1 2 , v ∩ } ) has zero profit and is (tautologously) feasible, i.e.

$$\pi _ { 1 } + \pi _ { 2 } = \sigma _ { 1 } + \sigma _ { 2 } + \sigma _ { \cap } & & \sigma _ { i } + \sigma _ { \cap } > \alpha _ { s } ( \sigma _ { i } + \sigma _ { \cap } )$$

Now suppose let σ 1 = σ 2 = σ and that σ ∩ = Kσ for K ≥ 1. When ψ &lt; σ ∩ σ V , we have

$$R _ { \psi } ( G ) < \psi + \frac { \sigma _ { i } } { \sigma _ { V } } < \frac { 1 } { 2 + K }$$

since σ V = σ 1 + σ 2 + σ ∩ = ( K +2) . This is because no attack is feasible without removing σ σ ∩ and losing σ i for i ∈ { 1 2 , } is not sufficient to cause a cascade. On the other hand, note that

$$\frac { \pi _ { i } - \sigma } { ( K + 2 ) \sigma } < \frac { \sigma _ { \cap } } { \sigma _ { V } } = \frac { K } { K + 2 } < \frac { \pi _ { i } } { ( K + 2 ) \sigma }$$

For large K and π i ≤ (1 -/epsilon1 )( K +2) , this implies that σ R ψ ( G &lt; ) 1 2+ K for ψ &lt; 1 -/epsilon1 . Under these conditions, the graph has low cascading risk and it is completely controlled by σ ∩ . This implies that local changes to σ ∩ alone (without needing to adjust σ i ) are sufficient to ensure low cascade risk. As we demonstrate in the rebalancing section of § 2, in the presence of rebalancing, one can bound how low σ ∩ can go and thus, one can bound the worst case cascade.

On the other hand, we will now compute how large σ ∩ would have to be if we enforced γ -security. Let /epsilon1 i = π i -σ be the profit achieved if v i could attack s i . From the second condition, we have σ ∩ &gt; π i -σ i = /epsilon1 i . Suppose we consider a γ -secure version of this graph where we have stakes σ , σ , σ 1 2 γ ∩ . The γ -secure condition implies that (1 + γ )( π 1 + π 2 ) &lt; σ 1 + σ 2 + σ γ ∩ which can be rearranged to

$$\sigma _ { \cap } ^ { \gamma } > ( \pi _ { 1 } - \sigma _ { 1 } ) + ( \pi _ { 2 } - \sigma _ { 2 } ) + \gamma ( \pi _ { 1 } + \pi _ { 2 } ) = \epsilon _ { 1 } + \epsilon _ { 2 } + \gamma ( \pi _ { 1 } + \pi _ { 2 } ) > 2 \sigma _ { \cap } + \gamma ( \pi _ { 1 } + \pi _ { 2 } )$$

This implies that σ γ ∩ -σ ∩ = Ω( π 1 + π 2 ), suggesting that γ -security is far too strong as all services in this graph have to attract Ω( π 1 + π 2 ) stake. Concretely, suppose that π 1 = $1 000 , and π 2 = $1 000 000 000. , , , The γ -security condition implies that service 1, which can only be exploited for at most $ 1,000 has to attract stake proportional to $ 1,000,001,000 in order to be γ -secure. Yet, if one can control only the stake held by v ∩ , one can avoid most cascades ( i.e. for ψ &lt; σ ∩ σ V ) without requiring such a high amount of stake.

## C Proof of Claim 2

Proof. Let V s = B ∩ ∂s and note that B = ⋃ s ∈ V V s . By inclusion-exclusion, we have

$$\sigma _ { B } = \sum _ { s \in S } \sigma _ { V _ { s } } - \sum _ { 1 \leq s < s ^ { \prime } \leq S } \sigma _ { V _ { s } \cap V _ { s ^ { \prime } } } + \dots = \sum _ { \emptyset \neq J \subset S } ( - 1 ) ^ { | J | } \sigma _ { \cap _ { s \in J } V _ { s } }$$

k -1

We now claim that there exists ξ ∈ (0 , 1) such that σ V s 1 ∩· · ·∩ σ V s k ≤ ξ σ V s j for any j ∈ [ k ]. By assumption, every intersection ∂s ∩ ∂t has at least δKS 1 /p more node operators than any attacking coalition B ⊂ V , since | B | ≤ KS 1 /p . This means that for any pair s, t ∈ S , we have | ∂s ∩ ∂t -B | ≥ δKS 1 /p . Therefore, we have

$$\sigma _ { V _ { s } \cap V _ { t } } = \sigma _ { ( B \cap \partial s ) \cap ( B \cap \partial t ) } \leq \left ( 1 - \frac { \left ( \min _ { v } \sigma _ { v } \right ) | \partial s \cap \partial t - B | } { \sigma _ { \partial s } \cap \partial t } \right ) \sigma _ { V _ { s } } \leq \left ( 1 - \frac { \delta \left ( \min _ { v } \sigma _ { v } \right ) K S ^ { 1 / P } } { \overline { \theta } _ { s } } \right ) \sigma _ { V _ { s } }$$

Since θ s ≤ (max v σ v ) KS 1 /p , we have σ V s ∩ V t ≤ ( 1 -δ (min v σ v ) (max v σ v ) ) σ V s = ξσ V s , where we defined ξ = 1 -δ (min v σ v ) (max v σ v ) . One can recurse this argument to get σ V s 1 ∩ V s 2 ···∩ V s k ≤ ξ k -1 σ V s i . Therefore,

we have

$$\text{we have} \\ \sigma _ { B } & = \sum _ { s \in S } \sigma _ { V _ { s } } - \sum _ { 1 \leq s < s ^ { \prime } \leq S } \sigma _ { V _ { s } \cap V _ { s } ^ { \prime } } + \dots = \sum _ { \emptyset \neq J \subset S } ( - 1 ) ^ { | J | } \sigma _ { \cap _ { s \in J } V _ { s } } } \\ & \geq \sum _ { s \in S } \sigma _ { V _ { s } } - ( S - 1 ) \xi \sigma _ { V _ { s } } + \sum _ { s, s ^ { \prime }, s ^ { \prime \prime } } \sigma _ { V _ { s } \cap V _ { s } ^ { \prime } } - \binom { S - 1 } { 3 } \xi ^ { 3 } \sigma _ { V _ { s } } - \cdots \\ & \geq \sum _ { s \in S } \sigma _ { V _ { s } } \left ( 1 - \sum _ { i = 0 } ^ { \lfloor \frac { S - 1 } { 2 } \rfloor } \binom { S - 1 } { 2 i + 1 } \xi ^ { 2 i + 1 } \right ) \geq \left ( 1 - \sum _ { i = 0 } ^ { \lfloor \frac { S - 1 } { 2 } \rfloor } \left ( \frac { e ( S - 1 ) } { 2 i + 1 } \right ) ^ { 2 i + 1 } \xi ^ { 2 i + 1 } \right ) \sum _ { s \in S } \sigma _ { V _ { s } } \\ \text{where the last step uses the binomial bound } \binom { n } { k } \leq \left ( \frac { \epsilon _ { k } } { 2 k } \right ) ^ { k }. \text{ Note that } \xi = 1 - \frac { \delta ( \min _ { s } \sigma _ { v } ) } { - 1 \leq S = 1 } / \tilde { \ } e c. \, \cdots \, \sum _ { s + 1 } ^ { 2 i + 1 } \, \sigma \dots } \, \right.$$

where the last step uses the binomial bound ( ) n k ≤ ( en k ) k . Note that ξ = 1 -δ (min v σ v ) (max v σ v ) ≤ ( S -1) 2 /p e S ( -1) 2 , by assumption. This implies that ∑ /floorleft S -1 2 /floorright i =0 ( e S ( -1) 2 +1 i ) 2 +1 i ξ 2 +1 i ≤ C S -1 for a constant C &lt; 1. This implies for a costly attack with profit function f p that we have

$$\left ( 1 - \frac { C } { S - 1 } \right ) \left ( \min _ { v } \sigma _ { v } \right ) | A | \leq \sigma _ { B } \leq f _ { p } ( \pi, A ) \leq \left ( \max _ { s } \pi _ { s } \right ) | A | ^ { 1 / p } \\ \left. \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \, \right. \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \\ \right. \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \colon \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \colon \end{array} \right )$$

which implies the claim | A | 1 -1 /p ≤ max s π s min v σ v 2 ( 1 -C S -1 ) = max s π s min v σ v 2( S -1) S - -1 C ≤ max s π s min v σ v 2( S -1) S -2

## D Approximation Algorithm

Algorithm 1 proceeds to output a set of rewards r s using the following steps:

- 1. Let C G ( ) = { ( A , B 1 1 ) , . . . , ( A , B T T ) : ( A , B i i ) ∈ ( S -∪ i -1 j =1 A , V i -∪ i -1 j =1 B i ) } be the set of possible attack sequences on a restaking graph G and let C T ( G ) = { s ∈ C G ( ) : | s | ≤ T } be the set of sequences of length at most T .
- 2. For a sequence ( A , B 1 1 ) , . . . , ( A ,B T T ) ∈ C T ( G ), define the net profit function

$$\text{Profit} _ { p } ( ( A _ { 1 }, B _ { 1 } ), \dots, ( A _ { T }, B _ { T } ) ) = \sum _ { t = 1 } ^ { T } f _ { p } ( \pi, A _ { i } ) - \sigma _ { B _ { i } } \\. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad. \quad.$$

- 3. Given an upper bound T ∈ N on the attack length, utilize a greedy algorithm to find ( ˆ A , B 1 ˆ 1 ) , . . . , ( ˆ A , B k ˆ k ) ∈ C T ( G ), k ∈ [ T ], such that

$$\text{Profit} ( ( \hat { A } _ { 1 }, \hat { B } _ { 1 } ), \dots, ( \hat { A } _ { k }, \hat { B } _ { k } ) ) \geq \alpha ( p ) \max _ { s \in C _ { T } ( G ) } \text{Profit} ( s )$$

where the approximation factor α p ( ) only depends on the choice of p and bounds on min s π , s max s π s

- 4. Given this sequence, compute a rebalance D and rewards ˆ r s that ensure that ( ˆ A , B 2 ˆ 2 ) is infeasible after rebalancing

```
input   : Incentivized restaking graph: G = (S, V, E, \alpha, \sigma, \pi, r, c)
            Upper bound on maximal attack sequence length: T \in N
            Curvature of submodularity: p \in (1, \infty)
output: Approximately Optimal Reward Vector: \r \in R ^ { + }
(A _ { 1 }, \beta _ { 1 } ),.., (A _ { k }, \beta _ { k } ) \leftarrow Greedy(Profit_p, T) (See Algorithm 2);
r \leftarrow \beta;
for s \in S do
  |   \Delta \leftarrow \beta ;
  |   maxSoFar \leftarrow - \infty ;
  |   r _ { s } \leftarrow \frac { \sigma _ { s } - \beta _ { 1 } } { \max _ { v } \sigma _ { v } } + c _ { s } ;
  |   while maxSoFar < 0 do
    |   for v \in V do
    |    |   // Solve for f with an interior point method
    |    |   maxSoFar \leftarrow max(f (r _ { s }, \sigma _ { v } ), maxSoFar);
    |   end
    |   if maxSoFar \geq 0 then
    |    |   break;
    |   end
    |   r _ { s } \leftarrow 2 r _ { s } ;
  |   end
end
for r _ { s } \in r do
  |   // Increase reward by profit approximation error
  |   r _ { s } \leftarrow \beta ;
end
return r ;
                Algorithm 1: Compute Approximately Optimal Rewards
```

Algorithm 1: Compute Approximately Optimal Rewards

$$5. \text{ Return rewards } r _ { s v } = \frac { \hat { r } _ { s v } } { 1 - e ^ { - \alpha ( p ) } }$$

We claim such rewards will incentive a graph G with R ψ ( G ) ≤ ψ + C S 1 -1 /p while only being Gα p ( )-times worse than the minimum rewards needed to achieve such a graph in the worse case, where G is the integrality gap.

Sequential Submodularity. We first claim that the profit function (22) is a sequentially submodular function [AMM21; BS18]. To define a sequentially submodular function, we consider sets of sequences S ∞ = ⋃ k ∈ N { ( s , . . . , s 1 k ) : s ∈ S} of a set S . We define a partial order &lt; for A, B ∈ S ∞ where A &lt; B iff A is a subsequence of B . Moreover, given two sequences A = ( s , . . . , s 1 k ) , B = ( t 1 , . . . , t j ) ∈ S ∞ , we define the concatenation A ⊥ B = ( s , . . . , s 1 k , t 1 , . . . , t j ) ∈ S ∞ . A function f : S ∞ → R is sequentially submodular if for all A &lt; B and C ∈ S ∞ we have

$$f ( B \perp C ) - f ( B ) \leq f ( A \perp C ) - f ( A )$$

Note that this is a diminishing marginal utility condition, much like the standard set submodularity definition, f ( S ∪ T ) + f ( S ∩ T ) ≤ f ( S ) + f ( T ). In our scenario, we have S ∞ = C G ( ) and note that Profit is a sequentially submodular function since each term f p ( π, A ) -σ B is set submodular (as it is the sum of two submodular functions).-

$$\text{ set submodular (as it is the sum of two submodular functions).} \\ \text{ in put } \colon \text{ Sequentially submodular function } f \colon S ^ { \infty } \to R, \\ \text{ \quad \ \ } \text{ Time horizon } T \in N \\ \text{ output: } ( A _ { 1 }, B _ { 1 } ), \dots, ( A _ { k }, B _ { k } ) \, \text{ with } k < T \\ ( \hat { A } _ { 1 }, \hat { B } _ { 1 } ), \dots, ( \hat { A } _ { k }, \hat { B } _ { k } ) \, \leftarrow \, \text{ Greedy} ( \text{Profit} _ { p }, T ) ; \\ n \leftarrow \, \text{ length of } S ; \\ \text{ Initialize } t \leftarrow 0 ; i \leftarrow 1 ; H \leftarrow 0 ; \, \text{ while } t < T \, \text{ do} \\ \left | \, \text{ Find } s _ { i } \in \mathcal { S } \, \text{ such that } u ( H \perp s _ { i } ) - u ( H ) \geq \alpha \max _ { s \in S } u ( H \perp s ) - u ( H ) \\ \left | \, \text{ } H \leftarrow H \perp s _ { i } \\ \text{ end} \\ \text{ return } H ; \\ \mathcal { A } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-from} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-from} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-from} \, \mathcal { D } \text{-with-from} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { D } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-tuple} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \ext{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C} \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to } \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { D} \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-tolipse} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { c } \text{-with-to} \, \mathcal { C } \text{-with-to} \, \mathcal { C } \text{-with$$

return H ;

Algorithm 2: Greedy Sequential Submodular Optimization (Algorithm 3 of [AMM21])

Approximation Error. We next recall a theorem from [AMM21] that demonstrates that a greedy algorithm has low approximation error for sequentially submodular functions:

Theorem 2. [AMM21, Thm. 3] Suppose f : S ∞ → R is a sequentially submodular function. Suppose that for a history S = ( s , . . . , s 1 T ) ∈ S ∞ that f satisfies the following for all t ∈ [ T -1]

$$f ( ( s _ { 1 }, \dots, s _ { t } ) \perp s _ { t + 1 } ) - f ( s _ { 1 }, \dots, s _ { t } ) \geq \alpha \max _ { s \in \mathcal { S } } f ( ( s _ { 1 }, \dots, s _ { t } ) \perp s ) - f ( ( s _ { 1 }, \dots, s _ { t } ) )$$

for α &gt; 0 . Then we have

$$\frac { f ( ( s _ { 1 }, \dots, s _ { T } ) ) } { \max _ { s \in \mathcal { S } ^ { \infty } } f ( s ) } \geq 1 - \frac { 1 } { e ^ { \alpha } } \, _ { \cdot \cdot \cdot \cdot } \, _ { \cdot \cdot } \, _ { \cdot }.$$

where ( s , . . . , s 1 T ) is the history generated by the greedy algorithm 2

This theorem implies that if we can find a lower bound on the marginal increase, then we can bound the worst case approximation error. We now claim that if min s π s max s π s ≥ K and as | A t | ≥ 1, then (23) holds with

$$\alpha ( p ) \geq K S ^ { - \frac { 1 } { p } }$$

To see this, note that

$$f _ { p } ( \pi, A _ { i } ) ^ { p } & = \sum _ { s \in A _ { i } } \pi _ { s } ^ { p } \geq ( \min _ { s } \pi _ { s } ) ^ { p } | A _ { i } | \geq K ^ { p } ( \max _ { s } \pi _ { s } ) ^ { p } \geq \frac { K ^ { p } ( \max _ { s } \pi _ { s } ) ^ { p } } { S } S \geq \frac { K ^ { p } } { S } \sum _ { s \in A } \pi _ { s } ^ { p } \\ \hat { \epsilon } \quad. \quad. \quad. \quad. \quad. \quad.$$

for any other set A . This implies that

$$f _ { p } ( \pi, A _ { i } ) \geq \frac { K } { S ^ { 1 / p } } \max _ { A } f _ { p } ( \pi, A )$$

which implies that α p ( ) ≥ K S 1 /p

Generally, we will have KS -1 /p ≤ σ max V . This implies that α p ( ) increases as p increases. Using Theorem 2, this implies that the greedy algorithm of [AMM21] achieves an approximation error of

$$E ( p ) = 1 - e ^ { - \alpha ( p ) } = 1 - e ^ { - K S ^ { - 1 / p } } \geq \frac { K } { 2 S ^ { 1 / p } }$$

where the last inequality holds when K/S 1 /p ≤ 1 2 This error is highest when p = 1 and lowest when p = ∞ . As such, a service can view choosing p ∈ [1 , ∞ ) as choosing a security level ( e.g. secure up to node operator cartels of size O S ( 1 /p )) and then utilize our algorithm to choose the rewards to ensure security. These rewards are guaranteed to be within O ( 1 E p ( ) ) of the minimum possible rewards needed to achieve security but can be easily computed.

Since Algorithm 1 optimizes ˆ ( f r , k s ) instead of f ( r s ), it computes an overestimate of the optimal rewards if f ( r s ) is feasible. This overestimate is bounded by the integrality gap G = max r s &gt; 0 max v ∈ V f ( r , σ s v ) -f ( r s ), which gives the additive term in the approximation error.
Tarun Chitra Mallesh Pai
How much should you pay for restaking security?
Restaking protocols have aggregated billions of dollars of security by
utilizing token incentives and payments. A natural question to ask is: How much
security do restaked services \emph{really} need to purchase? To answer this
question, we expand a model of Durvasula and Roughgarden [DR24] that includes
incentives and an expanded threat model consisting of strategic attackers and
users. Our model shows that an adversary with a strictly submodular profit
combined with strategic node operators who respond to incentives can avoid the
large-scale cascading failures of~[DR24]. We utilize our model to construct an
approximation algorithm for choosing token-based incentives that achieve a
given security level against adversaries who are bounded in the number of
services they can simultaneously attack. Our results suggest that incentivized
restaking protocols can be secure with proper incentive management.