Разработчики Polygon сделали несколько смелых заявлений о том, что их блокчейн установил новые вехи по скорости и масштабируемости с помощью новой технологии Plonky2.
«Plonky2 — это рекурсивный протокол SNARK, который в 100 раз быстрее, чем существующие альтернативы и он нативно совместим с Ethereum, — написала команда Polygon в блоге. — Он сочетает в себе лучшие технологии STARK — PLONK и FRI, с быстрым доказательством, «no trusted» настройкой, с поддержкой рекурсии и низкой стоимостью верификации на Ethereum».
SNARK относится к «краткому неинтерактивному аргументу знания», типу криптографического доказательства, которое доказывает достоверность данных, не раскрывая их содержания. Он использует «масштабируемые прозрачные аргументы» — криптографическую технологию ZK или «нулевое разглашение».
«Предположим, что мы хотим доказать, что пакет из 1000 транзакций действителен. Создание единого доказательства для одновременной проверки 1000 транзакций было бы дорогостоящим и трудоемким. Вместо этого мы можем взять 1000 машин и параллельно сгенерировать 1000 доказательств, по одному для каждой транзакции. Затем мы можем взять эти доказательства и рекурсивно агрегировать их, создав слой рекурсивных доказательств, каждое из которых проверяет два доказательства транзакций. Мы повторяем этот процесс, пока у нас не останется единственное доказательство, подтверждающее 1000 транзакций. Такой рекурсивный подход быстрее, менее ресурсоемкий и может быть более децентрализованным», — говорится в описании.
Как говорят разработчики, в 2019 году, на быстром компьютере требовалось две минуты, чтобы сгенерировать одно рекурсивное доказательство. Сейчас рекурсивное доказательство Plonky2 на MacBook Pro занимает всего 170 миллисекунд, что в 100 раз быстрее существующих альтернатив.
Изначально технологию Plonky придумали разработчики протокола Mir Protocol, которую Polygon выкупил в декабре прошлого года за 400 миллионов долларов. Соучредитель Polygon Михайло Бьелич сказал, что ранняя демонстрация Plonky2 и была причиной, из-за которой приобретен проект Mir Protocol. Сейчас эта команда работает под названием Polygon Zero.
В настоящее время ZK используют такие проекты Loopring, Starkware и zkSync от Matter Labs, но Бьелич утверждает, что одним из главных достижений их варианта является то, что он может проверять сложные транзакции, такие как взаимодействие смарт-контрактов Ethereum.
«ZK-доказательства существуют уже в течение некоторого времени, но пока не было способа доказать сложные транзакции Ethereum. Невозможно было создать уровень 2, поддерживающий транзакции, которые могут включать в себя быстрый кредит, арбитражную сделку, своп — и все это в одной транзакции. До сих пор это было невозможно», — сказал Бьелич.
Сейчас команда завершает работу над виртуальной машиной, а также другой ключевой инфраструктурой. Дата запуска пока не известна.