Автор: печенье, аналитик венчурного капитала
Составил: Феликс, PANews
Когда Ethereum столкнулся с перегрузкой сети, заоблачные комиссии сделали сеть Ethereum слишком дорогой, и некоторые пользователи не могли себе этого позволить, в результате чего многие пользователи покинули экосистему Ethereum. Учитывая дорожную карту Ethereum, ориентированную на объединение, и позицию Виталика о том, что накопительные пакеты ZK в будущем победят накопительные пакеты Optimistic. В качестве сайдчейна Ethereum, предназначенного для решения проблем масштабируемости, компания Polygon увидела потенциал ZK в привлечении следующего миллиарда пользователей в сферу блокчейна и инвестировала 1 миллиард долларов США в создание решений ZK. Что касается макета Polygon на ZK, аналитик венчурного капитала Cookies интерпретировал четыре основных решения Polygon ZK.
Полигон Гермез | zkEVM
Hermez — это первый децентрализованный пакет ZK в сети Ethereum, который начал предоставлять платежные услуги еще в марте 2021 года. Polygon Hermez основан на архитектуре ZK-SNARK и направлен на решение проблем масштабируемости блокчейна Ethereum за счет использования доказательств с нулевым разглашением для обеспечения более быстрых и дешевых транзакций в сети Ethereum. Поскольку EVM не был создан для создания доказательств ZK (ZKP), Polygon Hermez создал zkEVM в первую очередь путем воссоздания всего рабочего кода EVM.
Почему зкЭВМ?
Создавая zkEVM, коды операций EVM, эмулируемые Polygon Hermez, могут дать следующие преимущества:
1. Унаследуйте мощную безопасность Ethereum.
2. Простота внедрения, поскольку сообщество разработчиков Ethereum может легко перенести свою работу с EVM на zkEVM и использовать существующие инструменты (хороший опыт разработки).
производительность
Архитектура на базе ZK-SNARK способна обеспечить производительность до 2000 TPS при стоимости ниже 300 000 Gas.
Полигон Ноль | СНАРК + СТАРК
Полигон Ноль ранее был известен как Мир-Протокол. Когда Polygon Zero впервые разработал Plonky2, создание рекурсивного доказательства заняло 2 минуты. Теперь Plonky2 может генерировать рекурсивные доказательства на ноутбуке всего за 170 миллисекунд.
Polygon Zero в конечном итоге создает самую масштабируемую zkEVM на базе Plonky2. Plonky2 — это рекурсивный SNARK, который в 100 раз быстрее любой другой схемы масштабирования ZK на Ethereum. Это достигается за счет сочетания преимуществ STARK (быстрое доказательство и отсутствие доверенной настройки) с преимуществами SNARK (рекурсия, низкая стоимость проверки).
Совместимость с ЭВМ
Plonky2 совместим с собственным Ethereum, поддерживает код Solidity и преобразует его в байт-код ZK. Таким образом, Polygon Zero может использовать существующую экосистему децентрализованных приложений Ethereum.
Полигон Миден | STARK
Объединение на основе STARK имеет следующие функции:
Прозрачность и масштабируемость: не требуется надежная настройка/предварительная обработка. Бережливая криптография: будущие атаки квантовых компьютеров невозможны. Высокая производительность: лучшее время генерации и проверки доказательств.
Polygon Miden основан на Miden VM (виртуальной машине) и поддерживает произвольные программы. ZKP более удобен для разработчиков, поскольку скрывает всю криптографическую сложность и следует архитектурным шаблонам, знакомым разработчикам (стековая машина, память чтения и записи и т. д.).
Безопасность
Одна из главных особенностей Polygon Miden – безопасность. Протокол удаляет некоторые небезопасные функции (доступные в EVM), что упрощает статический анализ смарт-контрактов и предотвращает определенные ошибки на уровне виртуальной машины (ВМ).
Совместимость с ЭВМ
Miden совместим с Ethereum на уровне Solidity. Разработчики могут развертывать большинство смарт-контрактов Solidity на Miden без изменений. Еще одна новинка — совместимость с другими языками, такими как Move и Sway.
производительность
При запуске TPS будет между 1000 и 2000. После внедрения шардинга в Ethereum TPS достигнет примерно 20 000 TPS.
Полигон Сумерки | Оптимистичный + ZK
В отличие от упомянутых выше решений ZK, Nightfall фокусируется на частных переводах и платежах, поддерживая токены ERC20, ERC721 и ERC1155.
Любые данные, которые не нужно хранить в смарт-контракте, хранятся вне цепочки, что оптимизирует смарт-контракт. Команда работает над механизмом мгновенного вывода средств, который позволит пользователям обойти недельный срок для предоставления доказательств мошенничества. Этот протокол значительно медленнее, достигая скорости 105TPS. Однако, по оценкам, комиссия за переводы газа может снизиться до 86%, стабилизировавшись на уровне около 9000 газа.
Сравнивать
На рисунке ниже представлено авторское резюме четырех вариантов:
в заключение
Очевидно, что Polygon вкладывает много времени и денег, чтобы стать лидером в разработке решений по расширению ZK. Давайте подождем и посмотрим, как работает основная сеть и как она работает с другими протоколами ZK.
Чтение по теме: Узнайте о 5 планах расширения экосистемы Polygon в одной статье.