Kakarot: інноваційне рішення zkEVM на базі Cairo

Kakarot zkEVM є реалізацією віртуальної машини Ethereum (EVM), написаною мовою Cairo. Cairo є мовою програмування, що має повну потужність Тюрінга та тісно пов'язана з CairoVM. CairoVM використовує поліноми та систему доказів ZK-STARK для реалізації перевірних обчислень.

Як один із zkEVM, Kakarot здатен генерувати перевіряємі транзакції та блоки. Оскільки він побудований на базі CairoVM, кожна транзакція, що виконується на Kakarot, є перевіряємого. Kakarot zkEVM дозволяє розробникам розгортати EVM-додатки, при цьому користувачі можуть взаємодіяти з цими додатками за допомогою звичних інструментів. Крім того, Kakarot також надасть взаємодію з протоколом Starknet, забезпечуючи комбінацію для протоколів у таких сферах, як DeFi та GameFi.

Розвиток

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

Розвиток Kakarot zkEVM поділяється на три етапи:

1. Kakarot zkEVM на Starknet: Залучення EVM до Starknet

   Як вбудований EVM у Starknet L2, розробники можуть безпосередньо розгортати смарт-контракти на Solidity( або інших EVM-сумісних мовах) на Starknet, використовуючи знайомі інструменти, такі як Foundry, Hardhat тощо. Користувацький досвід буде повністю аналогічним до Polygon, Scroll або Ethereum L1.

2. Kakarot x Madara:L3 zkEVM

Kakarot та Madara інтегруються, підтримуючи L3 zkEVMs та вищі рівні. Команда може розгортати zkEVM додаткові ланцюги, використовуючи докази ефективності для розрахунку транзакцій на Starknet. Ця L3 архітектура може відокремити безпеку та децентралізацію, що дозволяє користувачам користуватися безпекою Ethereum L1, знижуючи при цьому витрати на gas.

3. Kakarot x Madara: тип 1 zkEVM

Якщо можна буде написати правила консенсусу Ethereum за допомогою Cairo та перейти з Pedersen MPT на Keccak MPT, Kakarot стане клієнтом type 1 zkEVM для доказових L1 блоків. Це залежить від майбутнього розвитку Ethereum, зокрема від впровадження стадії Verge.

Основна команда

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

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

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

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

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

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

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

Як важлива частина екосистеми Starknet, розвиток Kakarot тісно пов'язаний зі Starknet. Підтримка Віталіка Бутеріна та StarkWare є його перевагою, але невеликий розмір команди та обмежені ресурси також є недоліком.

На відміну від інших zkEVM, Kakarot обирає зосередитися на екосистемі Starknet, а не на розгортанні незалежного L2. Проект все ще на ранній стадії, тестова мережа скоро буде випущена, тому варто продовжувати стежити за його розвитком.