Что такое Какарот zkEVM? Почему его поддерживают Vitalik и StarkWare? Kakarot привносит EVM в Starknet, способствуя расширению dApps EVM. Давайте посмотрим глубже!
Мы загрузились и вошли в режим Super Saiyan. Kakarot Labs была официально учреждена и завершила предварительное раннее финансирование с ведущими инвесторами.
Давайте с нетерпением ждем видения развития, проясним текущую позицию и с нетерпением ждем светлого будущего.
В этой статье в основном будет представлено следующее: 1. Что такое CairoVM? 2. Что такое Каир? 3. Архитектура EVM 4. Архитектура Kakarot 5. Типовая классификация zkEVM 6. Дорожная карта Kakarot 7. Личные мысли.
Kakarot zkEVM — это EVM, развернутая с использованием языка Cario, повышающая надежность экосистемы Starknet за счет улучшения совместимости EVM. Разбираемся шаг за шагом.
**1.***Что такое CairoVM? **
Kakarot работает на виртуальной машине CairoVM, которая является инфраструктурой Starknet. Основные особенности CairoVM заключаются в следующем:
· Представление исполнения в виде полиномиального уравнения для доказуемого исполнения.
· Разрешить всем транзакциям Starknet использовать проверку STARK.
**2. Что такое Карио? **
Cario — это полная по Тьюрингу архитектура процессора, дружелюбная к STARK.
· Turing Complete: система способна выполнять любые возможные вычисления/программы.
· Stark Friendly: система аутентификации StarkWare. Вычислительная целостность вне цепочки подтверждается пруверами и проверяется верификаторами в цепочке.
Итак, как же работает Cario? Разработчики могут использовать Cairo для написания программ на CaroVM и описания операторов на языке высокого уровня (требуется проверка). Это улучшает процесс разработки, поскольку разработчики могут воспользоваться преимуществами масштабируемости ZK Proofs (ZKP), не учась писать сложные схемы.
3. Архитектура EVM****
Архитектура EVM — это зрелая и четко определенная архитектура VM (виртуальная машина) с:
142 кода операции: инструкции, используемые EVM для выполнения транзакций и смарт-контрактов (SC). Плата за газ требуется для выполнения.
9 предварительных компиляций: смарт-контракты, встроенные в Ethereum для выполнения общих операций. Можно вызвать со стандартной платой за газ.
4. Какарот****Структура
Kakarot разработан на основе CairoVM, который:
· Интерпретатор байт-кода EVM
· Смарт-контракты развернуты в Starknet
· Используйте язык Cario
Какарот поддерживает:
· Разверните смарт-контракт EVM как есть
Какарот не является:
· Блокчейн
Компилятор: не конвертирует код Solidity в Cairo
По состоянию на май 2023 г.:
Реализована 100% архитектура байт-кода (ZkEVM Type 3)
9 EVM предварительно скомпилирован для достижения 8
После реализации всех 9 предварительных компиляций EVM Kakarot станет zkEVM Type 2.5.
5, зкЭВМ****Тип****тип
(1) ZkEVM типа 1 | Полный эквивалент Ethereum
Никаких изменений в системе Ethereum для упрощения генерации доказательств.
преимущество:
Идеальное решение для расширения Ethereum
недостаток:
· Компьютерный интенсив
Время доказательства долгое (занимает часы)
Пример:
· Прокрутка
· Тайко
(2) ZkEVM типа 2 | полностью эквивалентен EVM
Незначительные изменения в системе Ethereum (различные хеш-функции) упрощают разработку и ускоряют создание доказательств.
преимущество:
· Поддержка большинства децентрализованных приложений Ethereum.
недостаток:
Неэффективность и недружественность EVM все еще существует
Пример:
· Прокрутка
(3) Тип 2,5 zkEVM | Эквивалентно EVM (за исключением платы за газ)
Добавлены расходы на газ для конкретных операций в ЭВМ, которые сложно доказать с помощью ЗК.
преимущество:
Менее рискованно, чем более широкие изменения EVM
недостаток:
Снижение совместимости средств разработки
· Некоторые децентрализованные приложения несовместимы
(4) ZkEVM типа 3 | почти эквивалентен EVM
Функции, которые было особенно сложно реализовать (например, предварительная компиляция), были удалены.
преимущество:
· Более быстрое время доказательства
· Упрощенная разработка EVM
недостаток:
· Некоторые децентрализованные приложения необходимо переписать
Пример:
· Прокрутка
· Полигон
**(5)Tpye4zkEVM|**эквивалент языка высокого уровня
Исходный код смарт-контракта (язык высокого уровня) компилируется в дружественный ZK-SNARK язык.
преимущество:
· Избегайте больших накладных расходов
недостаток:
Адрес контракта может отличаться от адреса в EVM
Может не поддерживать рукописный байт-код EVM
· Инфраструктура отладки не может быть унаследована, поскольку она работает на байт-коде EVM.
Пример:
· zkSync
· Пустота
6**、Карта маршрута Какарот**
(1) Этап 1 | Внедрение EVM в Starknet
Kakarot изначально будет существовать в Starknet как закрепленная EVM. Опыт разработки и пользовательский опыт (UX) будут такими же, как у Polygon, Scroll или Ethereum.
(2) Этап 2 | L3 zkEVM
Развертывание цепочек приложений zkEVM через Kakarot позволяет им проводить транзакции в Starknet, используя подтверждение действительности.
Путем объединения секвенаторов Kakarot и Madara Starknet (секвенсор Starknet на основе субстрата) в единый стек.
(3) Фаза 2 | zkEVM-сведение как услуга
Одним щелчком мыши накопитель получает:
· zkEVM для конкретных приложений, развернутый в Starknet
· Доступ к среде EVM
· Быстрое исполнение
Низкая плата за газ: используйте решения для доступности данных (Celestia, EigenLayer)
· Безопасность шифрования
Преимущества zkEVM-Rollup-as-a-Service:
Запуск смарт-контрактов Solidity в CairoVM с помощью Kakarot
Любой смарт-контракт Solidity, развернутый на EVM, может работать в Starknet без изменения кода.
Лучшее из обоих миров:
Эффективность с EVM
· Смарт-контракты становятся доказуемыми
(4) Фаза 3 | Тип 1 zkEVM
Чтобы войти в этот этап, Какарот должен:
· Используйте Cairo для написания правил консенсуса Ethereum в полных узлах Madara и Kakarot для подтверждения консенсуса L1.
· Перешел с Pedersen Merkle Patricia Trie (MPT) на Keccak MPT.
Тем не менее, Фаза 3 является неопределенной. Это зависит от дорожной карты Ethereum: Verge. В настоящее время реализация Keccak MPT доказуемым и недорогим способом является основным препятствием для совместимости с zkEVM. После Verge Keccak может быть заменен Poseidon в качестве предпочтительной хеш-функции для Ethereum.
7**、Личные мысли**
Обеспечение совместимости EVM со Starknet, безусловно, является огромным шагом вперед, но все еще есть некоторые опасения по поводу успеха Kakarot.
(1) Высококонкурентное поле ZK
Конкуренты:
· ZK-роллап с разными системами проверки (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
· Оптимистичная сводка：Оптимизм、Решение、База
Различные zkVM: RISC Zero, Hyper Oracle
(2) Соответствие продукта рынку (PMF)
В целом, накопительный пакет как услуга — открытая тема, требующая рассмотрения двух ключевых аспектов:
· Сколько накопительных пакетов нуждаются в этой услуге?
Предпочитает ли Rollup создавать суверенность и настраиваемость внутри?
(3) Непрерывная итерация продукта
Kakarot разрабатывает и создает технически сложный продукт, который, вероятно, потребует постоянных итераций для достижения успеха.
Он также опирается на несколько динамических компонентов, в том числе:
·Молоко
· Решение по обеспечению доступности данных
Дорожная карта Ethereum: Грань
Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Что такое Какарот zkEVM? Почему Виталик участвовал в голосовании
Автор: с, аналитик венчурного капитала, перевод: Jinse Finance xiaozou
Что такое Какарот zkEVM? Почему его поддерживают Vitalik и StarkWare? Kakarot привносит EVM в Starknet, способствуя расширению dApps EVM. Давайте посмотрим глубже!
Мы загрузились и вошли в режим Super Saiyan. Kakarot Labs была официально учреждена и завершила предварительное раннее финансирование с ведущими инвесторами.
Давайте с нетерпением ждем видения развития, проясним текущую позицию и с нетерпением ждем светлого будущего.
В этой статье в основном будет представлено следующее: 1. Что такое CairoVM? 2. Что такое Каир? 3. Архитектура EVM 4. Архитектура Kakarot 5. Типовая классификация zkEVM 6. Дорожная карта Kakarot 7. Личные мысли.
Kakarot zkEVM — это EVM, развернутая с использованием языка Cario, повышающая надежность экосистемы Starknet за счет улучшения совместимости EVM. Разбираемся шаг за шагом.
**1.***Что такое CairoVM? **
Kakarot работает на виртуальной машине CairoVM, которая является инфраструктурой Starknet. Основные особенности CairoVM заключаются в следующем:
· Представление исполнения в виде полиномиального уравнения для доказуемого исполнения.
· Разрешить всем транзакциям Starknet использовать проверку STARK.
**2. Что такое Карио? **
Cario — это полная по Тьюрингу архитектура процессора, дружелюбная к STARK.
· Turing Complete: система способна выполнять любые возможные вычисления/программы.
· Stark Friendly: система аутентификации StarkWare. Вычислительная целостность вне цепочки подтверждается пруверами и проверяется верификаторами в цепочке.
Итак, как же работает Cario? Разработчики могут использовать Cairo для написания программ на CaroVM и описания операторов на языке высокого уровня (требуется проверка). Это улучшает процесс разработки, поскольку разработчики могут воспользоваться преимуществами масштабируемости ZK Proofs (ZKP), не учась писать сложные схемы.
3. Архитектура EVM****
Архитектура EVM — это зрелая и четко определенная архитектура VM (виртуальная машина) с:
142 кода операции: инструкции, используемые EVM для выполнения транзакций и смарт-контрактов (SC). Плата за газ требуется для выполнения.
9 предварительных компиляций: смарт-контракты, встроенные в Ethereum для выполнения общих операций. Можно вызвать со стандартной платой за газ.
4. Какарот****Структура
Kakarot разработан на основе CairoVM, который:
· Интерпретатор байт-кода EVM
· Смарт-контракты развернуты в Starknet
· Используйте язык Cario
Какарот поддерживает:
· Разверните смарт-контракт EVM как есть
Какарот не является:
· Блокчейн
Компилятор: не конвертирует код Solidity в Cairo
По состоянию на май 2023 г.:
Реализована 100% архитектура байт-кода (ZkEVM Type 3)
9 EVM предварительно скомпилирован для достижения 8
После реализации всех 9 предварительных компиляций EVM Kakarot станет zkEVM Type 2.5.
5, зкЭВМ****Тип****тип
(1) ZkEVM типа 1 | Полный эквивалент Ethereum
Никаких изменений в системе Ethereum для упрощения генерации доказательств.
преимущество:
Идеальное решение для расширения Ethereum
недостаток:
· Компьютерный интенсив
Время доказательства долгое (занимает часы)
Пример:
· Прокрутка
· Тайко
(2) ZkEVM типа 2 | полностью эквивалентен EVM
Незначительные изменения в системе Ethereum (различные хеш-функции) упрощают разработку и ускоряют создание доказательств.
преимущество:
· Поддержка большинства децентрализованных приложений Ethereum.
недостаток:
Неэффективность и недружественность EVM все еще существует
Пример:
· Прокрутка
(3) Тип 2,5 zkEVM | Эквивалентно EVM (за исключением платы за газ)
Добавлены расходы на газ для конкретных операций в ЭВМ, которые сложно доказать с помощью ЗК.
преимущество:
Менее рискованно, чем более широкие изменения EVM
недостаток:
Снижение совместимости средств разработки
· Некоторые децентрализованные приложения несовместимы
(4) ZkEVM типа 3 | почти эквивалентен EVM
Функции, которые было особенно сложно реализовать (например, предварительная компиляция), были удалены.
преимущество:
· Более быстрое время доказательства
· Упрощенная разработка EVM
недостаток:
· Некоторые децентрализованные приложения необходимо переписать
Пример:
· Прокрутка
· Полигон
**(5)Tpye4zkEVM|**эквивалент языка высокого уровня
Исходный код смарт-контракта (язык высокого уровня) компилируется в дружественный ZK-SNARK язык.
преимущество:
· Избегайте больших накладных расходов
недостаток:
Адрес контракта может отличаться от адреса в EVM
Может не поддерживать рукописный байт-код EVM
· Инфраструктура отладки не может быть унаследована, поскольку она работает на байт-коде EVM.
Пример:
· zkSync
· Пустота
6**、Карта маршрута Какарот**
(1) Этап 1 | Внедрение EVM в Starknet
Kakarot изначально будет существовать в Starknet как закрепленная EVM. Опыт разработки и пользовательский опыт (UX) будут такими же, как у Polygon, Scroll или Ethereum.
(2) Этап 2 | L3 zkEVM
Развертывание цепочек приложений zkEVM через Kakarot позволяет им проводить транзакции в Starknet, используя подтверждение действительности.
Путем объединения секвенаторов Kakarot и Madara Starknet (секвенсор Starknet на основе субстрата) в единый стек.
(3) Фаза 2 | zkEVM-сведение как услуга
Одним щелчком мыши накопитель получает:
· zkEVM для конкретных приложений, развернутый в Starknet
· Доступ к среде EVM
· Быстрое исполнение
Низкая плата за газ: используйте решения для доступности данных (Celestia, EigenLayer)
· Безопасность шифрования
Преимущества zkEVM-Rollup-as-a-Service:
Запуск смарт-контрактов Solidity в CairoVM с помощью Kakarot
Любой смарт-контракт Solidity, развернутый на EVM, может работать в Starknet без изменения кода.
Лучшее из обоих миров:
Эффективность с EVM
· Смарт-контракты становятся доказуемыми
(4) Фаза 3 | Тип 1 zkEVM
Чтобы войти в этот этап, Какарот должен:
· Используйте Cairo для написания правил консенсуса Ethereum в полных узлах Madara и Kakarot для подтверждения консенсуса L1.
· Перешел с Pedersen Merkle Patricia Trie (MPT) на Keccak MPT.
Тем не менее, Фаза 3 является неопределенной. Это зависит от дорожной карты Ethereum: Verge. В настоящее время реализация Keccak MPT доказуемым и недорогим способом является основным препятствием для совместимости с zkEVM. После Verge Keccak может быть заменен Poseidon в качестве предпочтительной хеш-функции для Ethereum.
7**、Личные мысли**
Обеспечение совместимости EVM со Starknet, безусловно, является огромным шагом вперед, но все еще есть некоторые опасения по поводу успеха Kakarot.
(1) Высококонкурентное поле ZK
Конкуренты:
· ZK-роллап с разными системами проверки (SNARK): Scroll, zkSync, Polygon, Taiko, Linea.
· Оптимистичная сводка：Оптимизм、Решение、База
Различные zkVM: RISC Zero, Hyper Oracle
(2) Соответствие продукта рынку (PMF)
В целом, накопительный пакет как услуга — открытая тема, требующая рассмотрения двух ключевых аспектов:
· Сколько накопительных пакетов нуждаются в этой услуге?
Предпочитает ли Rollup создавать суверенность и настраиваемость внутри?
(3) Непрерывная итерация продукта
Kakarot разрабатывает и создает технически сложный продукт, который, вероятно, потребует постоянных итераций для достижения успеха.
Он также опирается на несколько динамических компонентов, в том числе:
·Молоко
· Решение по обеспечению доступности данных
Дорожная карта Ethereum: Грань