Kakarot zkEVM: Виртуальная машина Ethereum, построенная на языке Cairo

Kakarot zkEVM – это Ethereum Виртуальная машина, написанная на языке Cairo ( EVM ). Cairo – это язык с полным набором возможностей, связанный с CairoVM. CairoVM использует многочлены и систему доказательства ZK-STARK для реализации проверяемых вычислений.

Особенностью zkEVM является возможность генерировать подтверждаемые транзакции и блоки. Поскольку Kakarot построен на CairoVM, каждая транзакция, выполняемая на нем, является подтверждаемой.

В целом, Kakarot zkEVM использует язык Cairo и систему доказательства ZK-STARK для предоставления доказуемых вычислительных возможностей. Это позволяет разработчикам развертывать приложения EVM и позволяет пользователям взаимодействовать с этими приложениями с помощью привычных инструментов.

Кроме того, Kakarot будет обеспечивать взаимодействие с протоколом Starknet, предоставляя компоновку для протоколов в различных областях, таких как DeFi и GameFi.

Дорожная карта

Проект был запущен в октябре 2022 года с целью создать zkEVM с использованием менее чем 10 000 строк кода. Эта цель была достигнута всего за шесть месяцев. Публичный тестнет планируется к выпуску в конце лета 2023 года.

Дорожная карта Kakarot zkEVM разделена на три этапа:

1. Kakarot zkEVM на Starknet: Перенос EVM в Starknet

Kakarot zkEVM сначала будет существовать как встроенная EVM в L2 Starknet. Разработчики смогут напрямую развертывать смарт-контракты Solidity на Starknet и использовать знакомые инструменты. Пользовательский опыт будет таким же, как на Polygon, Scroll или Ethereum L1.

2. Kakarot x Madara: L3 zkEVM

Kakarot и Madara будут интегрированы для включения L3 zkEVM, а также L4, L5 и т.д. Команды смогут развертывать zkEVM приложения и использовать доказательства действительности для расчета транзакций в Starknet. Этот подход позволяет декомпозировать безопасность и децентрализацию, одновременно снижая затраты и повышая производительность.

3. Kakarot x Madara: тип 1 zkEVM

   Если можно будет написать правила консенсуса Ethereum с помощью Cairo и перейти от Pedersen MPT к Keccak MPT, Kakarot сможет стать клиентом типа 1 zkEVM, способным доказывать блоки L1. Это зависит от маршрута развития Ethereum, особенно обновления Verge.

Команда

Команда Kakarot была создана на хакатоне в Лиссабоне. В настоящее время в ней более 40 участников.

Основные участники включают:

• Elias Tazartes: Соучредитель и генеральный директор, сосредоточен на инженерии блокчейна и полном стековом разработке
• Клемент Уолтер: соучредитель и технический директор, ученый, инженер и предприниматель

Финансирование

Kakarot завершил предварительный этап финансирования, точная сумма не раскрыта. Инвесторами стали Starkware, LambDa, а также ангел-инвесторы Виталик Бутерин, соучредитель Ledger Николя Бакка и соучредитель ZAMA Ранд Хинди.

Резюме

Kakarot, как реализация EVM на Starknet, может хорошо связать Starknet и Ethereum экосистему. Он снижает порог для разработчиков, позволяя проектам из Ethereum экосистемы строиться на Starknet, при этом сохраняя безопасность и низкую стоимость Ethereum.

Развитие Kakarot тесно связано с экосистемой Starknet. Он получил поддержку Виталика Бутерина и StarkWare, что является преимуществом. Однако по сравнению с другими проектами zkEVM команда Kakarot меньше, бюджет и известность бренда также ниже, что является одной из причин, по которой он пока не развернут в качестве универсального zkEVM L2.

Kakarot все еще находится на ранней стадии, тестовая сеть вскоре будет выпущена. Будущее развитие заслуживает внимания.