Революция масштабирования Ethereum начинается

Когда Виталик впервые предложил трилемму блокчейна, он мог не предполагать, что нам понадобится решить четвертое измерение: программируемость. Как человек, который видел множество решений для масштабирования, я могу с уверенностью сказать, что zkSync 2.0 представляет собой нечто принципиально иное.

Разбираем технологический стек

Главное достижение - это их реализация zkEVM, криптографическое чудо, которое выполняет смарт-контракты, генерируя доказательства с нулевым разглашением. Меня особенно восхищает то, как они сохранили совместимость с EVM, оптимизируя эффективность генерации доказательств.

Ключевые компоненты включают:

• Полный набор инструкций zkEVM
• Компилятор Solidity/Zinc в байт-код zkEVM
• Полную интеграцию узла для развертывания контрактов

Почему это важно для разработчиков

Большинство операций будут знакомы разработчикам Ethereum, но есть некоторые исключения:

1. Временное исключение операций ADDMOD/SMOD
2. KECCAK256 временно заменен на альтернативы
3. Отсутствие SELFDESTRUCT

Модель газа особенно инновационна - она динамически корректируется на основе цен на газ L1 и затрат на генерацию ZKP.

Секретный ингредиент: интеграция zkPorter

zkPorter предоставляет систему доступности данных вне цепи, которая увеличивает пропускную способность на два порядка величины. Это как иметь места первого класса и эконом-класса на одном рейсе - разные цены, но одно направление.

Что дальше?

Команда сосредоточена на:

1. Улучшении компилятора
2. Агрегации рекурсивных доказательств
3. Улучшениях языка Zinc
4. Потенциальном фронтенде компилятора Rust