🚀 Масштабирование блокчейнов с помощью доказательств с нулевым разглашением 0:07
Блокчейны сегодня часто сравнивают с компьютерами нового типа, но они сталкиваются с критическим ограничением — низкой производительностью. В рамках недавнего выпуска подкаста a16z (Andreessen Horowitz), посвященного инвестициям в проект Matter Labs, эксперты обсудили, как технология доказательств с нулевым разглашением (Zero-Knowledge Proofs, ZKP) может решить проблему масштабируемости, не жертвуя безопасностью.
Участники дискуссии:
- Али Яхья — генеральный партнер в крипто-команде a16z, ведущий подкаста.
- Алекс Глуковский — основатель и генеральный директор Matter Labs.
- Алекс Власов — руководитель отдела исследований и разработок в Matter Labs.
- Дэн Боне — исследовательский партнер в a16z, профессор информатики в Стэнфордском университете.
💻 Блокчейн как новый вычислительный парадигм 1:26
По мнению Али Яхьи, главная ошибка восприятия блокчейна сегодня заключается в том, что его считают инструментом только для платежей или «цифровым золотом». На деле это новый способ вычислений, который позволяет создавать программы с сильными обязательствами — например, код, который гарантирует, что количество биткоинов никогда не превысит 21 миллион.
Алекс Глуковский сравнивает влияние блокчейн-технологий на обмен ценностями с тем, как интернет изменил обмен информацией: он делает этот процесс прямым, без посредников. Тем не менее, текущие ограничения Ethereum, обрабатывающего около 14 транзакций в секунду, не позволяют масштабировать систему на миллиарды пользователей.
🪄 Магия ZK-доказательств 11:02
Технология ZK-доказательств, и особенно концепция SNARK (succinct non-interactive arguments of knowledge), позволяет проверять результаты вычислений намного быстрее, чем требуется для их выполнения.
Как объясняет Дэн Боне, это критически важно для блокчейнов: вместо того чтобы каждый из 20 000 валидаторов перепроверял каждую транзакцию, один валидатор может выполнить работу и создать короткое доказательство, которое остальные проверят мгновенно.
- Soundness (Целостность): Свойство, позволяющее гарантировать, что подделать доказательство невозможно.
- Zero-Knowledge (Нулевое разглашение): Свойство, позволяющее доказать истинность факта без раскрытия самих данных, что важно для конфиденциальных платежей.
🛠 ZK Sync и архитектура масштабирования 19:38
Matter Labs развивает протокол zkSync, который является примером ZK-роллапа (rollup). Идея заключается в переносе вычислений «вне сети» (off-chain), сохраняя при этом безопасность уровня Ethereum.
Ключевые аспекты архитектуры:
- ZK-Rollup: Все транзакции обрабатываются вне сети, а в основной сети Ethereum публикуется лишь краткое доказательство (хеш) их корректности.
- ZK Porter: Дополнительный уровень для еще более дешевых транзакций, где данные хранятся «вне сети» с использованием механизма защиты Proof-of-Stake (система «опекунов» / guardians).
- Безопасность: В ZK-роллапах безопасность эквивалентна уровню Ethereum, так как доказательство подкреплено математикой SNARK.
🏗 Рождение ZK-EVM 36:39
Одной из самых амбициозных задач было создание ZK-EVM — виртуальной машины, совместимой с Ethereum, которая позволяет запускать существующие смарт-контракты Solidity внутри ZK-схем. Ранее это считалось практически невыполнимым в ближайшие десятилетия из-за огромных вычислительных затрат.
Алекс Власов раскрыл секрет успеха: они разделили вычислительную логику (TinyRAM) и специализированные схемы для тяжелых операций (хеширование, доступ к памяти, деревья Меркла), объединив их с помощью рекурсии. Это решение стало доступным благодаря удешевлению рекурсии на Ethereum в последние годы.
По словам Алекса Глуковского, совместимость с EVM критически важна, так как она позволяет экосистеме существующих приложений мигрировать без необходимости переписывать код на новые, пусть даже более эффективные языки.
