==>

zkEVM

Полный исследовательский отчет о Polygon zkEVM

Тезисы:
- Еще раз об устройстве Polygon PoS Chain
- Обзор подходов к масштабированию
- Polygon Zero Polygon Zero— это решение zk-rollup, предназначенное для снижения вычислительных затрат на создание доказательств достоверности за счет использования рекурсивной системы доказательств Plonky2, механизма проверки, первоначально разработанного командой, стоящей за протоколом Mir). Говорят, что Plonky2 является самой дешевой и наиболее производительной системой для генерации/проверки доказательств на Ethereum. Polygon Zero должен быть совместим с виртуальной машиной Ethereum (EVM) и теоретически может обрабатывать до 3000 транзакций на блок.
- Polygon Hermez — децентрализованный проект zk-роллапов, построенный на сети Ethereum. Использует новый алгоритм консенсуса L2 под названием Proof of Efficiency (PoE), состоящий из секвенсоров и агрегаторов, которые работают вместе для обеспечения функциональности объединения. Polygon Hermez достигает значительной пропускной способности, группируя до 2000 транзакций и используя доказательства SNARK для проверки транзакций.
- Polygon Miden— это универсальный zk-накопитель на основе STARK с совместимостью с EVM, который использует виртуальную машину Miden (VM) для выполнения произвольной логики и запуска смарт-контрактов. Разработчики могут компилировать код Solidity или Vyper в сборку Miden, при этом накопительный пакет способен обрабатывать до 5000 транзакций на блок и достигать более 1000 транзакций в секунду при запуске.
- Polygon Nightfall, корпоративное накопительное решение, сочетает в себе оптимистичные агрегации с криптографией с нулевым разглашением, предлагая масштабируемые и частные транзакции блокчейна для крупных компаний. Архитектура объединения состоит из Nightfall Contracts, Block Proposers, Challengers и Liquidity Providers. Polygon Nightfall поддерживает безопасный и частный обмен различными стандартами токенов и стремится обеспечить скорость 100 TPS для корпоративных клиентов на Ethereum
- Polygon zkEVM,является обновлением Polygon Hermez, целью которого является введение эквивалентности EVM, существующей технологии zk-rollup, что позволяет портировать Децентрализованные приложения на базе Ethereum или запуск децентрализованных приложений EVM непосредственно в накопительном пакете. Polygon zkEVM также будет использовать передовую систему доказательств с нулевым разглашением от Polygon Zero plonky2 и доказательства STARK от Polygon Miden

Текущие проблемы и ограничения
- Проблема доступности данных относится к проблеме обеспечения того, чтобы все данные в новом предложенном блоке были доступны для одноранговых узлов в сети блокчейна. В случае, если некоторые данные недоступны, блок потенциально может содержать вредоносные транзакции, намеренно скрываемые производителем блока. Даже если транзакции не являются вредоносными, их сокрытие может поставить под угрозу безопасность системы.
- Децентрализация секвенсера. Многие накопительные пакеты используют один узел под названием Sequencer для генерации блоков на уровне L2. Это дает преимущества в скорости, поскольку блоки могут генерироваться за секунды, поскольку новые блоки не нужно передавать другим узлам для проверки. Однако это также создает определенные проблемы с централизацией. Особенно когда нет возможности для самовольного участия и команда фактически становится централизованным оператором сети.
- Реализация Polygon zkEVM первоначально будет опираться на централизованный прувер (ZKProver) с планами децентрализации на будущее.

Обзор архитектуры zkEVM

Обзор реализаций zkEVM

Сравнение с оптимистичными роллапами

Обзор экосистем Polygon и zkEVM

Анализ сообщества, сборов, сокровищницы, команды

Обзор и анализ рисков

<==