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

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

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

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

Розвиток

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

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

1. Kakarot zkEVM на Starknet: впровадження EVM на Starknet, що дозволяє розробникам безпосередньо розгортати Solidity смарт-контракти на Starknet.

2. Kakarot x Madara: реалізація L3 zkEVMs, команда може розгортати власні zkEVM додаткові ланцюги, використовуючи докази дійсності для розрахунку транзакцій на Starknet.

3. Kakarot x Madara: реалізація type 1 zkEVM шляхом написання правил консенсусу Ethereum за допомогою Cairo у повному вузлі Madara x Kakarot та переходу з Pedersen MPT на Keccak MPT.

Фон команди

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

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

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

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

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

Оцінка проекту

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

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

Отримання підтримки Віталіка Бутеріна та StarkWare є однією з переваг Kakarot. Однак у порівнянні з іншими проектами ZK-EVM команда Kakarot є меншою, а бюджет і впізнаваність також відносно нижчі, що є викликом, з яким вона стикається.

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