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

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

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

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

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

Связанный: Соучредитель Polygon Labs Сандип Найвал принимает на себя новую роль в ZK

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

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

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

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

В недавнем интервью Cointelegraph поговорил с соучредителем Polygon Бренданом Фармером о последствиях технологий AggLayer и ZK. После описания AggLayer как «децентрализованного протокола, управляемого стейкинговыми узлами» в посте Mirror, Фармер присоединился к нам, чтобы глубже погрузиться в основы «тезиса агрегированных блокчейн».

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

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