En palabras del fundador de @0xPolygon, @sandeepnailwal, definió la prueba pesimista como una solución de seguridad ZK que asegura que ninguna cadena puede retirar más del puente compartido de lo que depositó.
Describiendo más, la prueba pesimista es simplemente una seguridad zk para la interoperabilidad entre cadenas cruzadas, también es una solución criptográfica integrada en el Agglayer para tratar todas las cadenas como no confiables y las investigará estrictamente. En otras palabras:
La prueba pesimista es una cobertura protectora y defensiva sobre las transacciones en el Agglayer a través de diversas cadenas cruzadas, con comunicación e interacción fluida entre esas cadenas.
Con este protocolo en vivo en la Mainnet, prepara el marco para que el Agglayer opere en numerosas pilas, asegurando así la seguridad para las transacciones entre cadenas cruzadas.
Las pruebas en el Agglayer V0.2 unen diferentes cadenas y las unifican, esta actualización trae dos características específicas al sistema:
1. Flexibilidad: conexiones de cadenas de diferentes modelos de seguridad
2. Seguridad: proporciona seguridad para la interoperabilidad entre cadenas cruzadas.
Cómo funcionan las pruebas pesimistas.
- Utiliza un puente unificado para hacer del #Agglayer un protocolo descentralizado que escala blockchain unificando liquidez, usuarios y estados.
- Proporciona la garantía criptográfica que permite a las cadenas conectarse a puentes compartidos sin confianza.
- Permite a los usuarios mover activos de la cadena A a la cadena B sin un intermediario, mostrando transparencia en el Agglayer
- La prueba pesimista siempre asegura que ninguna cadena manipula depósitos a otras cadenas.
- El Agglayer forma las pruebas pesimistas trabajando con tres informaciones importantes:
1. Las cadenas se actualizan correctamente
2. Las cadenas realizan su contabilidad interna correctamente es decir, no intentan retirar tokens que no tienen.
3. Todas las cadenas han realizado una contabilidad interna correcta.
Beneficios para el Agglayer
- El Agglayer es capaz de calcular cómo se realizan las transacciones entre diferentes cadenas, esto es para prevenir cualquier boicot en el sistema.
- Hace que el Agglayer sea seguro, inteligente y protegido para transacciones.
- Comunicación rápida y fluida entre cadenas
- Interoperabilidad adecuada
- Escalabilidad y liquidez
- No pérdida de mensajes de una cadena a la otra.
- El Agglayer se vuelve accesible a otras cadenas y no solo a las del Polygon CDK.
Esta actualización es un requisito previo importante para que el Agglayer entre en su próxima fase de actualización.
Lee más sobre la actualización del Agglayer a través de la publicación del blog:
https://polygon.technology/blog/major-development-upgrade-for-a-multistack-future-pessimistic-proofs-live-on-agglayer-mainnet