The Specified function can modify these stakes. If a community slashes an operator, it could result in a lower within the stake of other restaked operators even in a similar community. On the other hand, it relies on the distribution with the stakes within the module. The verifier can be https://symbictic.com/