Что такое zkEVM и почему это так важно?

zkEVM-это виртуальная машина, которая выполняет смарт-контракты таким образом, чтобы они были совместимы с вычислениями с нулевым уровнем знаний. Это ключ к созданию накопительного пакета ZK, совместимого с EVM, при сохранении проверенного в боях кода и знаний, полученных после многих лет работы с Solidity. zk-EVM сохраняет семантику EVM, но также удобен для ZK и использует традиционные архитектуры процессоров.

Запуск zkEVM представляет собой важный поворотный момент для криптографии. До недавнего времени это все еще считалось лишь теоретической возможностью, на реализацию которой уйдут годы. Но за последний год темпы развития всей экосистемы на основе доказательства с нулевым разглашением (zero-knowledge proof) превзошли даже ожидания экспертов. И благодаря многочисленным прорывам в области исследований и разработок, которые сделали возможным zk-EVM, программисты Solidity теперь имеют первоклассный доступ к непревзойденным преимуществам масштабирования, безопасности и UX, связанным с zero-knowledge proof.

Что такое zkSync 2.0?

zkSync 2.0-это EVM-совместимый с ZK Rollup, создаваемый Matter Labs на базе zkEVM.

zkSync 1.0 работает для платежей уже почти 1,5 года и имеет ряд особенностей :

• снижение стоимости переводов примерно в 50 раз,
• защита транзакций, близких к 4 МЛН,
• используется 98% всех транзакций в последних 4 раундах гранта Gitcoin.

Что такое ZK-Rollup?

ZK-Rollups-это решение для масштабирования уровня 2, которое использует доказательства достоверности для масштабирования вычислений: каждая партия транзакций поставляется с криптографическим доказательством (ZK-SNARK), которое проверяется смарт-контрактом Ethereum. Таким образом, каждая отдельная транзакция полностью проверяется всеми полными узлами Ethereum до завершения блока.

Насколько безопасен ZK-Rollup?

Из всех решений для масштабирования ZK-Rollups являются наиболее безопасными. Они полагаются исключительно на математику, чтобы полностью унаследовать безопасность L1, которая имеет решающее значение для функционирования в условиях высокой конкуренции. Другие решения для масштабирования, вместо этого, полагаются на экономические гарантии или третьих лиц и, таким образом, предлагают гораздо более слабые свойства безопасности.

Проверка изменений состояния в ZK-Rollup выполняется путем вычисления доказательства с нулевым разглашением: если какое-либо из изменений состояния является недействительным, доказательство не может быть получено, и, в свою очередь, это означает, что проверяющая сущность не может включать недействительные изменения состояния. Нам не нужно доверять им или следить за ними на предмет мошенничества, поскольку они не могут совершить его.

Насколько масштабируемым является ZK-Rollup?

ZK-Rollups могут выдавать до 2000 т/с при пиковой нагрузке! Но это не предел!

ZK-Rollups также являются единственным решением для масштабирования L2, которое может быть расширено с помощью системы, которая может обеспечить на порядок больший масштаб: zkPorter может предложить до 20 000 т/с!

Что такое zkPorter?

zkPorter помещает доступность данных — необходимые данные о транзакциях, для восстановления состояния, — вне цепочки, а не в Ethereum. Вместо этого доступность данных обеспечивается с помощью подтверждения владения (PoS) участниками токенов zkSync. Это обеспечивает гораздо более высокую масштабируемость (десятки тысяч TPS) и, как следствие, сверхнизкие комиссии за транзакции, сопоставимые с сайдчейнами (в диапазоне нескольких центов). Безопасность zkPorter по-прежнему лучше, чем у любого другого решения первого уровня (L1) или сайдчейна.