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

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

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

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

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

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

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

1. Kakarot zkEVM на Starknet: ввод EVM в Starknet, позволяя разработчикам напрямую развертывать Solidity смарт-контракты на Starknet.

2. Kakarot x Madara: реализация L3 zkEVMs, команда может развернуть собственную zkEVM приложение цепь, используя доказательства действительности для расчета транзакций на Starknet.

3. Kakarot x Madara: реализация type 1 zkEVM путем написания правил консенсуса Ethereum с использованием Cairo в полном узле Madara x Kakarot и перехода от Pedersen MPT к Keccak MPT.

Фоновая информация о команде

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

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

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

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

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

Оценка проекта

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

Развитие Kakarot тесно связано с экосистемой Starknet. Постоянные обновления Starknet благоприятствуют Kakarot, но проблемы в развитии Starknet могут также негативно сказаться на Kakarot.

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

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