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

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

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

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

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

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

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

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

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

2. Kakarot x Madara: L3 zkEVM

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

3. Kakarot x Madara: тип 1 zkEVM

   Путем написания правил консенсуса Ethereum на Cairo в полном узле Madara x Kakarot и перехода от Pedersen MPT к Keccak MPT, Kakarot имеет все шансы стать клиентом типа 1 zkEVM, способным подтверждать блоки L1. Реализация этого продвинутого случая использования зависит от дорожной карты развития Ethereum.

Состав команды

Ядро команды Kakarot возникло в результате хакатона, на котором около 10 человек за неделю разработали прототип zkEVM. В настоящее время при поддержке фонда Starknet и Onlydust в проекте участвует более 40 контрибьюторов.

В число основных членов входят:

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

Финансовая ситуация

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

Анализ перспектив проекта

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

Преимущества проекта включают:

1. Тесная интеграция с экосистемой Starknet, взаимовыгодное сосуществование
2. Получить поддержку таких значимых фигур в отрасли, как Виталик Бутерин и StarkWare
3. Модульный дизайн, может быть комбинирован с другими решениями Layer 2

Предстоящие вызовы:

1. Команда небольшая, ресурсы ограничены
2. Проект все еще на ранней стадии, требуется время для проверки.
3. Зависит от развития Starknet, существует определенный риск

В целом, Kakarot представляет собой инновационное направление технологии zkEVM, которое может принести больше возможностей для экосистемы Starknet. С запуском тестовой сети фактические результаты проекта стоит внимательно отслеживать.