Kakarot: инновационное решение zkEVM на основе Cairo

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

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

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

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

Развитие Kakarot zkEVM делится на три этапа:

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

   В качестве встроенной EVM в Starknet L2 разработчики могут напрямую развертывать смарт-контракты на Solidity( или других языках, совместимых с EVM) на Starknet, используя знакомые инструменты, такие как Foundry, Hardhat и т.д. Пользовательский опыт будет полностью аналогичен Polygon, Scroll или 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 и перейти от Pedersen MPT к Keccak MPT, Kakarot станет zkEVM клиентом типа 1 для доказуемых L1 блоков. Это зависит от будущего развития Ethereum, особенно от реализации стадии Verge.

Основная команда

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

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

• Элиас Тазартес: Соучредитель и CEO, сосредоточен на блокчейн-инженерии и полном стек-разработке
• Клеман Уолтер: соучредитель и технический директор, обладающий опытом в науке, инженерии и предпринимательстве.

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

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

Перспективы проекта

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

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

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