Nas palavras do fundador da @0xPolygon, @sandeepnailwal, ele definiu a prova pessimista como uma solução de segurança ZK que garante que nenhuma cadeia pode retirar mais da ponte compartilhada do que depositou.
Descrevendo mais, a prova pessimista é simplesmente uma segurança zk para interoperabilidade entre cadeias cruzadas, também uma solução criptográfica integrada ao Agglayer para tratar todas as cadeias como não confiáveis e investigá-las rigorosamente. Em outras palavras:
A prova pessimista é uma cobertura protetora e defensiva sobre transações no Agglayer através de diversas cadeias cruzadas, com comunicação e interação suaves entre essas cadeias.
Com este protocolo ao vivo no Mainnet, ele prepara a estrutura para o Agglayer operar em inúmeras pilhas, garantindo assim segurança para transações entre cadeias cruzadas.
As provas no Agglayer V0.2 juntam diferentes cadeias e as unificam, esta atualização traz duas características específicas para o sistema:
1. Flexibilidade: conexões de cadeias de diferentes modelos de segurança
2. Segurança: fornece segurança para interoperabilidade entre cadeias cruzadas.
Como as provas pessimistas funcionam.
- Usa uma ponte unificada para tornar o #Agglayer um protocolo descentralizado que escala blockchains unificando liquidez, usuários e estados.
- Fornece a garantia criptográfica que permite que as cadeias se conectem a pontes compartilhadas sem confiança.
- Permite que os usuários movam ativos da cadeia A para a cadeia B sem um intermediário, retratando transparência no Agglayer
- A prova pessimista sempre garante que nenhuma cadeia está manipulando depósitos para outras cadeias.
- O Agglayer forma as provas pessimistas trabalhando com três informações importantes:
1. As cadeias atualizam corretamente
2. As cadeias realizam corretamente sua contabilidade interna, ou seja, não tentam retirar tokens que não possuem.
3. Todas as cadeias realizaram contabilidade interna correta.
Benefícios para o Agglayer
- O Agglayer é capaz de calcular como as transações são feitas entre diferentes cadeias, isso é para prevenir qualquer boicote no sistema.
- Torna o Agglayer seguro, inteligente e protegido para transações.
- Comunicação rápida e sem costura entre as cadeias
- Interoperabilidade adequada
- Escalabilidade e liquidez
- Nenhuma perda de mensagem de uma cadeia para outra.
- O Agglayer se torna acessível a outras cadeias e não apenas aquelas no Polygon CDK.
Esta atualização é um pré-requisito importante para o Agglayer entrar em sua próxima fase de atualização.
Leia mais sobre a atualização do Agglayer através do post do blog:
https://polygon.technology/blog/maior-atualização-de-desenvolvimento-para-um-futuro-multistack-provas-pessimistas-ao-vivo-no-agglayer-mainnet