zkEVM Kakarot: об'єднання Ethereum та Starknet
Kakarot — це реалізація віртуальної машини Ethereum (EVM) з відкритим вихідним кодом на базі технології доказу з нульовим розголошенням (ZK) та мови програмування Cairo. Насамперед zkEVM Kakarot розробляється для впровадження смартконтрактів Ethereum у блокчейн другого рівня Starknet.
Запуск тестового режиму Kakarot заплановано на кінець серпня 2023 року.
Далі буде інтеграція zkEVM з сервером Madara, який перевіряє і об'єднує транзакції в блок. Результатом стануть: єдиний набір інструментів для створення децентралізованих застосунків на основі Kakarot та умови для доказів та обчислень в офчейн-режимі. Це знизить вартість комісії та підвищить ефективність роботи блокчейнів.
Зрештою, за допомогою Kakarot можна буде досягти сумісності різних Layer-3 рішень на Starknet та можливості їх взаємодії в єдиній екосистемі. Наприклад, DeFi-застосунки зможуть об'єднувати свою заблоковану вартість, а користувачі GameFi-проєктів використовувати один і той самий внутрішньоігровий актив у багатьох іграх.
Kakarot заснували у 2022 році Еліас Тазартес, Клемент Волтер та Данило Кім.
Посаду генерального директора обійняв Еліас Тазартес. Бізнес-ангелами стали: засновник криптографічної компанії Ренд Хінді, технічний директор Ledger Ніколя Бакка, засновник Ethereum Віталік Бутерін, а також венчурні фонди StarkWare та Lambda Class.
Коментуючи залучення коштів від провідних лідерів криптоіндустрії, CEO Kakarot зазначив, що команда засновників проєкту створила його за тиждень у Лісабоні. Вони практично не спали та весь час присвятили кодуванню. Тому йому приємно усвідомлювати, що такі особистості та компанії бачать перспективу в їхньому zkEVM і готові спонсорувати проєкт.
Яку проблему розв’язує Kakarot?
Starknet, блокчейн другого рівня для масштабування Ethereum, працює за допомогою віртуальної машини Cairo VM. Для створення dApps на основі цього рішення L2 застосовується мова програмування Cairo. Це може відштовхувати програмістів, які звикли до популярної мови смартконтрактів Ethereum під назвою Solidity, від бажання випробувати можливості Starknet.
Kakarot створено, щоб подолати цей бар'єр. Він забезпечує сумісність мов програмування Solidity та Cairo, а також віртуальних машин Ethereum та Starknet. Тобто смартконтракти, створені на Ethereum, можна буде запустити в Starknet без маніпуляцій в їхньому коді.
Отже, zkEVM полегшує роботу програмістам, які хочуть запустити децентралізовані застосунки на новому блокчейні другого рівня, але не хочуть занурюватись в особливості невідомої їм мови програмування.
Як влаштована zkEVM Kakarot
Головна особливість віртуальної машини — технологія Zero-Knowledge Proof, за допомогою якої можна перевіряти транзакції без розкриття інформації про них, що забезпечує конфіденційність та безпеку блокчейну. Комбінація EVM та ZK-Proof можлива завдяки віртуальному комп'ютерному середовищу Cairo VM, яке є фундаментом Kakarot.
Також zkEVM використовує набір інструментів ZK-Rollup. Цей технологічний стек спирається на безпеку Ethereum, але обробляє та компілює транзакції в пакети поза мережею за допомогою серверів. Крім цього, віртуальна машина використовує клієнт Ethereum JSON-RPC та протокол zk-STARK.
Все це забезпечує Kakarot низькі комісії та кращу пропускну спроможність щодо платформи Ethereum та її блокчейнів другого рівня.
zkEVM Kakarot подолала відразу кілька проблем крипторинку: складність інтероперабельності, погану масштабованість, нестачу безпеки. Не дивно, що проєкт підтримав Віталік Бутерін, оскільки успішне впровадження нової віртуальної машини допоможе зняти частину навантаження з блокчейну Ethereum та зблизить його з екосистемою Starknet.
