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

Why not just do it multiple times to add up the security?

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

/opacity
/eulerlagrange

But this means that the restaked amount > securedAmountByProof which is not guaranteed

Not unless it enabled you to slash multiple times.

So you can cover the loss