Kakarot: перший zkEVM на базі Cairo приведе до EVM-сумісності для Starknet

2025-07-25 12:49:03

Генерація анотацій у процесі

Kakarot: Віртуальна машина Ethereum, написана Cairo

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

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

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

Розвиток

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

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

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

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

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

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

Огляд команди

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

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

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

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

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

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

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

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

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

STRK0.81%

Переглянути оригінал

Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.

15 лайків