На прошлой неделе polygon (matic) представила «доказательство типа 1» — технологию, которая может облегчить evm-совместимым цепочкам принятие доказательств с нулевым разглашением.
Ожидается, что прувер типа 1 будет выпущен позднее в этом году. Он будет включен в CDK (стек программного обеспечения) Polygon, что станет улучшением по сравнению с предыдущим механизмом проверки типа 2, который не был совместим с другими цепочками EVM.
«Проверщик типа 1 может генерировать доказательства с нулевым разглашением для любой цепочки EVM без необходимости проведения хард-форков или корректировок существующих клиентов», — рассказал Брендан Фармер, соучредитель Polygon.
Polygon Labs хочет использовать прувер для перевода широкого спектра блокчейнов, включая сайдчейны и оптимистические свертывания, в валидии — специализированную форму сетей уровня 2, которые используют доказательства с нулевым разглашением для повышения эффективности и снижения транзакционных издержек.
Валидии хранят только zk-доказательства в сети ethereum, при этом фактические данные транзакций хранятся вне цепочки и поддерживаются решением обеспечения доступности данных. Эта структура контрастирует с ZK-Rollups, которые также должны публиковать доказательства данных приложений в сети Ethereum.
Фармер подчеркнул, что проекты также могут стать полноценными ZK-свертываниями, если они хотят использовать свой прувер типа 1. В конечном итоге это решение должны принять команды, пояснил он.
Переход на сеть на базе ZK
Переход на сеть на основе ZK (например, валидии или ZK-накопительные пакеты) потенциально может дать преимущества проектам уровня 2, включая устранение семидневной задержки вывода средств, связанной с оптимистичными решениями по объединению (например, optimism и arbitrum).
Эта задержка, по словам Фармера, стала предметом споров, поскольку она требует дополнительного времени и затрат для пользователей, полагающихся на сторонние мосты для транзакций.
«Это похоже на десятки миллионов долларов, выплаченных сторонним мостам, и если вы посмотрите, сколько будет стоить подтверждение всех транзакций в этих оптимистичных сводках, это будет примерно несколько сотен тысяч долларов», — добавил Фармер. «Пользователи вынуждены нести большие расходы на Optimistic Layer 2, которые просто не нужны, и обновление сети на основе ZK просто исправляет это».
После перехода ZK цепочки могут быть связаны через протокол взаимодействия Polygon — AggLayer, который обещает совместимость и унифицированную ликвидность для уровней 2. Первую версию AggLayer планируется выпустить в феврале, что позволит разработчикам подключать блокчейны.
Целью будет обеспечение единой безопасности в модульных и монолитных цепочках, в том числе в экосистеме Polygon. AggLayer станет важнейшим компонентом Polygon 2.0, следующей версии сети Polygon. В отличие от типичных решений по обеспечению совместимости, оно будет объединять доказательства ZK из всех подключенных цепочек.