Сравнительный анализ четырех основных ZK-решений Polygon: в чем их особенности и преимущества?

Кто может сломать план "четверки" Полигона?

Написано: s, аналитиком венчурного капитала

Составлено: Феликс

Когда Ethereum столкнулся с перегрузкой сети, заоблачные сборы сделали сеть Ethereum слишком дорогой, и некоторые пользователи не могли себе этого позволить, в результате чего многие пользователи покинули экосистему Ethereum. Учитывая дорожную карту Ethereum, ориентированную на свертывание, и позицию Виталика о том, что свертывания ZK в будущем превзойдут свертывания Optimistic. Будучи сайдчейном Polygon Ethereum, целью которого является решение проблемы масштабируемости, он видит потенциал ZK в привлечении следующего поколения миллиардов пользователей в область блокчейна и инвестирует 1 миллиард долларов в создание решений ZK. Что касается схемы Polygon на ZK, аналитики венчурного капитала интерпретировали четыре основных решения Polygon ZK.

Полигон Гермез | zkEVM

Hermez — это первый децентрализованный ZK Rollup в основной сети Ethereum, предлагающий платежные услуги уже в марте 2021 года. Polygon Hermez основан на архитектуре ZK-SNARK и направлен на решение проблемы масштабируемости блокчейна Ethereum за счет использования доказательств с нулевым разглашением для обеспечения более быстрых и дешевых транзакций в сети Ethereum. Поскольку EVM не создавался для создания ZK Proofs (ZKP), Polygon Hermez построил zkEVM, в первую очередь, воссоздав весь рабочий код EVM.

Почему zkEVM?

Создавая zkEVM, код операции EVM, эмулируемый Polygon Hermez, может дать следующие преимущества:

  1. Наследуйте надежную защиту Ethereum

  2. Простота внедрения, поскольку сообщество разработчиков Ethereum может легко перенести свою работу с EVM на zkEVM и использовать существующие инструменты (хороший опыт разработки).

Производительность

Архитектура, основанная на ZK-SNARK, может обеспечить до 2000 TPS и удерживать стоимость ниже 300 000 газа.

Нулевой полигон | СНАРК + СТАРК

Polygon Zero ранее назывался Mir Protocol. Когда Polygon Zero изначально разработал Plonky2, на создание рекурсивного доказательства ушло 2 минуты. Теперь Plonky2 генерирует рекурсивное доказательство на ноутбуке всего за 170 мс.

Polygon Zero в конечном итоге создает самую масштабируемую zkEVM на базе Plonky2. Plonky2 — это рекурсивный SNARK, который в 100 раз быстрее, чем любая другая схема масштабирования ZK в Ethereum. Это достигается за счет объединения преимуществ STARK (быстрое доказательство и отсутствие доверенной установки) с преимуществами SNARK (рекурсия, низкая стоимость проверки).

Совместимость с ЭВМ

Plonky2 совместим с собственным Ethereum, поддерживает код Solidity и преобразует его в байт-код ZK. Таким образом, Polygon Zero может использовать существующую экосистему Ethereum dApp.

Полигон Миден | СТАРК

Роллап на основе 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, Nightfall фокусируется на частных переводах и платежах, поддерживая токены ERC20, ERC721 и ERC1155.

Любые данные, которые не нужно хранить в смарт-контракте, хранятся вне цепочки, оптимизируя смарт-контракт. Команда работает над механизмом мгновенного вывода средств, который позволит пользователям обойти 1-недельный крайний срок для предоставления доказательств мошенничества. Этот протокол значительно медленнее, до 105TPS. Однако предполагается, что стоимость газа при переносе может быть снижена до 86%, стабилизировавшись на уровне около 9000 газа.

Сравнивать

На рисунке ниже представлено авторское резюме четырех схем:

в заключение

Очевидно, что Polygon вкладывает значительные средства и время в разработку решений для масштабирования ZK. Давайте подождем и посмотрим на производительность основной сети и на то, как она будет работать с другими протоколами ZK.

Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
  • Награда
  • комментарий
  • Поделиться
комментарий
0/400
Нет комментариев
  • Закрепить