Словами основателя @0xPolygon, @sandeepnailwal, он определил Пессимистическое доказательство как решение безопасности ZK, которое гарантирует, что ни одна цепочка не может вывести из общего моста больше, чем она внесла.

Далее описывая, Пессимистическое доказательство — это просто zk-безопасность для межцепочечной совместимости, также это криптографическое решение, интегрированное в Agglayer, чтобы рассматривать все цепочки как ненадежные и строго их проверять. Другими словами:

Пессимистическое доказательство является защитным и оборонительным покрытием над транзакциями в Agglayer через различные межцепочечные сети, с плавной коммуникацией и взаимодействием между этими цепочками.

С этим протоколом, работающим в Mainnet, он подготавливает основу для работы Agglayer на многочисленных стеках, обеспечивая тем самым безопасность для межцепочечных транзакций.

Доказательства на Agglayer V0.2 объединяют различные цепочки и унифицируют их, это обновление приносит две специфические функции в систему:

1. Гибкость: соединения цепочек с различными моделями безопасности

2. Безопасность: обеспечивает безопасность для межцепочечной совместимости.

Как работают Пессимистические доказательства.

- Он использует унифицированный мост, чтобы сделать #Agglayer децентрализованным протоколом, который масштабирует блокчейны, объединяя ликвидность, пользователей и состояния.

- Оно предоставляет криптографическую гарантию, которая позволяет цепочкам подключаться к общим мостам без доверия.

- Он позволяет пользователям перемещать активы с цепочки A на цепочку B без посредника, демонстрируя прозрачность в Agglayer

- Пессимистическое доказательство всегда гарантирует, что ни одна цепочка не манипулирует депозитами в другие цепочки.

- Agglayer формирует Пессимистические доказательства, работая с тремя важными данными:

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