Kakarot: реалізація Cairo на Starknet, що з'єднує дві великі екосистеми

Kakarot: Базована на Cairo Віртуальна машина Ethereum

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

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

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

Kakarot: один Zk-EVM, який вважає дуже класним і в який інвестував Віталік Бутерін

Розвиток

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

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

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

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

  2. Kakarot x Madara:L3 zkEVM

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

  1. Kakarot x Madara: тип 1 zkEVM

    Якщо вдасться реалізувати наступні два пункти, Kakarot стане клієнтом типу 1 zkEVM, здатним підтверджувати блоки L1:

    • Написання правил консенсусу Ethereum на Cairo
    • Перехід від Pedersen MPT до Keccak MPT

    Це більш просунутий випадок, що залежить від розвитку Ethereum, особливо оновлення Verge.

Kakarot: один із Zk-EVM, який Віталік Бутерін вважає класним і в який інвестував

Команда

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

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

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

Kakarot: один Zk-EVM, який Віталік Бутерін вважає крутим і в який інвестував

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

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

Kakarot: один Zk-EVM, який Віталік Бутерін вважає класним і в який інвестував

Підсумок

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

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

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

STRK1.58%
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 3
  • Поділіться
Прокоментувати
0/400
gas_fee_therapistvip
· 7год тому
Ого, цей starknet вклали великі гроші!
Переглянути оригіналвідповісти на0
NFTArchaeologisvip
· 7год тому
Знову відродження цифрової ери археологічних скарбів, з побоюванням вивчаючи напис на джерельному камені цієї Віртуальної машини.
Переглянути оригіналвідповісти на0
MemeKingNFTvip
· 7год тому
Зоряне світло, місячна ніч, падіння золотих цін. ZK, дізнайся більше? До місяця! Повнота за Тюрінгом - це безмежні можливості. Виграв багато!
Переглянути оригіналвідповісти на0
  • Закріпити