# Matter Labs: «Мы сделали ZK-EVM реальностью»

Источник: https://www.youtube.com/watch?v=EZ9wfc_aKCk
Канал: a16z (Andreessen Horowitz)
Опубликовано: 08.11.2021

---

## 🚀 Масштабирование блокчейнов с помощью доказательств с нулевым разглашением
[[JUMP:0:07]]

Блокчейны сегодня часто сравнивают с компьютерами нового типа, но они сталкиваются с критическим ограничением — низкой производительностью. В рамках недавнего выпуска подкаста a16z (Andreessen Horowitz), посвященного инвестициям в проект Matter Labs, эксперты обсудили, как технология доказательств с нулевым разглашением (Zero-Knowledge Proofs, ZKP) может решить проблему масштабируемости, не жертвуя безопасностью.

Участники дискуссии:

*   **Али Яхья** — генеральный партнер в крипто-команде a16z, ведущий подкаста.
*   **Алекс Глуковский** — основатель и генеральный директор Matter Labs.
*   **Алекс Власов** — руководитель отдела исследований и разработок в Matter Labs.
*   **Дэн Боне** — исследовательский партнер в a16z, профессор информатики в Стэнфордском университете.

### 💻 Блокчейн как новый вычислительный парадигм
[[JUMP:1:26]]

По мнению Али Яхьи, главная ошибка восприятия блокчейна сегодня заключается в том, что его считают инструментом только для платежей или «цифровым золотом». На деле это новый способ вычислений, который позволяет создавать программы с сильными обязательствами — например, код, который гарантирует, что количество биткоинов никогда не превысит 21 миллион.

Алекс Глуковский сравнивает влияние блокчейн-технологий на обмен ценностями с тем, как интернет изменил обмен информацией: он делает этот процесс прямым, без посредников. Тем не менее, текущие ограничения Ethereum, обрабатывающего около 14 транзакций в секунду, не позволяют масштабировать систему на миллиарды пользователей.

### 🪄 Магия ZK-доказательств
[[JUMP:11:02]]

Технология ZK-доказательств, и особенно концепция SNARK (succinct non-interactive arguments of knowledge), позволяет проверять результаты вычислений намного быстрее, чем требуется для их выполнения.

Как объясняет Дэн Боне, это критически важно для блокчейнов: вместо того чтобы каждый из 20 000 валидаторов перепроверял каждую транзакцию, один валидатор может выполнить работу и создать короткое доказательство, которое остальные проверят мгновенно.

*   **Soundness (Целостность):** Свойство, позволяющее гарантировать, что подделать доказательство невозможно.
*   **Zero-Knowledge (Нулевое разглашение):** Свойство, позволяющее доказать истинность факта без раскрытия самих данных, что важно для конфиденциальных платежей.

### 🛠 ZK Sync и архитектура масштабирования
[[JUMP:19:38]]

Matter Labs развивает протокол **zkSync**, который является примером ZK-роллапа (rollup). Идея заключается в переносе вычислений «вне сети» (off-chain), сохраняя при этом безопасность уровня Ethereum.

Ключевые аспекты архитектуры:

1.  **ZK-Rollup:** Все транзакции обрабатываются вне сети, а в основной сети Ethereum публикуется лишь краткое доказательство (хеш) их корректности.
2.  **ZK Porter:** Дополнительный уровень для еще более дешевых транзакций, где данные хранятся «вне сети» с использованием механизма защиты Proof-of-Stake (система «опекунов» / guardians).
3.  **Безопасность:** В ZK-роллапах безопасность эквивалентна уровню Ethereum, так как доказательство подкреплено математикой SNARK.

### 🏗 Рождение ZK-EVM
[[JUMP:36:39]]

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

Алекс Власов раскрыл секрет успеха: они разделили вычислительную логику (TinyRAM) и специализированные схемы для тяжелых операций (хеширование, доступ к памяти, деревья Меркла), объединив их с помощью рекурсии. Это решение стало доступным благодаря удешевлению рекурсии на Ethereum в последние годы.

По словам Алекса Глуковского, совместимость с EVM критически важна, так как она позволяет экосистеме существующих приложений мигрировать без необходимости переписывать код на новые, пусть даже более эффективные языки.