Pessimistic proof recently went live on @Agglayer mainnet v0.2.
ICYMI, the pessimistic proof is a ZK security solution that makes sure no chain can withdraw more from the shared bridge than they deposited.
https://polygon.technology/blog/major-development-upgrade-for-a-multistack-future-pessimistic-proofs-live-on-agglayer-mainnet