Kakarot: інноваційний проект Zk-EVM

Kakarot zkEVM є реалізацією віртуальної машини Ethereum, написаною мовою 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. Реалізація функцій EVM на Starknet, що дозволяє розробникам безпосередньо розгортати смарт-контракти Solidity на Starknet, а користувачам - взаємодіяти з dApps за допомогою звичних інструментів.

2. Інтеграція з Madara для реалізації L3 zkEVMs. Команда може розгорнути zkEVM додаткові ланцюги, використовуючи докази коректності для розрахунку транзакцій у Starknet. На цьому етапі можна досягти декомпозиції безпеки та децентралізації, одночасно знижуючи витрати на газ та підвищуючи TPS.

3. Об'єднання Madara для реалізації типу 1 zkEVM. Якщо можна буде написати правила консенсусу Ethereum на Cairo і перейти на Keccak MPT, Kakarot стане клієнтом типу 1 zkEVM для доказових L1 блоків.

Фон команди

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

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

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

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

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

Переваги та виклики проекту

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

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

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