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: реалізація типу 1 zkEVM, що може доводити блоки Ethereum L1.

Фон команди

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

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

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

Фінансова ситуація

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

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

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

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

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