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

Kakarot zkEVM є реалізацією Віртуальної машини Ethereum (EVM), написаною мовою Cairo. Cairo є мовою, що має повну тьюрінгову обчислювальну потужність, пов'язаною з 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

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

2. Kakarot x Madara: L3 zkEVM

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

3. Kakarot x Madara: тип 1 zkEVM

   Завдяки написанню правил консенсусу Ethereum за допомогою Cairo в повному вузлі Madara x Kakarot та переходу від Pedersen MPT до Keccak MPT, Kakarot має всі шанси стати клієнтом типу 1 zkEVM, здатним підтверджувати блоки L1. Реалізація цього високого випадку залежить від дорожньої карти розвитку Ethereum.

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

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

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

• Elias Tazartes: Співзасновник та CEO, спеціалізується на інженерії блокчейну та повному стеку розробки
• Clément Walter: Співзасновник та CTO, має досвід вченого, інженера та підприємця

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

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

Аналіз перспектив проєкту

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

Переваги проекту включають:

1. Тісно пов'язаний з екосистемою Starknet, взаємна вигода
2. Отримати підтримку таких важливих фігур галузі, як V神 та StarkWare
3. Модульний дизайн, може комбінуватися з іншими рішеннями Layer 2

Виклики, з якими стикаються:

1. Команда невелика, ресурси обмежені
2. Проект все ще на ранній стадії, потрібно час для перевірки
3. Залежно від розвитку Starknet, існує певний ризик

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