An Actively Validated Service (in short AVS), proposed and popularized by EigenLayer, is a network of operators that offer decentralized services such as sequencing and asset bridging to its users. To ensure liveness and safety of an AVS, the network borrows economic security from Ethereum via EigenLayer’s restaking mechanism. Restaking makes it possible for already staked ETH to be reused to service AVSs. Misbehaving operators that violate liveness or safety guarantees get their stake slashed.