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.

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

/opacity
/eulerlagrange

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

Agreed its disguised under name soft finality. But maybe its still better than other L1s with centralized validator set