Kakarot: Виртуальная машина Ethereum, написанная Cairo
Kakarot zkEVM является виртуальной машиной Ethereum (EVM), написанной на языке Cairo. Cairo - это тьюринг-сообразный язык, связанный с CairoVM, который использует полиномиальные и ZK-STARK системы доказательства для реализации доказуемых вычислений.
В качестве zkEVM, Kakarot может генерировать проверяемые транзакции и блоки. Поскольку он построен на CairoVM, каждая транзакция, выполняемая на Kakarot, является проверяемой. Это позволяет разработчикам разворачивать EVM-приложения на нем, а конечные пользователи могут взаимодействовать с приложениями с помощью стандартного инструментария.
Кроме того, Kakarot также обеспечит интероперабельность с протоколом Starknet, предоставляя совместимость для протоколов в таких областях, как DeFi и GameFi.
Дорожная карта
Проект начался в октябре 2022 года с целью создать zkEVM с открытым исходным кодом и менее чем из 10,000 строк кода. Эта цель была достигнута за шесть месяцев, и планируется выпустить тестовую сеть в конце лета 2023 года.
Дорожная карта Kakarot zkEVM делится на три этапа:
Kakarot zkEVM на Starknet: Перенос EVM в Starknet
В качестве встроенной EVM в Starknet L2 разработчики могут напрямую развертывать смарт-контракты Solidity, используя знакомые инструменты, такие как Foundry, Hardhat и другие. Пользовательский опыт будет таким же, как на Polygon, Ethereum L1 и других.
Kakarot x Madara: L3 zkEVM
Интеграция Kakarot и Madara, реализация L3 zkEVM, при необходимости расширяемая до L4, L5 и т.д. Команда может развернуть приложение zkEVM на блокчейне, используя доказательства действительности для расчетов транзакций в Starknet. Эта архитектура L3 позволяет декомпозировать безопасность и децентрализацию, пользователи могут наслаждаться безопасностью Ethereum L1, не требуя аналогичного уровня децентрализации.
Kakarot x Madara: тип 1 zkEVM
Если удастся написать правила консенсуса Ethereum на Cairo и перейти от Pedersen Merkle Patricia Trie к Keccak MPT, Kakarot станет клиентом type 1 zkEVM, способным доказывать блоки L1. Это зависит от дорожной карты Ethereum, особенно от этапа Verge.
Обзор команды
Команда Kakarot была основана на хакатоне в Лиссабоне. В настоящее время в разработке проекта участвует более 40 участников.
Основные участники включают:
Элиас Тазартес: соучредитель и CEO, специализирующийся на блокчейн-инженерии иFull stack разработке.
Клемент Уолтер: соучредитель и технический директор, имеющий опыт работы в качестве ученого, инженера и предпринимателя.
Финансовая ситуация
Kakarot завершил финансирование на этапе pre-seed, конкретная сумма не раскрыта. Инвесторы включают Starkware, LambDa и других. Ангел-инвесторы: Виталик Бутерин, соучредитель Ledger Николя Бака и соучредитель ZAMA Ранд Хинди.
Оценка проекта
Kakarot как реализация EVM на Starknet может эффективно связывать экосистемы Starknet и Ethereum, снижая порог разработки. На будущих этапах будет реализована большая совместимость, такая как модульные комбинации с Celestia или EigenDA.
Проект тесно связан с экосистемой Starknet и способствует развитию друг друга. Поддержка Вита́лика Буте́рина и StarkWare является большим преимуществом. Однако по сравнению с другими проектами zkEVM команда Kakarot небольшая, бюджет и известность ниже, что также является одной из причин, почему он в настоящее время не развернут в качестве общего zkEVM L2.
Kakarot все еще находится на ранней стадии, тестовая сеть скоро будет запущена, за его развитием стоит продолжать следить.
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
Kakarot: первый zkEVM на основе Cairo обеспечит совместимость EVM для Starknet
Kakarot: Виртуальная машина Ethereum, написанная Cairo
Kakarot zkEVM является виртуальной машиной Ethereum (EVM), написанной на языке Cairo. Cairo - это тьюринг-сообразный язык, связанный с CairoVM, который использует полиномиальные и ZK-STARK системы доказательства для реализации доказуемых вычислений.
В качестве zkEVM, Kakarot может генерировать проверяемые транзакции и блоки. Поскольку он построен на CairoVM, каждая транзакция, выполняемая на Kakarot, является проверяемой. Это позволяет разработчикам разворачивать EVM-приложения на нем, а конечные пользователи могут взаимодействовать с приложениями с помощью стандартного инструментария.
Кроме того, Kakarot также обеспечит интероперабельность с протоколом Starknet, предоставляя совместимость для протоколов в таких областях, как DeFi и GameFi.
Дорожная карта
Проект начался в октябре 2022 года с целью создать zkEVM с открытым исходным кодом и менее чем из 10,000 строк кода. Эта цель была достигнута за шесть месяцев, и планируется выпустить тестовую сеть в конце лета 2023 года.
Дорожная карта Kakarot zkEVM делится на три этапа:
Kakarot zkEVM на Starknet: Перенос EVM в Starknet
В качестве встроенной EVM в Starknet L2 разработчики могут напрямую развертывать смарт-контракты Solidity, используя знакомые инструменты, такие как Foundry, Hardhat и другие. Пользовательский опыт будет таким же, как на Polygon, Ethereum L1 и других.
Kakarot x Madara: L3 zkEVM
Интеграция Kakarot и Madara, реализация L3 zkEVM, при необходимости расширяемая до L4, L5 и т.д. Команда может развернуть приложение zkEVM на блокчейне, используя доказательства действительности для расчетов транзакций в Starknet. Эта архитектура L3 позволяет декомпозировать безопасность и децентрализацию, пользователи могут наслаждаться безопасностью Ethereum L1, не требуя аналогичного уровня децентрализации.
Kakarot x Madara: тип 1 zkEVM
Если удастся написать правила консенсуса Ethereum на Cairo и перейти от Pedersen Merkle Patricia Trie к Keccak MPT, Kakarot станет клиентом type 1 zkEVM, способным доказывать блоки L1. Это зависит от дорожной карты Ethereum, особенно от этапа Verge.
Обзор команды
Команда Kakarot была основана на хакатоне в Лиссабоне. В настоящее время в разработке проекта участвует более 40 участников.
Основные участники включают:
Финансовая ситуация
Kakarot завершил финансирование на этапе pre-seed, конкретная сумма не раскрыта. Инвесторы включают Starkware, LambDa и других. Ангел-инвесторы: Виталик Бутерин, соучредитель Ledger Николя Бака и соучредитель ZAMA Ранд Хинди.
Оценка проекта
Kakarot как реализация EVM на Starknet может эффективно связывать экосистемы Starknet и Ethereum, снижая порог разработки. На будущих этапах будет реализована большая совместимость, такая как модульные комбинации с Celestia или EigenDA.
Проект тесно связан с экосистемой Starknet и способствует развитию друг друга. Поддержка Вита́лика Буте́рина и StarkWare является большим преимуществом. Однако по сравнению с другими проектами zkEVM команда Kakarot небольшая, бюджет и известность ниже, что также является одной из причин, почему он в настоящее время не развернут в качестве общего zkEVM L2.
Kakarot все еще находится на ранней стадии, тестовая сеть скоро будет запущена, за его развитием стоит продолжать следить.