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 може слугувати як шар для перевірки доказів, тоді як нові рішення для доступності даних, такі як Celestia або EigenDA, можуть бути використані для публікації даних транзакцій.

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

Шляхом написання правил консенсусу Ethereum за допомогою Cairo в повному вузлі Madara x Kakarot та переходу від Merkle Patricia Trie(MPT) до Keccak MPT, Kakarot має потенціал стати клієнтом типу 1 zkEVM, здатним верифікувати блоки L1. Реалізація цієї мети залежить від дорожньої карти розвитку Ethereum, зокрема, оновлення Verge. Після оновлення Verge, keccak може бути замінено на poseidon, ставши переважною хеш-функцією Ethereum, що допоможе команді zkEVM досягти сумісності типу 1.

Склад команди

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

Основні учасники включають:

• Elias Tazartes: Співзасновник та CEO, спеціалізується на блокчейн-інженерії та повноцінній розробці.
• Клеман Уолтер: співзасновник та технічний директор, має багатий досвід вченого, інженера та підприємця.

Стан фінансування

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

Перспективи проекту

Kakarot, як EVM, написаний на Cairo на Starknet, має стати важливим мостом між екосистемами Starknet та Ethereum. Він може знизити бар'єри входження для розробників, дозволяючи проектам екосистеми Ethereum легше будувати на Starknet, одночасно зберігаючи безпеку Ethereum та знижуючи витрати.

Розвиток Kakarot тісно пов'язаний з екосистемою Starknet. Оскільки Starknet постійно вдосконалює користувацький досвід, zkEVM, створений Kakarot, також сприятиме процвітанню екосистеми. Однак стан розвитку Starknet безпосередньо вплине на перспективи Kakarot.

Отримання підтримки Віталіка Бутеріна та StarkWare є великою перевагою Kakarot, що виявляється не лише в моральній підтримці, а й у фінансовій.

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

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