$ETH$
💡Упрощенная разбивка различных типов ЗК-ЭВМ:
📍Тип 1: Полностью эквивалент Ethereum.
— Цель — точное отражение Ethereum, но доказательство транзакций отнимает много времени из-за того, что Ethereum несовместим с ZK.
📍Тип 2: Полностью эквивалентен EVM
— Аналогичен типу 1, но изменяет некоторые структуры для более быстрого создания доказательств, жертвуя полной совместимостью с Ethereum.
📍Тип 2.5: эквивалент EVM с скорректированной стоимостью газа.
- Увеличивает затраты на газ для сложных операций, чтобы ускорить испытания, но может вызвать незначительные несовместимости.
📍Тип 3: Почти эквивалент EVM
— Некоторые функции принесены в жертву ради более быстрого создания доказательств, что со временем улучшает совместимость.
📍Тип 4: эквивалент языка высокого уровня.
- Преобразует высокоуровневый код непосредственно в язык, совместимый с ZK-SNARK, для очень быстрых доказательств, но может не иметь полной совместимости с существующими приложениями на основе EVM.
Цель состоит в том, чтобы ZK-EVM эволюционировали в сторону типа 1 для идеальной совместимости с Ethereum, что позволит использовать различные пути масштабирования Ethereum и ZK-коллапов. Различные проекты изучают эти типы с возможными изменениями между ними по мере их улучшения с течением времени.
2024 год будет захватывающим годом, большая часть доказательств с нулевым разглашением завершена и появится в основной сети, решая некоторые проблемы здесь, в Web3.