Kakarot zkEVM: Віртуальна машина Ethereum, побудована мовою Cairo

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

Основною характеристикою zkEVM є можливість генерувати доказові транзакції та блоки. Оскільки Kakarot побудований на базі CairoVM, кожна транзакція, що виконується на ньому, є доказовою.

В цілому, Kakarot zkEVM використовує мову Cairo та систему доказів ZK-STARK для надання доказової обчислювальної потужності. Це дозволяє розробникам розгортати EVM-додатки та дозволяє користувачам взаємодіяти з цими додатками, використовуючи звичні інструменти.

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

Розвиток

Цей проєкт було запущено в жовтні 2022 року, мета полягала в створенні zkEVM за допомогою менш ніж 10,000 рядків коду. Цю мету було досягнуто всього за шість місяців. Запуск тестової мережі заплановано на кінець літа 2023 року.

Дорожня карта Kakarot zkEVM поділяється на три етапи:

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

   Kakarot zkEVM спочатку існуватиме як вбудована EVM у L2 Starknet. Розробники зможуть безпосередньо розгортати Solidity смарт-контракти на Starknet та використовувати знайомі інструменти. Користувацький досвід буде таким же, як на Polygon, Scroll або Ethereum L1.

2. Kakarot x Madara:L3 zkEVM

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

3. Kakarot x Madara: тип 1 zkEVM

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

Команда

Команда Kakarot була створена під час хакатону в Лісабоні. Наразі налічується понад 40 учасників.

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

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

Фінансування

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

Підсумок

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

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

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