A prova pessimista foi recentemente lançada na mainnet v0.2 da @Agglayer.
Se você perdeu, a prova pessimista é uma solução de segurança ZK que garante que nenhuma cadeia pode retirar mais da ponte compartilhada do que depositou.
https://polygon.technology/blog/major-development-upgrade-for-a-multistack-future-pessimistic-proofs-live-on-agglayer