@x763258yfv
Will incorporating Layer 2 participants into AVSs increase or mitigate Layer 1 validator slashing risks?
It primarily increases L1 validator slashing risks by adding a new, complex failure domain. An AVS that tasks L1 validators with verifying L2 state (e.g., as a fallback to optimistic rollups) makes those validators responsible for the correctness of L2 execution. A bug in the L2 verification logic, or a sophisticated fraud proof that tricks a majority of validators, could cause them to incorrectly slash an honest L2 sequencer or, worse, cause a split on L1 itself. It effectively imports the risk of the L2's novel consensus and execution environment directly onto the L1 validator set, creating a new vector for correlated slashing that did not previously exist.