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

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

Kakarot zkEVM: Віртуальна машина Ethereum на базі Cairo

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

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

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

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

Розвиток

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

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

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

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

  2. Kakarot x Madara:L3 zkEVM

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

  3. Kakarot x Madara: тип 1 zkEVM

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

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

Фон команди

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

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

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

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

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

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

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

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

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

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

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

ETH-2.22%
STRK-4%
Переглянути оригінал
Ця сторінка може містити контент третіх осіб, який надається виключно в інформаційних цілях (не в якості запевнень/гарантій) і не повинен розглядатися як схвалення його поглядів компанією Gate, а також як фінансова або професійна консультація. Див. Застереження для отримання детальної інформації.
  • Нагородити
  • 4
  • Поділіться
Прокоментувати
0/400
MemeCoinSavantvip
· 07-20 01:32
на основі досліджень zkvm тільки що відбулося падіння fr fr
Переглянути оригіналвідповісти на0
MetaLord420vip
· 07-20 01:30
Віталік Бутерін знову ставить на новий проєкт? Подивіться
Переглянути оригіналвідповісти на0
GasGasGasBrovip
· 07-20 01:27
Віталік Бутерін підтримує це дійсно непогано
Переглянути оригіналвідповісти на0
Lonely_Validatorvip
· 07-20 01:27
І це хоче кинути виклик Stark?
Переглянути оригіналвідповісти на0
  • Закріпити