Kakarot zkEVM: Реализация Виртуальной машины Ethereum на языке Cairo

Kakarot zkEVM — это реализация виртуальной машины Ethereum (EVM), написанная на языке Cairo. Cairo — это язык программирования с полной вычислительной мощностью, связанный с CairoVM. 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.

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

3. Kakarot x Madara: реализация type 1 zkEVM, способная доказать блоки Ethereum L1.

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

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

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

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

Финансовое состояние

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

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

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

Тем не менее, развитие Kakarot также тесно связано с судьбой Starknet. Постоянное развитие Starknet имеет решающее значение для Kakarot. Хотя Kakarot поддерживают Vitalik и StarkWare, команда Kakarot меньше по сравнению с другими проектами zkEVM, а также имеет меньший бюджет и известность бренда, что является одной из причин, по которой он в настоящее время не развернут в качестве универсального zkEVM L2.

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