In the words of the @0xPolygon Founder, @sandeepnailwal, he defined the Pessimistic proof as a ZK security solution that makes sure no chain can withdraw more from the shared bridge than they deposited.
Describing further, Pessimistic proof is simply a zk-security for cross-chains interoperability, also a cryptographic solution integrated into the Agglayer to treat all chains as unreliable and will strictly investigate them. In other words:
The Pessimistic proof is a protective and defensive coverage over transactions in the Agglayer across diverse cross-chains, with smooth communication and interaction between those chains.
このプロトコルがメインネットで稼働することで、Agglayerが多数のスタック上で動作するための基盤が整い、それによってクロスチェーン取引の安全性が確保されます。
Agglayer V0.2の証明により、異なるチェーンが集約され統合されます。このアップグレードでは、システムに2つの具体的な機能が導入されます：
1. 柔軟性：異なるセキュリティモデルを持つチェーンの接続
2. 安全性：クロスチェーン相互運用性のための安全性を提供します。
Pessimistic proofsはどのように機能するのか。
- 流動性・ユーザー・状態を統合することで、ブロックチェーンをスケールさせる分散型プロトコルとして#Agglayerを実現するために、統一されたブリッジを使用します。
- 信頼なしでチェーンが共有ブリッジに接続できるようにする暗号学的な保証を提供します。
- 仲介者なしで、ユーザーがチェーンAからチェーンBへ資産を移動できるようにし、Agglayerの透明性を示します。
- Pessimistic proofは、いかなるチェーンも他のチェーンへの入金を操作していないことを常に保証します。
- Agglayerは、3つの重要な情報を使ってPessimistic proofs（楽観的ではない証明）を形成します：
1. チェーンは正しく更新されます
2. チェーンは内部の会計を正しく実行します。つまり、持っていないトークンを引き出そうとしません。
3. すべてのチェーンが正しい内部会計を実施しました。
Agglayerへのメリット
- Agglayerは、異なるチェーン間で取引がどのように行われるかを計算できます。これは、システム内でのボイコットを防ぐためです。
- Agglayerにおける取引のために、安全・賢明・確実（セキュア）にします。
- チェーン間の高速かつシームレスなコミュニケーション
- 適切な相互運用性
- スケーラビリティと流動性
- あるチェーンから別のチェーンへメッセージが失われない。
- Agglayerは、Polygon CDK上のチェーンだけでなく他のチェーンからもアクセス可能になります。
このアップグレードは、Agglayerが次のアップグレード段階へ進むための重要な前提条件です。
ブログ記事でAgglayerのアップグレードについて詳しく：
https://polygon.technology/blog/major-development-upgrade-for-a-multistack-future-pessimistic-proofs-live-on-agglayer-mainnet