El slashing ya está activo en @eigenlayer, ¡logrando el protocolo con todas las funciones completas 🎉!
Es genial porque Gasp ahora puede trabajar con seguridad económica real que protege los swaps y la liquidez.
En un modelo conservador, el restake sujeto a slashing debería ser al menos 1:1 con el TVL en el AVS.
¿Por qué? La posible recompensa por hackeo tiene que ser menor que el riesgo de slashing, lo que a su vez garantiza la ejecución correcta (sin hackear) de las operaciones de AVS.
En el caso de Gasp, todos los cálculos se vuelven a ejecutar en AVS y se finalizan en ETH L1, lo que produce una prueba de corrección para todos los swaps cross-L1.