Slashing is live on @eigenlayer, achieving a feature-complete protocol 🎉
This is pretty awesome because Gasp can now work with real economic security that protects the swaps and liquidity.
In a conservative model, the slashable restake should be at least 1:1 with the TVL on the AVS.
Why? The potential hack bounty has to be smaller than the slashing risk, which in turn guarantees correct execution (non-hacked) of AVS operations.
In Gasp's case, all the computations are re-executed on AVS and finalized on ETH L1, which produces proof of correctness for all cross-L1 swaps.