Using an Eigen Layer AVS to verify zk proofs is not a safe choice. What happens if the restaked amount is less than the amount secured by a proof? Verification must be done on-chain. At most, you can use an AVS to aggregate proofs

oracles, coprocessors, bridges & wallets since 2017 + Building /boostyblast

Agreed that verifications should always happen on-chain. They're super cheap and that's kind of the point 😁  I do really like the idea of AVSs to make sure that the provers are on duty and doing their job though.