Пессимистические доказательства: следующий шаг технологий ZK?

Polygon Labs совместно разработали новый тип доказательства с нулевым разглашением (ZK), известный как пессимистическое доказательство.

Разработанные с использованием SP1 — виртуальной машины ZK (zkVM), созданной Succinct Labs, — пессимистические доказательства гарантируют, что ни один блокчейн не сможет поставить под угрозу депозиты других в сети AggLayer.

Представитель Polygon подробно рассказал о том, как пессимистические доказательства SP1 предотвратят компрометацию системы злоумышленниками.

«Пессимистическое доказательство обеспечивает безопасность между блокчейнами, гарантируя, что каждый блокчейн создает свое новое состояние правдиво, заверяя его с помощью ZK-доказательства или механизма консенсуса. Это также гарантирует, что ни один блокчейн не сможет вывести больше токенов, чем внесено, как это предусмотрено учетом на уровне блокчейна. В будущем, когда AggLayer будет поддерживать сети, отличные от ZK, дизайн останется прежним».

Когда его спросили, как интеграция SP1 с Rust и Plonky3 помогает разработчикам, представитель Polygon сказал:

«Plonky3 — это набор инструментов, который разработчики ZK используют для создания новых систем проверки, новых zkVM и многого другого, а SP1 — это общий zkVM с открытым исходным кодом, который упрощает разработку ZK, созданный на основе Plonky3. SP1 позволяет проверять выполнение Standard Rust (или любого языка, скомпилированного с помощью LLVM), а это означает, что разработчикам не нужно писать программы с использованием пользовательских схем ZK. Это приводит к значительному сокращению времени разработки ZK».

Обсуждая предстоящие планы относительно SP1 и Plonky3, представитель Polygon сообщил:

«SP1 — это пример того, почему открытый исходный код имеет коллективную ценность. Именно это позволило Succinct Labs использовать Plonky3 для ускорения разработки SP1. Открытый исходный код Plonky3, созданный исследователями Polygon Labs, позволяет любому повторять, развивать или вносить свой вклад в эту технологию».

Соучредитель Polygon Брендан Фармер также недавно рассказал о преимуществах технологий AggLayer и ZK.

Описав как «децентрализованный протокол, управляемый стейк-узлами» в сообщении Mirror, Фармер углубился в основы «тезиса агрегированных блокчейнов».

Что касается технологии ZK, Фармер сказал, что, по его мнению, «обеспечение финансовой конфиденциальности будет очень важным в течение следующих нескольких десятилетий».