Аналитики В этой статье мы рассмотрим различные этапы Kakarot, их сильные и слабые стороны, а также проблемы и возможности, стоящие перед проектом.
Авторы
Сборник: Deep Tide TechFlow
Kakarot zkEVM — это EVM, реализованная в Каире. Повышая совместимость EVM, он расширяет экосистему Starknet. Что он использовал, чтобы заручиться поддержкой Vitalik и StarkWare? Аналитики В этой статье мы рассмотрим различные этапы Kakarot, их сильные и слабые стороны, а также проблемы и возможности, стоящие перед проектом.
Что такое CairoVM?
Kakarot построен на виртуальной машине (ВМ) CairoVM, которая является инфраструктурой Starknet.
Основные возможности CairoVM:
Представление исполнения в виде полинома (уравнения) для доказуемого исполнения;
Позволяет использовать STARK для подтверждения всех транзакций Starknet.
Что такое Каир?
Тьюринг завершает дружественную к STARK архитектуру ЦП:
Полнота по Тьюрингу: система может рассчитать любой возможный расчет/программу;
STARK FRIENDLY: система проверки предоставлена StarkWare. Вычислительная целостность вне цепочки подтверждается пруверами и проверяется верификаторами в цепочке.
Как работает Каир
Разработчики могут использовать Cairo для написания программ в CairoVM для описания утверждений, которые необходимо доказать, на языке высокого уровня. Это улучшает опыт разработчиков, поскольку они могут воспользоваться преимуществами масштабируемости доказательств с нулевым разглашением (ZKP) без необходимости учиться писать сложные схемы.
Архитектура Какарот
Kakarot построен поверх CairoVM и:
Интерпретатор байт-кода EVM;
SC развернут на Starknet;
Написано в Каире.
Какарот позволяет:
Разверните существующий EVM SC.
Какарот не является:
Блокчейн;
Компилятор: не конвертирует код Solidity в Cairo.
По состоянию на май 2023 г.:
Архитектура 100% байт-кода (ZkEVM Type 3);
Реализована предварительная компиляция EVM 8/9.
После реализации предварительных компиляций EVM 9/9 Kakarot станет типом 2.5 zkEVM.
ZkEVM типа 1 полностью эквивалентен Ethereum без изменения системы Ethereum для упрощения генерации доказательств.
Плюсы: идеальное решение для масштабирования Ethereum.
Недостатки: интенсивные вычисления, долгое доказательство (требуются часы).
Например: Свиток, Тайко.
ZkEVM типа 2 полностью эквивалентен EVM с небольшими изменениями в системе Ethereum (с использованием другой хеш-функции), чтобы:
Более легкая разработка;
Более быстрая генерация доказательств.
Плюсы: доступно для большинства децентрализованных приложений Ethereum.
Недостатки: КПД ЭВМ и ЗК не дружит.
Например Свиток.
Тип 2.5 zkEVM эквивалентен EVM, за исключением стоимости газа. Это увеличивает стоимость газа для конкретных операций в EVM, которые трудно доказать с помощью ZK.
Плюсы: меньший риск, чем более широкий EVM
Недостатки: ограниченная совместимость инструментов разработки, некоторые децентрализованные приложения не будут совместимы.
ZkEVM типа 3 почти идентичен EVM, только удалены функции, которые особенно сложно реализовать (например, предварительная компиляция).
Плюсы: еще более быстрое время проверки, более простая разработка EVM.
Минусы: некоторые децентрализованные приложения необходимо переписать.
Например:
Прокрутка;
Полигон
Введите 4 эквивалента языка высокого уровня zkEVM, компилируя исходный код SC (язык высокого уровня) в язык, дружественный ZK-SNARK.
Плюсы: Позволяет избежать больших накладных расходов.
Минусы: контракты могут не иметь того же адреса, что и EVM, рукописный байт-код EVM может не поддерживаться, инфраструктура не может быть перенесена, поскольку они работают на байт-коде EVM.
Например:
зксинк;
Пустота.
Дорожная карта Kakarot | Фаза 1 | Внедрение EVM в Starknet
Kakarot изначально будет существовать в Starknet как Enshrined EVM. Опыт разработчиков и пользователей (UX) будет точно таким же, как у Polygon, Scroll или Ethereum.
Фаза 2 | L3 zkEVM
Развертывание цепочек приложений zkEVM через Kakarot позволяет им разрешать txns в Starknet, используя доказательство достоверности. Это достигается путем объединения Kakarot и MadaraStarknet в единый стек.
Всего одним щелчком мыши Rollups дает вам:
zkEVM для конкретных приложений, развернутый в Starknet;
Доступ к среде EVM;
Быстрое исполнение;
Низкий уровень газа: используйте решения для обеспечения доступности данных.
Безопасность.
Запустите Solidity SC в CairoVM с помощью Kakarot: любой Solidity SC, развернутый на EVM, сможет работать в Starknet без изменения кода.
Преимущества возможности иметь и то, и другое:
эффективность ЭВМ;
Смарт-контракты становятся доказуемыми.
Фаза 3 | ZkEVM типа 1
Для этого Какарот должен:
Используйте Cairo для написания правил консенсуса Ethereum в полном узле Madara x Kakarot, чтобы подтвердить консенсус L1;
Переключено с Pedersen Merkle Patricia Trie (MPT) на Keccak MPT.
Это зависит от дорожной карты Ethereum: Verge. В настоящее время реализация Keccak MPT доказуемо дешевым способом является основным препятствием совместимости для zkEVM. После Verge Keccak может быть заменен Poseidon в качестве предпочтительной хэш-функции Ethereum.
мои мысли
Это, безусловно, большой шаг к обеспечению совместимости EVM со Starknet, но есть некоторые опасения, связанные с успехом Kakarot.
Столкнувшись с конкуренцией со стороны следующих конкурентов:
ZK-роллап с разными системами пруфов (SNARK): Scroll, zksync, Polygon, Taiko, Linea;
Оптимистичные свертывания: Оптимизм、Решение、База;
Различные zkVM: RISC Zero, Hyper Oracle.
Product Market Fit (PMF)
В целом, Rollup-as-a-Service является непроверенным аргументом, который требует рассмотрения двух ключевых аспектов:
Сколько накопительных пакетов потребуется эта услуга?
Предпочитает ли Rollup внутренние сборки из-за суверенитета и настраиваемости?
Постоянно повторяйте продукты
Kakarot создает очень технически сложный продукт, который, скорее всего, потребует постоянных итераций для достижения успеха. Это также зависит от нескольких компонентов, в том числе:
Молоко;
Решение ДА;
Дорожная карта Ethereum: The Verge.
Посмотреть Оригинал
Содержание носит исключительно справочный характер и не является предложением или офертой. Консультации по инвестициям, налогообложению или юридическим вопросам не предоставляются. Более подробную информацию о рисках см. в разделе «Дисклеймер».
Виталик участвует в инвестициях, как Kakarot внедряет EVM в Starknet?
Авторы
Сборник: Deep Tide TechFlow
Kakarot zkEVM — это EVM, реализованная в Каире. Повышая совместимость EVM, он расширяет экосистему Starknet. Что он использовал, чтобы заручиться поддержкой Vitalik и StarkWare? Аналитики В этой статье мы рассмотрим различные этапы Kakarot, их сильные и слабые стороны, а также проблемы и возможности, стоящие перед проектом.
Что такое CairoVM?
Kakarot построен на виртуальной машине (ВМ) CairoVM, которая является инфраструктурой Starknet.
Основные возможности CairoVM:
Что такое Каир?
Тьюринг завершает дружественную к STARK архитектуру ЦП:
Как работает Каир
Разработчики могут использовать Cairo для написания программ в CairoVM для описания утверждений, которые необходимо доказать, на языке высокого уровня. Это улучшает опыт разработчиков, поскольку они могут воспользоваться преимуществами масштабируемости доказательств с нулевым разглашением (ZKP) без необходимости учиться писать сложные схемы.
Архитектура Какарот
Kakarot построен поверх CairoVM и:
Какарот позволяет:
Какарот не является:
По состоянию на май 2023 г.:
После реализации предварительных компиляций EVM 9/9 Kakarot станет типом 2.5 zkEVM.
ZkEVM типа 1 полностью эквивалентен Ethereum без изменения системы Ethereum для упрощения генерации доказательств.
Плюсы: идеальное решение для масштабирования Ethereum.
Недостатки: интенсивные вычисления, долгое доказательство (требуются часы).
Например: Свиток, Тайко.
ZkEVM типа 2 полностью эквивалентен EVM с небольшими изменениями в системе Ethereum (с использованием другой хеш-функции), чтобы:
Плюсы: доступно для большинства децентрализованных приложений Ethereum.
Недостатки: КПД ЭВМ и ЗК не дружит.
Например Свиток.
Тип 2.5 zkEVM эквивалентен EVM, за исключением стоимости газа. Это увеличивает стоимость газа для конкретных операций в EVM, которые трудно доказать с помощью ZK.
Плюсы: меньший риск, чем более широкий EVM
Недостатки: ограниченная совместимость инструментов разработки, некоторые децентрализованные приложения не будут совместимы.
ZkEVM типа 3 почти идентичен EVM, только удалены функции, которые особенно сложно реализовать (например, предварительная компиляция).
Плюсы: еще более быстрое время проверки, более простая разработка EVM.
Минусы: некоторые децентрализованные приложения необходимо переписать.
Например:
Введите 4 эквивалента языка высокого уровня zkEVM, компилируя исходный код SC (язык высокого уровня) в язык, дружественный ZK-SNARK.
Плюсы: Позволяет избежать больших накладных расходов.
Минусы: контракты могут не иметь того же адреса, что и EVM, рукописный байт-код EVM может не поддерживаться, инфраструктура не может быть перенесена, поскольку они работают на байт-коде EVM.
Например:
Дорожная карта Kakarot | Фаза 1 | Внедрение EVM в Starknet
Kakarot изначально будет существовать в Starknet как Enshrined EVM. Опыт разработчиков и пользователей (UX) будет точно таким же, как у Polygon, Scroll или Ethereum.
Фаза 2 | L3 zkEVM
Развертывание цепочек приложений zkEVM через Kakarot позволяет им разрешать txns в Starknet, используя доказательство достоверности. Это достигается путем объединения Kakarot и MadaraStarknet в единый стек.
Всего одним щелчком мыши Rollups дает вам:
Запустите Solidity SC в CairoVM с помощью Kakarot: любой Solidity SC, развернутый на EVM, сможет работать в Starknet без изменения кода.
Преимущества возможности иметь и то, и другое:
Фаза 3 | ZkEVM типа 1
Для этого Какарот должен:
Это зависит от дорожной карты Ethereum: Verge. В настоящее время реализация Keccak MPT доказуемо дешевым способом является основным препятствием совместимости для zkEVM. После Verge Keccak может быть заменен Poseidon в качестве предпочтительной хэш-функции Ethereum.
мои мысли
Это, безусловно, большой шаг к обеспечению совместимости EVM со Starknet, но есть некоторые опасения, связанные с успехом Kakarot.
Столкнувшись с конкуренцией со стороны следующих конкурентов:
Product Market Fit (PMF)
В целом, Rollup-as-a-Service является непроверенным аргументом, который требует рассмотрения двух ключевых аспектов:
Постоянно повторяйте продукты
Kakarot создает очень технически сложный продукт, который, скорее всего, потребует постоянных итераций для достижения успеха. Это также зависит от нескольких компонентов, в том числе: