Kakarot: Инновационный проект zkEVM, разработанный на языке Cairo

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

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

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

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

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

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

Этап 1: Создание EVM окружения на Starknet

Kakarot zkEVM будет сначала существовать как встроенная EVM в Starknet L2, позволяя разработчикам напрямую развертывать смарт-контракты на Solidity( или других языках, совместимых с EVM), на Starknet, используя знакомые инструменты разработки. Пользователи могут взаимодействовать с dApp, используя популярные кошельки, а опыт будет аналогичен тому, что на Polygon, Scroll или Ethereum L1.

Этап 2: интеграция с Madara для реализации L3 zkEVM

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

Эта архитектура может значительно снизить затраты на газ и повысить производительность. Для дальнейшей оптимизации можно разделить проверку доказательств и доступность данных (DA). Starknet L2 может служить в качестве слоя проверки доказательств, в то время как новые решения DA, такие как Celestia или EigenDA, могут использоваться для публикации данных транзакций.

Этап три: реализация type 1 zkEVM

Создавая правила консенсуса Ethereum с помощью Cairo в полном узле Madara x Kakarot и переключаясь с Merkle Patricia Trie(MPT) на Keccak MPT, Kakarot надеется стать клиентом zkEVM типа 1, способным проверять блоки L1. Реализация этой цели зависит от дорожной карты развития Ethereum, особенно от обновления Verge. После обновления Verge Keccak может быть заменен на Poseidon в качестве предпочтительной функции хэширования Ethereum, что поможет команде zkEVM достичь совместимости типа 1.

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

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

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

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

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

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

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

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

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

Получение поддержки Виталика Бутерина и StarkWare является большим преимуществом Kakarot, что проявляется не только в моральной поддержке, но и в финансовой.

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

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