Kakarot: инновационный проект Zk-EVM

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

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

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

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

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

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

1. Реализация EVM-функций на Starknet, позволяющая разработчикам напрямую разворачивать смарт-контракты Solidity на Starknet, а пользователи могут взаимодействовать с dApps с использованием привычных инструментов.

2. Интеграция с Madara для реализации L3 zkEVMs. Команда может развертывать zkEVM приложения, используя доказательства эффективности для расчетов транзакций в Starknet. На этом этапе можно достичь декомпозиции безопасности и децентрализации, одновременно снижая затраты на газ и увеличивая TPS.

3. Реализуйте zkEVM типа 1 с Madara. Если можно написать правила консенсуса Ethereum на Cairo и переключиться на Keccak MPT, Kakarot станет клиентом zkEVM типа 1, способным доказать блоки L1.

Фон команды

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

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

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

Состояние финансирования

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

Преимущества и вызовы проекта

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

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

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